typo in rules example. spotted by vixey@#haskell
[ghc-hetmet.git] / docs / users_guide / glasgow_exts.xml
index ff32cc2..656d2db 100644 (file)
@@ -6781,7 +6781,7 @@ infeasible in most interesting cases.  The responsibility is entirely the progra
 terminating.  For example:
 
 <programlisting>
-  "loop"        forall x,y.  f x y = f y x
+  "loop"        forall x y.  f x y = f y x
 </programlisting>
 
 This rule will cause the compiler to go into an infinite loop.