File: ml_bind.ML

package info (click to toggle)
polyml 5.6-8
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 31,892 kB
  • ctags: 34,453
  • sloc: cpp: 44,983; ansic: 24,520; asm: 14,850; sh: 11,730; makefile: 551; exp: 484; python: 253; awk: 91; sed: 9
file content (118 lines) | stat: -rw-r--r-- 4,350 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
(*
    Copyright (c) 2013, 2015 David C.J. Matthews
    
    Derived from previous work
    Copyright (c) 2000
        Cambridge University Technical Services Limited

    This library is free software; you can redistribute it and/or
    modify it under the terms of the GNU Lesser General Public
    License version 2.1 as published by the Free Software Foundation.
    
    This library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    Lesser General Public License for more details.
    
    You should have received a copy of the GNU Lesser General Public
    License along with this library; if not, write to the Free Software
    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
*)

local
    structure BaseParseTree =
        BASE_PARSE_TREE(
            structure STRUCTVALS = StructVals
            structure TYPETREE   = TypeTree
            structure DEBUGGER   = Debugger
        )

    structure PrintTree =
        PRINT_PARSETREE(
            structure BASEPARSETREE = BaseParseTree
            structure LEX        = Lex
            structure STRUCTVALS = StructVals
            structure TYPETREE   = TypeTree
            structure VALUEOPS   = ValueOps
            structure PRETTY     = Pretty
         )

    structure ExportTree =
        EXPORT_PARSETREE(
            structure BASEPARSETREE = BaseParseTree
            structure PRINTTREE  = PrintTree
            structure LEX        = Lex
            structure STRUCTVALS = StructVals
            structure EXPORTTREE = ExportTreeStruct
            structure TYPETREE   = TypeTree
            structure DEBUGGER   = Debugger
         )

    structure TypeCheckParsetree =
        TYPECHECK_PARSETREE (
            structure BASEPARSETREE = BaseParseTree
            structure PRINTTREE  = PrintTree
            structure EXPORTTREE = ExportTree
            structure LEX        = Lex
            structure CODETREE   = CodeTree
            structure STRUCTVALS = StructVals
            structure TYPETREE   = TypeTree
            structure VALUEOPS   = ValueOps
            structure UTILITIES  = Utilities
            structure MISC          = Misc
            structure PRETTY     = Pretty
            structure COPIER     = CopierStruct
            structure PRINTTABLE = PrintTable
            structure DATATYPEREP = DatatypeRep
        )

    structure MatchCompiler =
        MATCH_COMPILER(
            structure BASEPARSETREE = BaseParseTree
            structure PRINTTREE  = PrintTree
            structure LEX        = Lex
            structure CODETREE   = CodeTree
            structure DEBUGGER   = Debugger
            structure TYPETREE   = TypeTree
            structure TYPEIDCODE = TypeIDCodeStruct
            structure STRUCTVALS = StructVals
            structure VALUEOPS   = ValueOps
            structure DATATYPEREP = DatatypeRep
            structure DEBUG      = Debug
            structure MISC          = Misc
            structure ADDRESS    = Address
        )

    structure CodeGenParseTree =
        CODEGEN_PARSETREE(
            structure BASEPARSETREE = BaseParseTree
            structure PRINTTREE  = PrintTree
            structure EXPORTTREE = ExportTree
            structure MATCHCOMPILER = MatchCompiler
            structure LEX        = Lex
            structure CODETREE   = CodeTree
            structure DEBUGGER   = Debugger
            structure TYPETREE   = TypeTree
            structure TYPEIDCODE = TypeIDCodeStruct
            structure STRUCTVALS = StructVals
            structure VALUEOPS   = ValueOps
            structure DATATYPEREP = DatatypeRep
            structure DEBUG      = Debug
            structure MISC          = Misc
            structure ADDRESS    = Address
        )
    
in
    structure ParseTree =
        PARSE_TREE (
            structure BASEPARSETREE = BaseParseTree
            structure PRINTTREE  = PrintTree
            structure EXPORTTREE = ExportTree
            structure CODEGENPARSETREE = CodeGenParseTree
            structure TYPECHECKTREE = TypeCheckParsetree
            structure LEX        = Lex
            structure STRUCTVALS = StructVals
            structure TYPETREE   = TypeTree
        )
end;