| author | paulson |
| Fri, 03 Dec 2004 15:28:12 +0100 | |
| changeset 15370 | 05b03ea0f18d |
| parent 14981 | e73f8140af78 |
| permissions | -rw-r--r-- |
| 12874 | 1 |
(* Title: Pure/ML-Systems/smlnj.ML |
2 |
ID: $Id$ |
|
3 |
Author: Markus Wenzel, LMU Muenchen |
|
4 |
||
5 |
Compatibility tweak for later versions of Standard ML of New Jersey 110. |
|
6 |
*) |
|
7 |
||
8 |
structure Compiler = |
|
9 |
struct |
|
| 12991 | 10 |
open Compiler; |
| 12874 | 11 |
structure Control = Control; |
12 |
structure PrettyPrint = PrettyPrint; |
|
13 |
structure PPTable = CompilerPPTable; |
|
14 |
structure Interact = Backend.Interact; |
|
15 |
end; |