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/compiler/MAP
ViewVC logotype

Diff of /sml/trunk/compiler/MAP

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

revision 2162, Thu Nov 2 21:20:47 2006 UTC revision 2603, Wed May 23 21:50:42 2007 UTC
# Line 143  Line 143 
143    Modules related to elaboration and pickling (external representation    Modules related to elaboration and pickling (external representation
144    of static environments)    of static environments)
145    
146     [#Deleted: replaced by ElabData/basics/primopid.sig,sml
147    Semant/basics/    Semant/basics/
148      inlinfo.sig/sml      inlinfo.sig/sml
149        inlining info [FLINT]        inlining info [FLINT]
150        defs: INL_INFO, InlInfo: INL_INFO        defs: INL_INFO, InlInfo: INL_INFO
151     ]
152    
153    Semant/elaborate/    Semant/elaborate/
154    apply functors defined in corresponding Elaborate/elaborate modules    apply functors defined in corresponding Elaborate/elaborate modules
# Line 190  Line 192 
192    Semant/pickle/    Semant/pickle/
193    pickling static environments    pickling static environments
194      pickle-sym-pid.sml      pickle-sym-pid.sml
195          pickling symbols and pids (persistant stamps)
196          uses: PickleUtil
197          defs: PickleSymPid (inline sig)
198      unpickle-sym-pid.sml      unpickle-sym-pid.sml
199      pickmod-new.sml        unpickling symbols and pids (persistant stamps)
200      unpickmod-new-sml        defs: UnpickleSymPid (inline sig)
201        pickmod.sml
202          pickling functions for each type involved in staticEnv
203          defs: PICKMOD, PickMod :> PICKMOD
204        unpickmod.sml
205          unpickling functions for each type involved in staticEnv
206          defs: UNPICKMOD, UnpickMod : UNPICKMOD
207      rehash.sml      rehash.sml
208          recompute hash of an environment resulting from filtering
209          a larger invironment
210          defs: Rehash (inline sig)
211    
212    Semant/statenv/    Semant/statenv/
213      construction of base static environment for environment bootstrap
214      and table mapping primop names to intrinsic primop types
215      prim.sml      prim.sml
216        define static env primEnv, containing primitive types (PrimTypes),        define static env primEnv, containing primitive types (PrimTypes),
217        primops (InLine), and unrolled lists (UnrolledList)        primops (InLine), and unrolled lists (UnrolledList)
218        defs: PRIM_ENV, PrimEnv: PRIM_ENV        defs: PRIM_ENV, PrimEnv: PRIM_ENV
219        primoptypemap.sml
220          defines mapping from primop names (strings) to their "intrinsic" types
221          defs: PRIMOP_TYPE_MAP, PrimOpTypeMap
222    
223    Semant/types/    Semant/types/
224    some types-related stuff    some types-related stuff
# Line 212  Line 231 
231      types-reformat.sml [FLINT]      types-reformat.sml [FLINT]
232        FLINT-related "reformatting" of types, used to be in typesutil.sml        FLINT-related "reformatting" of types, used to be in typesutil.sml
233        defs: TypesReformat        defs: TypesReformat
234       [#Deleted: type checker is no longer functorized
235      typecheck.sml [FLINT]      typecheck.sml [FLINT]
236        apply TypecheckFn defined in Elaborator/types/typecheck.sml (should eliminate)        apply TypecheckFn defined in Elaborator/types/typecheck.sml (should eliminate)
237        see: Elaborator/types/typecheck.sml        see: Elaborator/types/typecheck.sml
238        defs: TypeCheck        defs: TypeCheck
239       ]
240    
241    
242  ElabData/  ElabData/
# Line 243  Line 264 
264        SymPath and InvPath: direct and inverse symbolic paths (selecting        SymPath and InvPath: direct and inverse symbolic paths (selecting
265        module components)        module components)
266        defs: SYMPATH, INVPATH, CONVERTPATHS, SymPath, InvPath, ConvertPaths        defs: SYMPATH, INVPATH, CONVERTPATHS, SymPath, InvPath, ConvertPaths
267      [#Deleted
268      ii.sml [FLINT]      ii.sml [FLINT]
269        FLINT related information for inlining (why is this in elaborator?)        FLINT related information for inlining (why is this in elaborator?)
270        defs: II        defs: II
271      #]
272      core-ptnum.sml      core-ptnum.sml
273        core prim-type numbers (essentially the same as Elaborator/basics/ptnum.sml        core prim-type numbers (essentially the same as Elaborator/basics/ptnum.sml
274        except only language-standard types are included)        except only language-standard types are included)
# Line 255  Line 278 
278        defines the special structure symbol "_Core" used to access certain        defines the special structure symbol "_Core" used to access certain
279        special bindings (e.g Match and Bind exceptions)        special bindings (e.g Match and Bind exceptions)
280        defs: CoreSym        defs: CoreSym
281        primopid.sig/sml
282          defines front-end representation of primops, where a primop is identified
283          with a string name
284          defs: PRIMOPID, PrimopId
285    
286    ElabData/syntax/    ElabData/syntax/
287    (typed) abstract syntax    (typed) abstract syntax
# Line 700  Line 727 
727    
728  primop  primop
729    PrimOp           (FLINT/kernel/primop.sml)    PrimOp           (FLINT/kernel/primop.sml)
730      PrimOpMap        (FLINT/trans/primopmap.sml)
731      PrimOpId         (ElabData/basics/primopid.sml)
732      PrimOpTypeMap    (Semant/statenv/primoptypemap.sml)
733    PrimEnv          (Semant/statenv/prim.sml)    PrimEnv          (Semant/statenv/prim.sml)
734    
735  control  control

Legend:
Removed from v.2162  
changed lines
  Added in v.2603

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0