Eta-expanded codetype_hook to make SML/NJ happy.
authorberghofe
Sat Mar 10 16:13:08 2007 +0100 (2007-03-10)
changeset 2242909e794384323
parent 22428 1755e6381b2c
child 22430 6a56bf1b3a64
Eta-expanded codetype_hook to make SML/NJ happy.
src/HOL/Tools/datatype_codegen.ML
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Fri Mar 09 13:10:22 2007 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Sat Mar 10 16:13:08 2007 +0100
     1.3 @@ -525,8 +525,8 @@
     1.4  
     1.5  (* registering code types in code generator *)
     1.6  
     1.7 -val codetype_hook =
     1.8 -  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec));
     1.9 +fun codetype_hook x =
    1.10 +  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) x;
    1.11  
    1.12  
    1.13  (* instrumentalizing the sort algebra *)