added Scanner;
authorwenzelm
Mon Nov 29 12:25:15 1993 +0100 (1993-11-29)
changeset 163ad90d96c2ec3
parent 162 58d54dc482d1
child 164 43506f0a98ae
added Scanner;
src/Pure/Syntax/ROOT.ML
     1.1 --- a/src/Pure/Syntax/ROOT.ML	Mon Nov 29 12:10:17 1993 +0100
     1.2 +++ b/src/Pure/Syntax/ROOT.ML	Mon Nov 29 12:25:15 1993 +0100
     1.3 @@ -39,6 +39,7 @@
     1.4  structure Syntax = SyntaxFun(structure Symtab = Symtab and TypeExt = TypeExt
     1.5    and Parser = Earley and SExtension = SExtension and Printer = Printer);
     1.6  
     1.7 +structure Scanner: SCANNER = Lexicon;
     1.8  
     1.9  (*BasicSyntax has the most important primitives, which are made pervasive*)
    1.10  signature BASIC_SYNTAX = sig include SEXTENSION0 include PRINTER0 end;