equal
deleted
inserted
replaced
388 |> update_syntax mode_default SynExt.pure_ext; |
388 |> update_syntax mode_default SynExt.pure_ext; |
389 |
389 |
390 val basic_nonterms = |
390 val basic_nonterms = |
391 (Lexicon.terminals @ [SynExt.logic, "type", "types", "sort", "classes", |
391 (Lexicon.terminals @ [SynExt.logic, "type", "types", "sort", "classes", |
392 SynExt.args, SynExt.cargs, "pttrn", "pttrns", "idt", "idts", "aprop", |
392 SynExt.args, SynExt.cargs, "pttrn", "pttrns", "idt", "idts", "aprop", |
393 "asms", SynExt.any_, SynExt.sprop, "num_const", "float_const", |
393 "asms", SynExt.any, SynExt.sprop, "num_const", "float_const", |
394 "index", "struct"]); |
394 "index", "struct"]); |
395 |
395 |
396 |
396 |
397 |
397 |
398 (** print syntax **) |
398 (** print syntax **) |