changeset 47 | 0af9dbb93529 |
parent 18 | c9ec452ff08f |
child 144 | 0a0da273a6c5 |
--- a/src/Pure/Syntax/syntax.ML Fri Oct 08 14:29:55 1993 +0100 +++ b/src/Pure/Syntax/syntax.ML Mon Oct 11 12:30:06 1993 +0100 @@ -40,7 +40,7 @@ and Parser: PARSER and SExtension: SEXTENSION and Printer: PRINTER sharing TypeExt.Extension = SExtension.Extension and Parser.XGram = TypeExt.Extension.XGram = Printer.XGram - and Parser.XGram.Ast = Parser.ParseTree.Ast)(*: SYNTAX *) = (* FIXME *) + and Parser.XGram.Ast = Parser.ParseTree.Ast): SYNTAX = struct structure Extension = TypeExt.Extension;