# HG changeset patch
# User haftmann
# Date 1147423080 -7200
# Node ID ab08841928b42f629d476d1c71578f587b5d73aa
# Parent  475140eb82f2badd2137c3d271492f1e08a7fdf4
fixed silly bug in function serializer for ML

diff -r 475140eb82f2 -r ab08841928b4 src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Fri May 12 04:20:02 2006 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML	Fri May 12 10:38:00 2006 +0200
@@ -586,7 +586,9 @@
                   true
               | has_tyvars (ty1 `-> ty2) =
                   has_tyvars ty1 orelse has_tyvars ty2;
-          in if (not o has_tyvars) ty orelse fold no_eta eqs true
+          in if (null o fst o CodegenThingol.unfold_fun) ty
+              orelse (not o has_tyvars) ty
+              orelse fold no_eta eqs true
             then funn
             else (map (fn ([], rhs) => ([IVar "x"], rhs `$ IVar "x")) eqs, sctxt_ty)
           end;