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/core.cm
ViewVC logotype

Diff of /sml/trunk/compiler/core.cm

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

revision 2162, Thu Nov 2 21:20:47 2006 UTC revision 2492, Fri May 4 03:39:10 2007 UTC
# Line 30  Line 30 
30          structure CPSRegions          structure CPSRegions
31          structure SMLGCType          structure SMLGCType
32    
         structure Typecheck  
   
33          (* To be able to separate machine-dependent parts of viscomp-lib.cm          (* To be able to separate machine-dependent parts of viscomp-lib.cm
34           * from machine-independent parts, we must also export the           * from machine-independent parts, we must also export the
35           * the following things.... *)           * the following things.... *)
# Line 56  Line 54 
54          (* stuff that lived (or should have) in Frontend (aka GenericVC) *)          (* stuff that lived (or should have) in Frontend (aka GenericVC) *)
55          structure Control          structure Control
56          structure SymbolicEnv          structure SymbolicEnv
57            structure PrimOpTypeMap
58          structure PrimEnv          structure PrimEnv
59          structure Environment          structure Environment
60          structure EnvRef          structure EnvRef
# Line 80  Line 79 
79          structure TypesUtil          structure TypesUtil
80          structure VarCon          structure VarCon
81          structure ModuleUtil          structure ModuleUtil
82          structure II          structure PrimOpId
83          structure BasicTypes          structure BasicTypes
84          structure PPType          structure PPType
85          structure Access          structure Access
86          structure Unify          structure Unify
87            structure SigMatch
88    
89          (* corresponding signatures *)          (* corresponding signatures *)
90          signature CONTROL          signature CONTROL
# Line 112  Line 112 
112    
113          (* export of structures required to use FLINT directly *)          (* export of structures required to use FLINT directly *)
114          structure Translate          structure Translate
115            structure Lty
116            structure LtyKindChk
117          structure LtyKernel          structure LtyKernel
118          structure LtyDef          structure LtyDef
119          structure LtyExtern          structure LtyExtern
# Line 123  Line 125 
125          structure LambdaVar          structure LambdaVar
126          structure ChkFlint          structure ChkFlint
127          structure DebIndex          structure DebIndex
128    
129            structure PPLty
130  is  is
131    
132  TopLevel/environ/environ.sig  TopLevel/environ/environ.sig
# Line 149  Line 153 
153  TopLevel/main/pptable.sml  TopLevel/main/pptable.sml
154    
155  (* Semantic analysis (elaborator) specialized for SML/NJ. *)  (* Semantic analysis (elaborator) specialized for SML/NJ. *)
156    (*
157  Semant/basics/inlinfo.sig  Semant/basics/inlinfo.sig
158  Semant/basics/inlinfo.sml  Semant/basics/inlinfo.sml
159    *)
160  Semant/elaborate/elabmod.sml  Semant/elaborate/elabmod.sml
161  Semant/elaborate/elabtop.sml  Semant/elaborate/elabtop.sml
162    
163  Semant/modules/instantiate-param.sml  Semant/modules/instantiate-param.sml
164  Semant/modules/instantiate.sml  Semant/modules/instantiate.sml
 Semant/modules/sigmatch.sml  
165  Semant/modules/evalent.sml  Semant/modules/evalent.sml
166  Semant/modules/module-plists.sml  Semant/modules/module-plists.sml
167    Semant/modules/sigmatch.sml
168    
169  Semant/pickle/pickle-sym-pid.sml  Semant/pickle/pickle-sym-pid.sml
170  Semant/pickle/pickmod-new.sml  Semant/pickle/pickmod-new.sml
# Line 167  Line 172 
172  Semant/pickle/unpickmod-new.sml  Semant/pickle/unpickmod-new.sml
173  Semant/pickle/rehash.sml  Semant/pickle/rehash.sml
174    
175    
176    Semant/statenv/primoptypemap.sml
177  Semant/statenv/prim.sml  Semant/statenv/prim.sml
178    
179  Semant/types/tp-var-info.sml  Semant/types/tp-var-info.sml
 Semant/types/typecheck.sml  
180  Semant/types/cproto.sml  Semant/types/cproto.sml
181    
182    
# Line 216  Line 222 
222  FLINT/kernel/ltyextern.sml  FLINT/kernel/ltyextern.sml
223  FLINT/kernel/ltykernel.sig  FLINT/kernel/ltykernel.sig
224  FLINT/kernel/ltykernel.sml  FLINT/kernel/ltykernel.sml
225    FLINT/kernel/lty.sig
226    FLINT/kernel/lty.sml
227    FLINT/kernel/ltykindchk.sml
228    
229    FLINT/kernel/pplty.sml
230    
231  FLINT/kernel/primop.sig  FLINT/kernel/primop.sig
232  FLINT/kernel/primop.sml  FLINT/kernel/primop.sml
233  FLINT/main/flintcomp.sml  FLINT/main/flintcomp.sml
# Line 251  Line 263 
263  FLINT/trans/mccommon.sml  FLINT/trans/mccommon.sml
264  FLINT/trans/pequal.sml  FLINT/trans/pequal.sml
265  FLINT/trans/tempexpn.sml  FLINT/trans/tempexpn.sml
266    FLINT/trans/primopmap.sml
267  FLINT/trans/translate.sml  FLINT/trans/translate.sml
268  FLINT/trans/transtypes.sml  FLINT/trans/transtypes.sml
269    

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

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