src/Pure/Syntax/ROOT.ML

Added

functor f() = struct end

to hide functors to save space.

(*  Title:      Pure/Syntax/ROOT.ML
    ID:         $Id$
    Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen

This file builds the syntax module.
*)

use "pretty.ML";
use "lexicon.ML";
use "ast.ML";
use "syn_ext.ML";
use "parser.ML";
use "type_ext.ML";
use "syn_trans.ML";
use "mixfix.ML";
use "printer.ML";
use "syntax.ML";

structure PrivateSyntax =
struct
  structure Pretty = PrettyFun();
  structure Lexicon = LexiconFun();
  structure Scanner: SCANNER = Lexicon;
  structure Ast = AstFun(Pretty);
  structure SynExt = SynExtFun(structure Lexicon = Lexicon and Ast = Ast);
  structure Parser = ParserFun(structure Symtab = Symtab and Lexicon = Lexicon
    and SynExt = SynExt);
  structure TypeExt = TypeExtFun(structure Lexicon = Lexicon and SynExt = SynExt);
  structure SynTrans = SynTransFun(structure TypeExt = TypeExt and Parser = Parser);
  structure Mixfix = MixfixFun(structure Lexicon = Lexicon and SynExt = SynExt and
    SynTrans = SynTrans);
  structure Printer = PrinterFun(structure Symtab = Symtab and TypeExt = TypeExt
    and SynTrans = SynTrans);
  structure Syntax = SyntaxFun(structure Symtab = Symtab and TypeExt = TypeExt
    and SynTrans = SynTrans and Mixfix = Mixfix and Printer = Printer);
  structure BasicSyntax: BASIC_SYNTAX = Syntax;
end;

structure Pretty = PrivateSyntax.Pretty;
structure Scanner = PrivateSyntax.Scanner;
structure Syntax = PrivateSyntax.Syntax;
structure BasicSyntax = PrivateSyntax.BasicSyntax;

(* hide functors; saves space in PolyML *)
functor PrettyFun() = struct end;
functor LexiconFun() = struct end;
functor AstFun() = struct end;
functor SynExtFun() = struct end;
functor ParserFun() = struct end;
functor TypeExtFun() = struct end;
functor SynTransFun() = struct end;
functor MixfixFun() = struct end;
functor PrinterFun() = struct end;
functor SyntaxFun() = struct end;