537 |
537 |
538 val token_markers = |
538 val token_markers = |
539 ["_tfree", "_tvar", "_free", "_bound", "_loose", "_var", "_numeral", "_inner_string"]; |
539 ["_tfree", "_tvar", "_free", "_bound", "_loose", "_var", "_numeral", "_inner_string"]; |
540 |
540 |
541 val basic_nonterms = |
541 val basic_nonterms = |
542 (Lexicon.terminals @ ["logic", "type", "types", "sort", "classes", |
542 Lexicon.terminals @ ["logic", "type", "types", "sort", "classes", |
543 "args", "cargs", "pttrn", "pttrns", "idt", "idts", "aprop", "asms", |
543 "args", "cargs", "pttrn", "pttrns", "idt", "idts", "aprop", "asms", |
544 "any", "prop'", "num_const", "float_const", "xnum_const", "num_position", |
544 "any", "prop'", "num_const", "float_const", "xnum_const", "num_position", |
545 "float_position", "xnum_position", "index", "struct", "id_position", |
545 "float_position", "xnum_position", "index", "struct", "tid_position", |
546 "longid_position", "str_position", "type_name", "class_name"]); |
546 "tvar_position", "id_position", "longid_position", "str_position", |
|
547 "type_name", "class_name"]; |
547 |
548 |
548 |
549 |
549 |
550 |
550 (** print syntax **) |
551 (** print syntax **) |
551 |
552 |