File: Initialise.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 (37 lines) | stat: -rw-r--r-- 1,399 bytes parent folder | download
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
(*
    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 as published by the Free Software Foundation; either
    version 2.1 of the License, or (at your option) any later version.
    
    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
*)

structure Initialise =
 INITIALISE_ (
  structure LEX = Lex
  structure TYPETREE   = TypeTree
  structure STRUCTVALS = StructVals
  structure VALUEOPS   = ValueOps
  structure CODETREE   = CodeTree
  structure ADDRESS    = Address
  structure DEBUG      = Debug
  structure MAKE       = Make
  structure MISC       = Misc
  structure DEBUGGER   = Debugger
  structure VERSION    = CompilerVersion
  structure PRETTY     = Pretty
    structure EXPORTTREE = ExportTreeStruct
    structure DATATYPEREP = DatatypeRep
    structure TYPEIDCODE = TypeIDCodeStruct
);