1.1 --- a/src/Tools/Code/code_haskell.ML	Tue Nov 24 17:28:44 2009 +0100
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Nov 25 09:13:46 2009 +0100
     1.3 @@ -78,7 +78,7 @@
     1.4      and pr_app' tyvars thm vars ((c, (_, tys)), ts) = case contr_classparam_typs c
     1.5       of [] => (str o deresolve) c :: map (pr_term tyvars thm vars BR) ts
     1.6        | fingerprint => let
     1.7 -          val ts_fingerprint = ts ~~ curry (uncurry take) (length ts) fingerprint;
     1.8 +          val ts_fingerprint = ts ~~ take (length ts) fingerprint;
     1.9            val needs_annotation = forall (fn (_, NONE) => true | (t, SOME _) =>
    1.10              (not o Code_Thingol.locally_monomorphic) t) ts_fingerprint;
    1.11            fun pr_term_anno (t, NONE) _ = pr_term tyvars thm vars BR t
    1.12 @@ -86,7 +86,7 @@
    1.13                  brackets [pr_term tyvars thm vars NOBR t, str "::", pr_typ tyvars NOBR ty];
    1.14          in
    1.15            if needs_annotation then
    1.16 -            (str o deresolve) c :: map2 pr_term_anno ts_fingerprint (curry (uncurry take) (length ts) tys)
    1.17 +            (str o deresolve) c :: map2 pr_term_anno ts_fingerprint (take (length ts) tys)
    1.18            else (str o deresolve) c :: map (pr_term tyvars thm vars BR) ts
    1.19          end
    1.20      and pr_app tyvars = gen_pr_app (pr_app' tyvars) (pr_term tyvars) syntax_const