author | wenzelm |
Tue, 20 Oct 1998 16:24:45 +0200 | |
changeset 5683 | e62518aacc5b |
parent 5230 | fdc28193ccf7 |
child 6116 | 8ba2f25610f7 |
permissions | -rw-r--r-- |
18 | 1 |
(* Title: Pure/Syntax/ROOT.ML |
0 | 2 |
ID: $Id$ |
3 |
Author: Tobias Nipkow and Markus Wenzel, TU Muenchen |
|
4 |
||
18 | 5 |
This file builds the syntax module. |
0 | 6 |
*) |
7 |
||
4940 | 8 |
(*generic modules*) |
4696 | 9 |
use "scan.ML"; |
4940 | 10 |
use "source.ML"; |
4696 | 11 |
use "symbol.ML"; |
5230 | 12 |
use "pretty.ML"; |
4940 | 13 |
|
14 |
(*actual syntax module*) |
|
239 | 15 |
use "lexicon.ML"; |
2691 | 16 |
use "token_trans.ML"; |
0 | 17 |
use "ast.ML"; |
239 | 18 |
use "syn_ext.ML"; |
18 | 19 |
use "parser.ML"; |
0 | 20 |
use "type_ext.ML"; |
549
5d904be18774
replaced SExtension by SynTrans (mixfix stuff in Mixfix);
wenzelm
parents:
417
diff
changeset
|
21 |
use "syn_trans.ML"; |
392 | 22 |
use "mixfix.ML"; |
0 | 23 |
use "printer.ML"; |
24 |
use "syntax.ML"; |
|
25 |
||
5683 | 26 |
(*hiding private stuff*) |
27 |
structure Lexicon = Hidden; |
|
28 |
structure TokenTrans = Hidden; |
|
29 |
structure Ast = Hidden; |
|
30 |
structure SynExt = Hidden; |
|
31 |
structure Parser = Hidden; |
|
32 |
structure TypeExt = Hidden; |
|
33 |
structure SynTrans = Hidden; |
|
34 |
structure Mixfix = Hidden; |
|
35 |
structure Printer = Hidden; |