author | wenzelm |
Sun, 07 Sep 2008 17:46:43 +0200 | |
changeset 28151 | 61f9c918b410 |
parent 26377 | 54dc2f9c5be8 |
child 29564 | f8b933a62151 |
permissions | -rw-r--r-- |
wenzelm@23139 | 1 |
(* Title: Pure/ML-Systems/polyml-4.1.3.ML |
wenzelm@23139 | 2 |
ID: $Id$ |
wenzelm@23139 | 3 |
|
wenzelm@23139 | 4 |
Compatibility wrapper for Poly/ML 4.1.3. |
wenzelm@23139 | 5 |
*) |
wenzelm@23139 | 6 |
|
wenzelm@26215 | 7 |
use "ML-Systems/polyml_old_basis.ML"; |
wenzelm@28151 | 8 |
use "ML-Systems/universal.ML"; |
wenzelm@28151 | 9 |
use "ML-Systems/thread_dummy.ML"; |
wenzelm@26215 | 10 |
use "ML-Systems/polyml_common.ML"; |
wenzelm@26377 | 11 |
use "ML-Systems/polyml_old_compiler4.ML"; |
wenzelm@26377 | 12 |
|
wenzelm@26377 | 13 |
val pointer_eq = Address.wordEq; |
wenzelm@26377 | 14 |