changeset 18757 | f0d901bc0686 |
parent 18708 | 4b3dadb4fe33 |
child 19138 | 42ff710d432f |
18756:5eb3df798405 | 18757:f0d901bc0686 |
---|---|
2692 "List.op mem" "List.member" |
2692 "List.op mem" "List.member" |
2693 |
2693 |
2694 code_syntax_tyco |
2694 code_syntax_tyco |
2695 list |
2695 list |
2696 ml ("_ list") |
2696 ml ("_ list") |
2697 haskell (atom "[_]") |
2697 haskell (target_atom "[_]") |
2698 |
2698 |
2699 code_syntax_const |
2699 code_syntax_const |
2700 Nil |
2700 Nil |
2701 ml (atom "[]") |
2701 ml (target_atom "[]") |
2702 haskell (atom "[]") |
2702 haskell (target_atom "[]") |
2703 |
2703 |
2704 setup list_codegen_setup |
2704 setup list_codegen_setup |
2705 |
2705 |
2706 setup CodegenPackage.rename_inconsistent |
2706 setup CodegenPackage.rename_inconsistent |
2707 |
2707 |