--- a/src/Pure/Syntax/ROOT.ML Fri Apr 15 18:43:21 1994 +0200
+++ b/src/Pure/Syntax/ROOT.ML Fri Apr 22 12:43:53 1994 +0200
@@ -10,7 +10,7 @@
use "ast.ML";
use "syn_ext.ML";
use "parser.ML";
-use "earley0A.ML";
+(*use "earley0A.ML";*)
use "type_ext.ML";
use "sextension.ML";
use "printer.ML";
@@ -23,13 +23,12 @@
structure SynExt = SynExtFun(structure Lexicon = Lexicon and Ast = Ast);
structure Parser = ParserFun(structure Symtab = Symtab and Lexicon = Lexicon
and SynExt = SynExt);
-structure Earley = EarleyFun(structure Symtab = Symtab and Lexicon = Lexicon
- and SynExt = SynExt);
+(*structure Earley = EarleyFun(structure Symtab = Symtab and Lexicon = Lexicon
+ and SynExt = SynExt);*)
structure TypeExt = TypeExtFun(structure Lexicon = Lexicon and SynExt = SynExt);
-structure SExtension = SExtensionFun(Earley);
+structure SExtension = SExtensionFun(Parser);
structure Printer = PrinterFun(structure Symtab = Symtab and TypeExt = TypeExt
and SExtension = SExtension);
structure Syntax = SyntaxFun(structure Symtab = Symtab and TypeExt = TypeExt
and SExtension = SExtension and Printer = Printer);
structure BasicSyntax: BASIC_SYNTAX = Syntax;
-