author | ballarin |
Mon, 08 Mar 2004 12:18:19 +0100 | |
changeset 14446 | 0bc2519e9990 |
parent 12991 | 1bfa0670f592 |
child 14981 | e73f8140af78 |
permissions | -rw-r--r-- |
12874 | 1 |
(* Title: Pure/ML-Systems/smlnj.ML |
2 |
ID: $Id$ |
|
3 |
Author: Markus Wenzel, LMU Muenchen |
|
4 |
License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
5 |
||
6 |
Compatibility tweak for later versions of Standard ML of New Jersey 110. |
|
7 |
*) |
|
8 |
||
9 |
structure Compiler = |
|
10 |
struct |
|
12991 | 11 |
open Compiler; |
12874 | 12 |
structure Control = Control; |
13 |
structure PrettyPrint = PrettyPrint; |
|
14 |
structure PPTable = CompilerPPTable; |
|
15 |
structure Interact = Backend.Interact; |
|
16 |
end; |