Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 591, Mon Apr 3 01:19:20 2000 UTC revision 593, Tue Apr 4 07:26:33 2000 UTC
# Line 13  Line 13 
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15  Name: Allen Leung  Name: Allen Leung
16    Date: 2000/04/04 03:18:00 EST
17    Tag: leunga-20000404-C--Moby
18    Description:
20        All of these fixes are related to C--, Moby, and my own optimization
21        stuff; so they shouldn't affect SML/NJ.
23    1.  X86
25        Various fixes related floating point, and extensions.
27    2.  Alpha
29        Some extra patterns related to loads with signed/zero extension
30        provided by Fermin.
32    3.  Assembly
34        When generating assemby, resolve the value of client defined constants,
35        instead of generating symbolic values.  This is controlled by the
36        new flag "asm-resolve-constants", which is default to true.
38    4.  Machine Descriptions
40        a. The precedence parser was slightly broken when parsing infixr symbols.
41        b. The type generalizing code had the bound variables reversed, resulting
42           in a problem during arity raising.
43        c. Various fixes in machine descriptions.
45    ----------------------------------------------------------------------
46    Name: Matthias Blume
47    Date: 2000/04/03 16:05:00 JST
48    Tag: blume_main_v110p26p2_2
49    Description:
51    I eliminated coreEnv from compInfo.  Access to the "Core" structure is
52    now done via the ordinary static environment that is context to each
53    compilation unit.
55    To this end, I arranged that instead of "structure Core" as "structure
56    _Core" is bound in the pervasive environment.  Core access is done via
57    _Core (which can never be accidentially rebound because _Core is not a
58    legal surface-syntax symbol).
60    The current solution is much cleaner because the core environment is
61    now simply part of the pervasive environment which is part of every
62    compilation unit's context anyway.  In particular, this eliminates all
63    special-case handling that was necessary until now in order to deal
64    with dynamic and symbolic parts of the core environment.
66    Remaining hackery (to bind the "magic" symbol _Core) is localized in the
67    compilation mananger's bootstrap compiler (actually: in the "init group"
68    handling).  See the comments in src/system/smlnj/init/init.cmi for
69    more details.
71    I also tried to track down all mentions of "Core" (as string argument
72    to Symbol.strSymbol) in the compiler and replaced them with a
73    reference to the new CoreSym.coreSym.  Seems cleaner since the actual
74    name appears in one place only.
76    Binfile and bootfile format have not changed, but the switchover from
77    the old "init.cmi" to the new one is a bit tricky, so I supplied new
78    bootfiles anyway.
80    ----------------------------------------------------------------------
81    Name: Allen Leung
82  Date: 2000/04/02 21:17:00 EST  Date: 2000/04/02 21:17:00 EST
83  Tag: leunga-20000402-mltree  Tag: leunga-20000402-mltree
84  Description:  Description:

Removed from v.591  
changed lines
  Added in v.593

ViewVC Help
Powered by ViewVC 1.0.0