equal
deleted
inserted
replaced
866 in |
866 in |
867 |
867 |
868 val prod_codegen_setup = [ |
868 val prod_codegen_setup = [ |
869 Codegen.add_codegen "let_codegen" let_codegen, |
869 Codegen.add_codegen "let_codegen" let_codegen, |
870 Codegen.add_codegen "split_codegen" split_codegen, |
870 Codegen.add_codegen "split_codegen" split_codegen, |
871 CodegenPackage.add_codegen_expr |
871 CodegenPackage.add_appgen |
872 ("let", CodegenPackage.codegen_let strip_abs), |
872 ("let", CodegenPackage.appgen_let strip_abs), |
873 CodegenPackage.add_codegen_expr |
873 CodegenPackage.add_appgen |
874 ("split", CodegenPackage.codegen_split strip_abs) |
874 ("split", CodegenPackage.appgen_split strip_abs) |
875 ]; |
875 ]; |
876 |
876 |
877 end; |
877 end; |
878 *} |
878 *} |
879 |
879 |