| changeset 1656 | c9d3dda79fe3 |
| parent 1653 | a2142526bb01 |
| child 1658 | aacab5f67333 |
| 1655:9cec4269b7f9 | 1656:c9d3dda79fe3 |
|---|---|
3 begin |
3 begin |
4 |
4 |
5 (* core haskell *) |
5 (* core haskell *) |
6 |
6 |
7 ML {* val _ = recursive := false *} |
7 ML {* val _ = recursive := false *} |
8 ML {* val _ = cheat_const_rsp := true *} |
8 |
9 atom_decl var |
9 atom_decl var |
10 atom_decl tvar |
10 atom_decl tvar |
11 |
11 |
12 (* there are types, coercion types and regular types list-data-structure *) |
12 (* there are types, coercion types and regular types list-data-structure *) |
13 |
13 |