SCM Repository
Annotation of /sml/trunk/src/compiler/viscomp-core.cm
Parent Directory
|
Revision Log
Revision 496 - (view) (download)
1 : | monnier | 496 | (* Copyright YALE FLINT PROJECT 1997 *) |
2 : | (* viscomp-core.cm *) | ||
3 : | |||
4 : | (* | ||
5 : | * This used to be called all-files.cm, then sources.cm, and even later | ||
6 : | * viscomp-lib.cm (at which point it became "just a library"). | ||
7 : | * It is now reduced to the machine-independent core part of the | ||
8 : | * library. Machine-dependent parts are in viscomp-<arch>.cm. | ||
9 : | * M.Blume (11/1999) | ||
10 : | *) | ||
11 : | |||
12 : | Library | ||
13 : | signature GENERIC_VC | ||
14 : | signature MACHDEP_VC | ||
15 : | |||
16 : | structure GenericVC | ||
17 : | |||
18 : | (* eventually we should export more of these guys... *) | ||
19 : | structure DynamicEnv | ||
20 : | structure PrettyPrint | ||
21 : | |||
22 : | structure PickleSymPid | ||
23 : | structure UnpickleSymPid | ||
24 : | structure PickMod | ||
25 : | structure UnpickMod | ||
26 : | structure CompBasic | ||
27 : | |||
28 : | (* To make it possible to dynamically link in the optimizer, | ||
29 : | * we have to export the following to the library. | ||
30 : | * A.Leung. | ||
31 : | *) | ||
32 : | signature MACHINE_GEN | ||
33 : | signature INVOKE_GC | ||
34 : | signature CPSREGS | ||
35 : | |||
36 : | structure CPSRegions | ||
37 : | structure SMLGCType | ||
38 : | structure SMLGCMap | ||
39 : | |||
40 : | (* To be able to separate machine-dependent parts of viscomp-lib.cm | ||
41 : | * from machine-independent parts, we must also export the | ||
42 : | * the following things. | ||
43 : | * M.Blume (11/1999) *) | ||
44 : | |||
45 : | signature MACH_SPEC | ||
46 : | |||
47 : | structure ErrorMsg | ||
48 : | structure Control | ||
49 : | structure DefaultMachSpec | ||
50 : | structure SMLNJConstant | ||
51 : | structure CodeString | ||
52 : | |||
53 : | functor PseudoOpsBig | ||
54 : | functor PseudoOpsLittle | ||
55 : | functor MachineGen | ||
56 : | functor RegAlloc | ||
57 : | functor FLINTComp | ||
58 : | functor MachDepVCFun | ||
59 : | is | ||
60 : | |||
61 : | TopLevel/batch/batchconfig.sml | ||
62 : | TopLevel/batch/binfile.sig | ||
63 : | TopLevel/batch/binfile.sml | ||
64 : | TopLevel/batch/smlfile.sml | ||
65 : | TopLevel/batch/cmsa.sig | ||
66 : | TopLevel/batch/cmsa.sml | ||
67 : | TopLevel/batch/envcvt.sml | ||
68 : | TopLevel/environ/dynenv.sig | ||
69 : | TopLevel/environ/dynenv.sml | ||
70 : | TopLevel/environ/environ.sig | ||
71 : | TopLevel/environ/environ.sml | ||
72 : | TopLevel/environ/envref.sml | ||
73 : | TopLevel/environ/persmap.sml | ||
74 : | TopLevel/environ/cmenviron.sig | ||
75 : | TopLevel/environ/cmenviron.sml | ||
76 : | TopLevel/environ/symenv.sig | ||
77 : | TopLevel/environ/symenv.sml | ||
78 : | TopLevel/interact/evalloop.sig | ||
79 : | TopLevel/interact/evalloop.sml | ||
80 : | TopLevel/interact/intconfig.sml | ||
81 : | TopLevel/interact/interact.sig | ||
82 : | TopLevel/interact/interact.sml | ||
83 : | TopLevel/main/cconfig.sig | ||
84 : | TopLevel/main/code-generator.sig | ||
85 : | TopLevel/main/code-obj.sig | ||
86 : | TopLevel/main/code-obj.sml | ||
87 : | TopLevel/main/compbasic.sig | ||
88 : | TopLevel/main/compbasic.sml | ||
89 : | TopLevel/main/compile.sig | ||
90 : | TopLevel/main/compile.sml | ||
91 : | TopLevel/main/version.sml | ||
92 : | TopLevel/viscomp/control.sig | ||
93 : | TopLevel/viscomp/control.sml | ||
94 : | TopLevel/viscomp/generic-vc.sig | ||
95 : | TopLevel/viscomp/generic-vc.sml | ||
96 : | TopLevel/viscomp/machdep-vc.sig | ||
97 : | TopLevel/viscomp/machdep-vc.sml | ||
98 : | |||
99 : | Parse/ast/ast.sig | ||
100 : | Parse/ast/ast.sml | ||
101 : | Parse/ast/astutil.sig | ||
102 : | Parse/ast/astutil.sml | ||
103 : | Parse/ast/fixity.sml | ||
104 : | Parse/lex/ml.lex | ||
105 : | Parse/lex/tokentable.sml | ||
106 : | Parse/main/frontend.sig | ||
107 : | Parse/main/frontend.sml | ||
108 : | Parse/parse/ml.grm | ||
109 : | |||
110 : | Semant/basics/access.sig | ||
111 : | Semant/basics/access.sml | ||
112 : | Semant/basics/conrep.sml | ||
113 : | Semant/basics/env.sig | ||
114 : | Semant/basics/env.sml | ||
115 : | Semant/basics/inlinfo.sml | ||
116 : | Semant/basics/persstamps.sig | ||
117 : | Semant/basics/persstamps.sml | ||
118 : | Semant/basics/stamps.sig | ||
119 : | Semant/basics/stamps.sml | ||
120 : | Semant/basics/symbol.sig | ||
121 : | Semant/basics/symbol.sml | ||
122 : | Semant/basics/sympaths.sig | ||
123 : | Semant/basics/sympaths.sml | ||
124 : | Semant/elaborate/elabcore.sml | ||
125 : | Semant/elaborate/elabdebug.sml | ||
126 : | Semant/elaborate/elabmod.sml | ||
127 : | Semant/elaborate/elabsig.sml | ||
128 : | Semant/elaborate/elabtop.sml | ||
129 : | Semant/elaborate/elabtype.sig | ||
130 : | Semant/elaborate/elabtype.sml | ||
131 : | Semant/elaborate/elabutil.sig | ||
132 : | Semant/elaborate/elabutil.sml | ||
133 : | Semant/elaborate/include.sml | ||
134 : | Semant/elaborate/precedence.sml | ||
135 : | Semant/elaborate/tyvarset.sml | ||
136 : | Semant/syntax/absyn.sig | ||
137 : | Semant/syntax/absyn.sml | ||
138 : | Semant/syntax/varcon.sig | ||
139 : | Semant/syntax/varcon.sml | ||
140 : | Semant/modules/entityenv.sig | ||
141 : | Semant/modules/entityenv.sml | ||
142 : | Semant/modules/entpath.sml | ||
143 : | Semant/modules/epcontext.sml | ||
144 : | Semant/modules/evalent.sml | ||
145 : | Semant/modules/expandtycon.sml | ||
146 : | Semant/modules/instantiate.sml | ||
147 : | Semant/modules/moduleid.sml | ||
148 : | Semant/modules/modules.sig | ||
149 : | Semant/modules/modules.sml | ||
150 : | Semant/modules/moduleutil.sig | ||
151 : | Semant/modules/moduleutil.sml | ||
152 : | Semant/modules/sigmatch.sml | ||
153 : | |||
154 : | Semant/pickle/pickle-sym-pid.sml | ||
155 : | Semant/pickle/pickmod-new.sml | ||
156 : | Semant/pickle/unpickle-sym-pid.sml | ||
157 : | Semant/pickle/unpickmod-new.sml | ||
158 : | |||
159 : | Semant/statenv/bindings.sml | ||
160 : | Semant/statenv/lookup.sig | ||
161 : | Semant/statenv/lookup.sml | ||
162 : | Semant/statenv/prim.sml | ||
163 : | Semant/statenv/cmstatenv.sig | ||
164 : | Semant/statenv/cmstatenv.sml | ||
165 : | Semant/statenv/statenv.sig | ||
166 : | Semant/statenv/statenv.sml | ||
167 : | Semant/types/basictypes.sig | ||
168 : | Semant/types/basictypes.sml | ||
169 : | Semant/types/eqtypes.sml | ||
170 : | Semant/types/tuples.sml | ||
171 : | Semant/types/types.sig | ||
172 : | Semant/types/types.sml | ||
173 : | Semant/types/typesutil.sig | ||
174 : | Semant/types/typesutil.sml | ||
175 : | Semant/types/unify.sml | ||
176 : | Semant/types/overload.sml | ||
177 : | Semant/types/overloadlit.sml | ||
178 : | Semant/types/reconstruct.sml | ||
179 : | Semant/types/typecheck.sml | ||
180 : | |||
181 : | FLINT/clos/allocprof.sml | ||
182 : | FLINT/clos/cps-split.sml | ||
183 : | FLINT/clos/freemap.sml | ||
184 : | FLINT/clos/globalfix.sml | ||
185 : | FLINT/clos/closure.sml | ||
186 : | FLINT/clos/freeclose.sml | ||
187 : | FLINT/clos/staticprof.sml | ||
188 : | FLINT/clos/unrebind.sml | ||
189 : | FLINT/cps/convert.sml | ||
190 : | FLINT/cps/cps.sig | ||
191 : | FLINT/cps/cps.sml | ||
192 : | FLINT/cps/cpstrans.sml | ||
193 : | FLINT/cps/ppcps.sml | ||
194 : | FLINT/cps/switch.sml | ||
195 : | FLINT/cpsopt/contract.sml | ||
196 : | FLINT/cpsopt/cpsopt.sml | ||
197 : | FLINT/cpsopt/eta.sml | ||
198 : | FLINT/cpsopt/etasplit.sml | ||
199 : | FLINT/cpsopt/expand.sml | ||
200 : | FLINT/cpsopt/expandNEW.sml | ||
201 : | FLINT/cpsopt/flatten.sml | ||
202 : | FLINT/cpsopt/uncurry.sml | ||
203 : | FLINT/flint/chkflint.sml | ||
204 : | FLINT/flint/flint.sig | ||
205 : | FLINT/flint/flint.sml | ||
206 : | FLINT/flint/flintutil.sml | ||
207 : | FLINT/flint/ppflint.sig | ||
208 : | FLINT/flint/ppflint.sml | ||
209 : | FLINT/kernel/debindex.sig | ||
210 : | FLINT/kernel/debindex.sml | ||
211 : | FLINT/kernel/lambdavar.sig | ||
212 : | FLINT/kernel/lambdavar.sml | ||
213 : | FLINT/kernel/ltybasic.sig | ||
214 : | FLINT/kernel/ltybasic.sml | ||
215 : | FLINT/kernel/ltydef.sig | ||
216 : | FLINT/kernel/ltydef.sml | ||
217 : | FLINT/kernel/ltydict.sml | ||
218 : | FLINT/kernel/ltyextern.sig | ||
219 : | FLINT/kernel/ltyextern.sml | ||
220 : | FLINT/kernel/ltykernel.sig | ||
221 : | FLINT/kernel/ltykernel.sml | ||
222 : | FLINT/kernel/primop.sig | ||
223 : | FLINT/kernel/primop.sml | ||
224 : | FLINT/kernel/primtyc.sig | ||
225 : | FLINT/kernel/primtyc.sml | ||
226 : | FLINT/main/flintcomp.sml | ||
227 : | FLINT/main/literals.sml | ||
228 : | FLINT/opt/lcontract.sml | ||
229 : | FLINT/opt/recover.sml | ||
230 : | FLINT/opt/specialize.sml | ||
231 : | FLINT/plambda/chkplexp.sml | ||
232 : | FLINT/plambda/flintnm.sml | ||
233 : | FLINT/plambda/pflatten.sig | ||
234 : | FLINT/plambda/pflatten.sml | ||
235 : | FLINT/plambda/plambda.sig | ||
236 : | FLINT/plambda/plambda.sml | ||
237 : | FLINT/plambda/plambdatype.sml | ||
238 : | FLINT/plambda/pplexp.sml | ||
239 : | FLINT/plambda/reorder.sml | ||
240 : | FLINT/reps/coerce.sml | ||
241 : | FLINT/reps/equal.sml | ||
242 : | FLINT/reps/reify.sml | ||
243 : | FLINT/reps/rttype.sml | ||
244 : | FLINT/reps/typeoper.sml | ||
245 : | FLINT/reps/wrapping.sml | ||
246 : | FLINT/trans/matchcomp.sml | ||
247 : | FLINT/trans/mccommon.sml | ||
248 : | FLINT/trans/pequal.sml | ||
249 : | FLINT/trans/tempexpn.sml | ||
250 : | FLINT/trans/translate.sml | ||
251 : | FLINT/trans/transtypes.sml | ||
252 : | |||
253 : | FLINT/lsplit/ls-inline.sml | ||
254 : | |||
255 : | CodeGen/cpscompile/alignment.sml | ||
256 : | CodeGen/cpscompile/argPassing.sig | ||
257 : | CodeGen/cpscompile/argPassing.sml | ||
258 : | CodeGen/cpscompile/callgc.sig | ||
259 : | CodeGen/cpscompile/callgc.sml | ||
260 : | CodeGen/cpscompile/cluster.sml | ||
261 : | CodeGen/cpscompile/cps-aliasing.sml | ||
262 : | CodeGen/cpscompile/cps-treeify.sml | ||
263 : | CodeGen/cpscompile/cpsRegions.sig | ||
264 : | CodeGen/cpscompile/cpsRegions.sml | ||
265 : | CodeGen/cpscompile/cpsRegs.sig | ||
266 : | CodeGen/cpscompile/frag.sig | ||
267 : | CodeGen/cpscompile/frag.sml | ||
268 : | CodeGen/cpscompile/invokegc.sig | ||
269 : | CodeGen/cpscompile/invokegc.sml | ||
270 : | CodeGen/cpscompile/limit.sml | ||
271 : | CodeGen/cpscompile/memAliasing.sml | ||
272 : | CodeGen/cpscompile/memDisambig.sml | ||
273 : | CodeGen/cpscompile/mkRecord.sig | ||
274 : | CodeGen/cpscompile/mkRecord.sml | ||
275 : | CodeGen/cpscompile/pseudoOpType.sig | ||
276 : | CodeGen/cpscompile/pseudoOpsBig.sml | ||
277 : | CodeGen/cpscompile/pseudoOpsLittle.sml | ||
278 : | CodeGen/cpscompile/smlnj-const.sml | ||
279 : | CodeGen/cpscompile/smlnj-gctype.sig | ||
280 : | CodeGen/cpscompile/smlnj-gctype.sml | ||
281 : | CodeGen/cpscompile/spill.sml | ||
282 : | CodeGen/main/code-string.sml | ||
283 : | CodeGen/main/machine.sig | ||
284 : | CodeGen/main/machine-gen.sig | ||
285 : | CodeGen/main/machine-gen.sml | ||
286 : | CodeGen/main/machspec.sig | ||
287 : | CodeGen/main/machspec.sml | ||
288 : | CodeGen/main/mlriscGen.sml | ||
289 : | CodeGen/main/object-desc.sig | ||
290 : | CodeGen/main/object-desc.sml | ||
291 : | CodeGen/main/regalloc.sig | ||
292 : | CodeGen/main/regalloc.sml | ||
293 : | |||
294 : | MiscUtil/bignums/bigint.sig | ||
295 : | MiscUtil/bignums/bigint.sml | ||
296 : | MiscUtil/bignums/realconst.sml | ||
297 : | MiscUtil/bignums/ieeereal.sml | ||
298 : | MiscUtil/print/ppabsyn.sml | ||
299 : | MiscUtil/print/ppdec.sml | ||
300 : | MiscUtil/print/ppmod.sml | ||
301 : | MiscUtil/print/ppobj.sml | ||
302 : | MiscUtil/print/pptable.sml | ||
303 : | MiscUtil/print/pptype.sml | ||
304 : | MiscUtil/print/pputil.sig | ||
305 : | MiscUtil/print/pputil.sml | ||
306 : | MiscUtil/print/ppval.sml | ||
307 : | MiscUtil/print/pp-wrapper.sml | ||
308 : | MiscUtil/print/printutil.sig | ||
309 : | MiscUtil/print/printutil.sml | ||
310 : | MiscUtil/profile/prof-env.sml | ||
311 : | MiscUtil/profile/profile-fn.sml | ||
312 : | MiscUtil/profile/profile.sig | ||
313 : | MiscUtil/profile/profile.sml | ||
314 : | MiscUtil/profile/sprof.sml | ||
315 : | MiscUtil/profile/tell-env.sml | ||
316 : | MiscUtil/profile/tprof.sml | ||
317 : | |||
318 : | MiscUtil/util/errormsg.sig | ||
319 : | MiscUtil/util/errormsg.sml | ||
320 : | MiscUtil/util/feedback.sml | ||
321 : | MiscUtil/util/intstrmap.sig | ||
322 : | MiscUtil/util/intstrmap.sml | ||
323 : | MiscUtil/util/literal-to-num.sml | ||
324 : | MiscUtil/util/pathnames.sig | ||
325 : | MiscUtil/util/pathnames.sml | ||
326 : | MiscUtil/util/source.sig | ||
327 : | MiscUtil/util/source.sml | ||
328 : | MiscUtil/util/sourcemap.sig | ||
329 : | MiscUtil/util/sourcemap.sml | ||
330 : | MiscUtil/util/stats.sml | ||
331 : | |||
332 : | basis.cm | ||
333 : | ml-yacc-lib.cm | ||
334 : | smlnj-lib.cm | ||
335 : | comp-lib.cm | ||
336 : | pp-lib.cm | ||
337 : | MLRISC.cm |
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |