| 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 |
Parent Directory
| 
Revision Log
| 
Patch
