equal
deleted
inserted
replaced
90 val ML_STRING = "ML_string" |
90 val ML_STRING = "ML_string" |
91 val ML_COMMENT = "ML_comment" |
91 val ML_COMMENT = "ML_comment" |
92 val ML_MALFORMED = "ML_malformed" |
92 val ML_MALFORMED = "ML_malformed" |
93 |
93 |
94 val ML_DEF = "ML_def" |
94 val ML_DEF = "ML_def" |
|
95 val ML_OPEN = "ML_open" |
|
96 val ML_STRUCT = "ML_struct" |
95 val ML_REF = "ML_ref" |
97 val ML_REF = "ML_ref" |
96 val ML_TYPING = "ML_typing" |
98 val ML_TYPING = "ML_typing" |
97 |
99 |
98 |
100 |
99 /* outer syntax */ |
101 /* outer syntax */ |