src/Pure/Syntax/syntax.ML
changeset 1511 09354d37a5ab
parent 1158 96804ce95516
child 1580 e3fd931e6095
     1.1 --- a/src/Pure/Syntax/syntax.ML	Fri Feb 16 17:18:51 1996 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Fri Feb 16 17:24:51 1996 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  infix |-> <-| <->;
     1.5  
     1.6  signature BASIC_SYNTAX =
     1.7 -sig
     1.8 +  sig
     1.9    include AST0
    1.10    include SYN_TRANS0
    1.11    include MIXFIX0
    1.12 @@ -17,10 +17,10 @@
    1.13      op |-> of 'a * 'a |
    1.14      op <-| of 'a * 'a |
    1.15      op <-> of 'a * 'a
    1.16 -end;
    1.17 +  end;
    1.18  
    1.19  signature SYNTAX =
    1.20 -sig
    1.21 +  sig
    1.22    include AST1
    1.23    include LEXICON0
    1.24    include SYN_EXT0
    1.25 @@ -28,7 +28,6 @@
    1.26    include SYN_TRANS1
    1.27    include MIXFIX1
    1.28    include PRINTER0
    1.29 -  sharing type ast = Parser.SynExt.Ast.ast
    1.30    datatype 'a trrule =
    1.31      op |-> of 'a * 'a |
    1.32      op <-| of 'a * 'a |
    1.33 @@ -62,18 +61,12 @@
    1.34    val simple_string_of_typ: typ -> string
    1.35    val simple_pprint_typ: typ -> pprint_args -> unit
    1.36    val ambiguity_level: int ref
    1.37 -end;
    1.38 +  end;
    1.39  
    1.40 -functor SyntaxFun(structure Symtab: SYMTAB and TypeExt: TYPE_EXT
    1.41 -  and SynTrans: SYN_TRANS and Mixfix: MIXFIX and Printer: PRINTER
    1.42 -  sharing Mixfix.SynExt = SynTrans.Parser.SynExt = TypeExt.SynExt = Printer.SynExt)
    1.43 -  : SYNTAX =
    1.44 +structure Syntax : SYNTAX =
    1.45  struct
    1.46  
    1.47 -structure SynExt = TypeExt.SynExt;
    1.48 -structure Parser = SynTrans.Parser;
    1.49 -structure Lexicon = Parser.Lexicon;
    1.50 -open Lexicon SynExt SynExt.Ast Parser TypeExt SynTrans Mixfix Printer;
    1.51 +open Lexicon SynExt Ast Parser TypeExt SynTrans Mixfix Printer;
    1.52  
    1.53  
    1.54  (** tables of translation functions **)