src/HOL/Tools/datatype_codegen.ML
changeset 18708 4b3dadb4fe33
parent 18702 7dc7dcd63224
child 18866 378c0cb028a8
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  signature DATATYPE_CODEGEN =
     1.6  sig
     1.7 -  val setup: (theory -> theory) list
     1.8 +  val setup: theory -> theory
     1.9  end;
    1.10  
    1.11  structure DatatypeCodegen : DATATYPE_CODEGEN =
    1.12 @@ -297,18 +297,17 @@
    1.13    | datatype_tycodegen _ _ _ _ _ _ _ = NONE;
    1.14  
    1.15  
    1.16 -val setup = [
    1.17 -  add_codegen "datatype" datatype_codegen,
    1.18 -  add_tycodegen "datatype" datatype_tycodegen,
    1.19 +val setup =
    1.20 +  add_codegen "datatype" datatype_codegen #>
    1.21 +  add_tycodegen "datatype" datatype_tycodegen #>
    1.22    CodegenPackage.set_is_datatype
    1.23 -    DatatypePackage.is_datatype,
    1.24 +    DatatypePackage.is_datatype #>
    1.25    CodegenPackage.set_get_all_datatype_cons
    1.26 -    DatatypePackage.get_all_datatype_cons,
    1.27 +    DatatypePackage.get_all_datatype_cons #>
    1.28    CodegenPackage.add_defgen
    1.29 -    ("datatype", CodegenPackage.defgen_datatype DatatypePackage.get_datatype DatatypePackage.get_datatype_cons),
    1.30 +    ("datatype", CodegenPackage.defgen_datatype DatatypePackage.get_datatype DatatypePackage.get_datatype_cons) #>
    1.31    CodegenPackage.ensure_datatype_case_consts
    1.32      DatatypePackage.get_datatype_case_consts
    1.33 -    DatatypePackage.get_case_const_data
    1.34 -];
    1.35 +    DatatypePackage.get_case_const_data;
    1.36  
    1.37  end;