--- a/src/HOL/Product_Type.thy Thu Jan 19 15:45:10 2006 +0100
+++ b/src/HOL/Product_Type.thy Thu Jan 19 21:22:08 2006 +0100
@@ -885,14 +885,13 @@
in
-val prod_codegen_setup = [
- Codegen.add_codegen "let_codegen" let_codegen,
- Codegen.add_codegen "split_codegen" split_codegen,
+val prod_codegen_setup =
+ Codegen.add_codegen "let_codegen" let_codegen #>
+ Codegen.add_codegen "split_codegen" split_codegen #>
CodegenPackage.add_appconst
- ("Let", ((2, 2), CodegenPackage.appgen_let strip_abs)),
+ ("Let", ((2, 2), CodegenPackage.appgen_let strip_abs)) #>
CodegenPackage.add_appconst
- ("split", ((1, 1), CodegenPackage.appgen_split strip_abs))
-];
+ ("split", ((1, 1), CodegenPackage.appgen_split strip_abs));
end;
*}