diff -r f94fb13ecbb3 -r 1e7ca47c6c3d src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Mon Nov 30 11:42:49 2009 +0100
+++ b/src/Tools/Code/code_haskell.ML	Mon Nov 30 12:28:12 2009 +0100
@@ -42,7 +42,7 @@
           (map (str o lookup_var tyvars) vnames) @ str "." @@ Pretty.brk 1;
     fun pr_tycoexpr tyvars fxy (tyco, tys) =
       brackify fxy (str tyco :: map (pr_typ tyvars BR) tys)
-    and pr_typ tyvars fxy (tycoexpr as tyco `%% tys) = (case syntax_tyco tyco
+    and pr_typ tyvars fxy (tyco `%% tys) = (case syntax_tyco tyco
          of NONE => pr_tycoexpr tyvars fxy (deresolve tyco, tys)
           | SOME (i, pr) => pr (pr_typ tyvars) fxy tys)
       | pr_typ tyvars fxy (ITyVar v) = (str o lookup_var tyvars) v;