X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fglasgow_exts.xml;h=656d2db563c3171344d0bcd70f4dcfc618b8764a;hp=ff32cc294640e610dc5db034d1fabc64f735e4fe;hb=c30bedd511c983b5f2b0dae4d4cc5a2baa1cb0c2;hpb=b779271a1f1420c0894e721a75afece2c5e75147 diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index ff32cc2..656d2db 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -6781,7 +6781,7 @@ infeasible in most interesting cases. The responsibility is entirely the progra terminating. For example: - "loop" forall x,y. f x y = f y x + "loop" forall x y. f x y = f y x This rule will cause the compiler to go into an infinite loop.