12 |
Tag: <post-commit CVS tag> |
Tag: <post-commit CVS tag> |
13 |
Description: |
Description: |
14 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
15 |
|
Name: Matthias Blume |
16 |
|
Date: 2000/04/03 16:05:00 JST |
17 |
|
Tag: blume_main_v110p26p2_2 |
18 |
|
Description: |
19 |
|
|
20 |
|
I eliminated coreEnv from compInfo. Access to the "Core" structure is |
21 |
|
now done via the ordinary static environment that is context to each |
22 |
|
compilation unit. |
23 |
|
|
24 |
|
To this end, I arranged that instead of "structure Core" as "structure |
25 |
|
_Core" is bound in the pervasive environment. Core access is done via |
26 |
|
_Core (which can never be accidentially rebound because _Core is not a |
27 |
|
legal surface-syntax symbol). |
28 |
|
|
29 |
|
The current solution is much cleaner because the core environment is |
30 |
|
now simply part of the pervasive environment which is part of every |
31 |
|
compilation unit's context anyway. In particular, this eliminates all |
32 |
|
special-case handling that was necessary until now in order to deal |
33 |
|
with dynamic and symbolic parts of the core environment. |
34 |
|
|
35 |
|
Remaining hackery (to bind the "magic" symbol _Core) is localized in the |
36 |
|
compilation mananger's bootstrap compiler (actually: in the "init group" |
37 |
|
handling). See the comments in src/system/smlnj/init/init.cmi for |
38 |
|
more details. |
39 |
|
|
40 |
|
I also tried to track down all mentions of "Core" (as string argument |
41 |
|
to Symbol.strSymbol) in the compiler and replaced them with a |
42 |
|
reference to the new CoreSym.coreSym. Seems cleaner since the actual |
43 |
|
name appears in one place only. |
44 |
|
|
45 |
|
Binfile and bootfile format have not changed, but the switchover from |
46 |
|
the old "init.cmi" to the new one is a bit tricky, so I supplied new |
47 |
|
bootfiles anyway. |
48 |
|
|
49 |
|
---------------------------------------------------------------------- |
50 |
Name: Allen Leung |
Name: Allen Leung |
51 |
Date: 2000/04/02 21:17:00 EST |
Date: 2000/04/02 21:17:00 EST |
52 |
Tag: leunga-20000402-mltree |
Tag: leunga-20000402-mltree |