SCM Repository
Annotation of /sml/trunk/src/compiler/viscomp-lib.cm
Parent Directory
| 
Revision Log
Revision 431 - (view) (download)
| 1 : | monnier | 111 | (* Copyright YALE FLINT PROJECT 1997 *) |
| 2 : | (* viscomp-lib.cm *) | ||
| 3 : | |||
| 4 : | (* | ||
| 5 : | * This used to be called all-files.cm and later sources.cm. | ||
| 6 : | * It is now "just" a library which exports various visible compilers. | ||
| 7 : | * M.Blume (5/1998) | ||
| 8 : | *) | ||
| 9 : | |||
| 10 : | Library | ||
| 11 : | monnier | 183 | signature GENERIC_VC |
| 12 : | signature MACHDEP_VC | ||
| 13 : | |||
| 14 : | structure GenericVC | ||
| 15 : | |||
| 16 : | monnier | 111 | structure Alpha32VisComp |
| 17 : | structure HppaVisComp | ||
| 18 : | monnier | 251 | structure PPCVisComp |
| 19 : | structure SparcVisComp | ||
| 20 : | structure X86VisComp | ||
| 21 : | (**** no old-style code generators | ||
| 22 : | monnier | 111 | structure MipsBigVisComp |
| 23 : | structure MipsLittleVisComp | ||
| 24 : | structure RS6000VisComp | ||
| 25 : | monnier | 251 | ****) |
| 26 : | monnier | 422 | |
| 27 : | (* eventually we should export more of these guys... *) | ||
| 28 : | structure DynamicEnv | ||
| 29 : | monnier | 431 | |
| 30 : | structure PickleSymPid | ||
| 31 : | structure UnpickleSymPid | ||
| 32 : | structure PickMod | ||
| 33 : | structure UnpickMod | ||
| 34 : | structure CompBasic | ||
| 35 : | monnier | 111 | is |
| 36 : | |||
| 37 : | TopLevel/batch/batchconfig.sml | ||
| 38 : | TopLevel/batch/binfile.sig | ||
| 39 : | TopLevel/batch/binfile.sml | ||
| 40 : | monnier | 422 | TopLevel/batch/smlfile.sml |
| 41 : | monnier | 111 | TopLevel/batch/cmsa.sig |
| 42 : | TopLevel/batch/cmsa.sml | ||
| 43 : | TopLevel/batch/envcvt.sml | ||
| 44 : | TopLevel/environ/dynenv.sig | ||
| 45 : | TopLevel/environ/dynenv.sml | ||
| 46 : | TopLevel/environ/environ.sig | ||
| 47 : | TopLevel/environ/environ.sml | ||
| 48 : | TopLevel/environ/envref.sml | ||
| 49 : | TopLevel/environ/persmap.sml | ||
| 50 : | TopLevel/environ/cmenviron.sig | ||
| 51 : | TopLevel/environ/cmenviron.sml | ||
| 52 : | TopLevel/environ/symenv.sig | ||
| 53 : | TopLevel/environ/symenv.sml | ||
| 54 : | TopLevel/interact/evalloop.sig | ||
| 55 : | TopLevel/interact/evalloop.sml | ||
| 56 : | TopLevel/interact/intconfig.sml | ||
| 57 : | TopLevel/interact/interact.sig | ||
| 58 : | TopLevel/interact/interact.sml | ||
| 59 : | TopLevel/main/cconfig.sig | ||
| 60 : | monnier | 251 | TopLevel/main/code-generator.sig |
| 61 : | TopLevel/main/code-obj.sig | ||
| 62 : | TopLevel/main/code-obj.sml | ||
| 63 : | monnier | 111 | TopLevel/main/compbasic.sig |
| 64 : | TopLevel/main/compbasic.sml | ||
| 65 : | TopLevel/main/compile.sig | ||
| 66 : | TopLevel/main/compile.sml | ||
| 67 : | TopLevel/main/version.sml | ||
| 68 : | TopLevel/viscomp/alpha32vis.sml | ||
| 69 : | TopLevel/viscomp/control.sig | ||
| 70 : | TopLevel/viscomp/control.sml | ||
| 71 : | TopLevel/viscomp/hppavis.sml | ||
| 72 : | monnier | 251 | (**** no old-style code generators |
| 73 : | monnier | 111 | TopLevel/viscomp/mipsebvis.sml |
| 74 : | TopLevel/viscomp/mipselvis.sml | ||
| 75 : | TopLevel/viscomp/rs6000vis.sml | ||
| 76 : | monnier | 251 | ****) |
| 77 : | TopLevel/viscomp/ppcvis.sml | ||
| 78 : | monnier | 111 | TopLevel/viscomp/sparcvis.sml |
| 79 : | monnier | 183 | TopLevel/viscomp/generic-vc.sig |
| 80 : | TopLevel/viscomp/generic-vc.sml | ||
| 81 : | TopLevel/viscomp/machdep-vc.sig | ||
| 82 : | TopLevel/viscomp/machdep-vc.sml | ||
| 83 : | monnier | 111 | TopLevel/viscomp/x86vis.sml |
| 84 : | |||
| 85 : | Parse/ast/ast.sig | ||
| 86 : | Parse/ast/ast.sml | ||
| 87 : | Parse/ast/astutil.sig | ||
| 88 : | Parse/ast/astutil.sml | ||
| 89 : | Parse/ast/fixity.sml | ||
| 90 : | Parse/lex/ml.lex | ||
| 91 : | Parse/lex/tokentable.sml | ||
| 92 : | Parse/main/frontend.sig | ||
| 93 : | Parse/main/frontend.sml | ||
| 94 : | Parse/parse/ml.grm | ||
| 95 : | |||
| 96 : | Semant/basics/access.sig | ||
| 97 : | Semant/basics/access.sml | ||
| 98 : | Semant/basics/conrep.sml | ||
| 99 : | Semant/basics/env.sig | ||
| 100 : | Semant/basics/env.sml | ||
| 101 : | Semant/basics/inlinfo.sml | ||
| 102 : | Semant/basics/persstamps.sig | ||
| 103 : | Semant/basics/persstamps.sml | ||
| 104 : | Semant/basics/stamps.sig | ||
| 105 : | Semant/basics/stamps.sml | ||
| 106 : | Semant/basics/symbol.sig | ||
| 107 : | Semant/basics/symbol.sml | ||
| 108 : | Semant/basics/sympaths.sig | ||
| 109 : | Semant/basics/sympaths.sml | ||
| 110 : | Semant/elaborate/elabcore.sml | ||
| 111 : | Semant/elaborate/elabdebug.sml | ||
| 112 : | Semant/elaborate/elabmod.sml | ||
| 113 : | Semant/elaborate/elabsig.sml | ||
| 114 : | Semant/elaborate/elabtop.sml | ||
| 115 : | Semant/elaborate/elabtype.sig | ||
| 116 : | Semant/elaborate/elabtype.sml | ||
| 117 : | Semant/elaborate/elabutil.sig | ||
| 118 : | Semant/elaborate/elabutil.sml | ||
| 119 : | Semant/elaborate/include.sml | ||
| 120 : | Semant/elaborate/precedence.sml | ||
| 121 : | Semant/elaborate/tyvarset.sml | ||
| 122 : | Semant/syntax/absyn.sig | ||
| 123 : | Semant/syntax/absyn.sml | ||
| 124 : | Semant/syntax/varcon.sig | ||
| 125 : | Semant/syntax/varcon.sml | ||
| 126 : | Semant/modules/entityenv.sig | ||
| 127 : | Semant/modules/entityenv.sml | ||
| 128 : | Semant/modules/entpath.sml | ||
| 129 : | Semant/modules/epcontext.sml | ||
| 130 : | Semant/modules/evalent.sml | ||
| 131 : | Semant/modules/expandtycon.sml | ||
| 132 : | Semant/modules/instantiate.sml | ||
| 133 : | Semant/modules/moduleid.sml | ||
| 134 : | Semant/modules/modules.sig | ||
| 135 : | Semant/modules/modules.sml | ||
| 136 : | Semant/modules/moduleutil.sig | ||
| 137 : | Semant/modules/moduleutil.sml | ||
| 138 : | Semant/modules/sigmatch.sml | ||
| 139 : | monnier | 431 | |
| 140 : | Semant/pickle/pickle-sym-pid.sml | ||
| 141 : | Semant/pickle/pickmod-new.sml | ||
| 142 : | Semant/pickle/unpickle-sym-pid.sml | ||
| 143 : | Semant/pickle/unpickmod-new.sml | ||
| 144 : | |||
| 145 : | monnier | 111 | Semant/statenv/bindings.sml |
| 146 : | Semant/statenv/lookup.sig | ||
| 147 : | Semant/statenv/lookup.sml | ||
| 148 : | Semant/statenv/prim.sml | ||
| 149 : | Semant/statenv/cmstatenv.sig | ||
| 150 : | Semant/statenv/cmstatenv.sml | ||
| 151 : | Semant/statenv/statenv.sig | ||
| 152 : | Semant/statenv/statenv.sml | ||
| 153 : | Semant/types/basictypes.sig | ||
| 154 : | Semant/types/basictypes.sml | ||
| 155 : | Semant/types/eqtypes.sml | ||
| 156 : | Semant/types/tuples.sml | ||
| 157 : | Semant/types/types.sig | ||
| 158 : | Semant/types/types.sml | ||
| 159 : | Semant/types/typesutil.sig | ||
| 160 : | Semant/types/typesutil.sml | ||
| 161 : | Semant/types/unify.sml | ||
| 162 : | Semant/types/overload.sml | ||
| 163 : | Semant/types/overloadlit.sml | ||
| 164 : | Semant/types/reconstruct.sml | ||
| 165 : | Semant/types/typecheck.sml | ||
| 166 : | |||
| 167 : | FLINT/clos/allocprof.sml | ||
| 168 : | FLINT/clos/cps-split.sml | ||
| 169 : | FLINT/clos/freemap.sml | ||
| 170 : | FLINT/clos/globalfix.sml | ||
| 171 : | FLINT/clos/closure.sml | ||
| 172 : | FLINT/clos/freeclose.sml | ||
| 173 : | FLINT/clos/staticprof.sml | ||
| 174 : | FLINT/clos/unrebind.sml | ||
| 175 : | FLINT/cps/convert.sml | ||
| 176 : | FLINT/cps/cps.sig | ||
| 177 : | FLINT/cps/cps.sml | ||
| 178 : | FLINT/cps/cpstrans.sml | ||
| 179 : | FLINT/cps/ppcps.sml | ||
| 180 : | FLINT/cps/switch.sml | ||
| 181 : | FLINT/cpsopt/contract.sml | ||
| 182 : | FLINT/cpsopt/cpsopt.sml | ||
| 183 : | FLINT/cpsopt/eta.sml | ||
| 184 : | FLINT/cpsopt/etasplit.sml | ||
| 185 : | FLINT/cpsopt/expand.sml | ||
| 186 : | FLINT/cpsopt/expandNEW.sml | ||
| 187 : | FLINT/cpsopt/flatten.sml | ||
| 188 : | FLINT/cpsopt/uncurry.sml | ||
| 189 : | FLINT/flint/chkflint.sml | ||
| 190 : | FLINT/flint/flint.sig | ||
| 191 : | FLINT/flint/flint.sml | ||
| 192 : | FLINT/flint/flintutil.sml | ||
| 193 : | FLINT/flint/ppflint.sig | ||
| 194 : | FLINT/flint/ppflint.sml | ||
| 195 : | monnier | 197 | FLINT/flint/tvarcvt.sml |
| 196 : | monnier | 111 | FLINT/kernel/debindex.sig |
| 197 : | FLINT/kernel/debindex.sml | ||
| 198 : | FLINT/kernel/lambdavar.sig | ||
| 199 : | FLINT/kernel/lambdavar.sml | ||
| 200 : | FLINT/kernel/ltybasic.sig | ||
| 201 : | FLINT/kernel/ltybasic.sml | ||
| 202 : | FLINT/kernel/ltydef.sig | ||
| 203 : | FLINT/kernel/ltydef.sml | ||
| 204 : | FLINT/kernel/ltydict.sml | ||
| 205 : | FLINT/kernel/ltyextern.sig | ||
| 206 : | FLINT/kernel/ltyextern.sml | ||
| 207 : | FLINT/kernel/ltykernel.sig | ||
| 208 : | FLINT/kernel/ltykernel.sml | ||
| 209 : | FLINT/kernel/primop.sig | ||
| 210 : | FLINT/kernel/primop.sml | ||
| 211 : | FLINT/kernel/primtyc.sig | ||
| 212 : | FLINT/kernel/primtyc.sml | ||
| 213 : | FLINT/main/flintcomp.sml | ||
| 214 : | monnier | 220 | FLINT/main/control.sml |
| 215 : | monnier | 111 | FLINT/main/literals.sml |
| 216 : | monnier | 122 | FLINT/opt/fixfix.sml |
| 217 : | FLINT/opt/collect.sml | ||
| 218 : | FLINT/opt/fcontract.sml | ||
| 219 : | monnier | 163 | FLINT/opt/optutils.sml |
| 220 : | monnier | 184 | FLINT/opt/lcontract.sml |
| 221 : | monnier | 111 | FLINT/opt/recover.sml |
| 222 : | FLINT/opt/specialize.sml | ||
| 223 : | monnier | 191 | FLINT/opt/loopify.sml |
| 224 : | monnier | 215 | FLINT/opt/split.sml |
| 225 : | monnier | 197 | FLINT/opt/lift.sml |
| 226 : | monnier | 111 | FLINT/plambda/chkplexp.sml |
| 227 : | FLINT/plambda/flintnm.sml | ||
| 228 : | FLINT/plambda/pflatten.sig | ||
| 229 : | FLINT/plambda/pflatten.sml | ||
| 230 : | FLINT/plambda/plambda.sig | ||
| 231 : | FLINT/plambda/plambda.sml | ||
| 232 : | FLINT/plambda/plambdatype.sml | ||
| 233 : | FLINT/plambda/pplexp.sml | ||
| 234 : | FLINT/plambda/reorder.sml | ||
| 235 : | FLINT/reps/coerce.sml | ||
| 236 : | FLINT/reps/equal.sml | ||
| 237 : | FLINT/reps/reify.sml | ||
| 238 : | FLINT/reps/rttype.sml | ||
| 239 : | FLINT/reps/typeoper.sml | ||
| 240 : | FLINT/reps/wrapping.sml | ||
| 241 : | FLINT/trans/matchcomp.sml | ||
| 242 : | FLINT/trans/mccommon.sml | ||
| 243 : | FLINT/trans/pequal.sml | ||
| 244 : | FLINT/trans/tempexpn.sml | ||
| 245 : | FLINT/trans/translate.sml | ||
| 246 : | FLINT/trans/transtypes.sml | ||
| 247 : | |||
| 248 : | FLINT/lsplit/ls-inline.sml | ||
| 249 : | |||
| 250 : | CodeGen/alpha32/alpha32CG.sml | ||
| 251 : | CodeGen/alpha32/alpha32CpsRegs.sml | ||
| 252 : | CodeGen/alpha32/alpha32MLTree.sml | ||
| 253 : | CodeGen/alpha32/alpha32PseudoInstrs.sml | ||
| 254 : | CodeGen/alpha32/alpha32gen.sml | ||
| 255 : | CodeGen/alpha32/alpha32spec.sml | ||
| 256 : | CodeGen/cpscompile/alignment.sml | ||
| 257 : | CodeGen/cpscompile/argPassing.sig | ||
| 258 : | CodeGen/cpscompile/argPassing.sml | ||
| 259 : | CodeGen/cpscompile/callgc.sig | ||
| 260 : | CodeGen/cpscompile/callgc.sml | ||
| 261 : | CodeGen/cpscompile/cluster.sml | ||
| 262 : | CodeGen/cpscompile/cps-aliasing.sml | ||
| 263 : | monnier | 251 | CodeGen/cpscompile/cps-treeify.sml |
| 264 : | monnier | 111 | CodeGen/cpscompile/cpsRegions.sig |
| 265 : | CodeGen/cpscompile/cpsRegions.sml | ||
| 266 : | CodeGen/cpscompile/cpsRegs.sig | ||
| 267 : | CodeGen/cpscompile/frag.sig | ||
| 268 : | CodeGen/cpscompile/frag.sml | ||
| 269 : | monnier | 145 | CodeGen/cpscompile/functionNames.sml |
| 270 : | monnier | 431 | CodeGen/cpscompile/invokegc.sig |
| 271 : | CodeGen/cpscompile/invokegc.sml | ||
| 272 : | monnier | 251 | CodeGen/cpscompile/limit.sml |
| 273 : | monnier | 422 | CodeGen/cpscompile/memAliasing.sml |
| 274 : | monnier | 111 | CodeGen/cpscompile/memDisambig.sml |
| 275 : | CodeGen/cpscompile/mkRecord.sig | ||
| 276 : | CodeGen/cpscompile/mkRecord.sml | ||
| 277 : | CodeGen/cpscompile/pseudoOpType.sig | ||
| 278 : | CodeGen/cpscompile/pseudoOpsBig.sml | ||
| 279 : | CodeGen/cpscompile/pseudoOpsLittle.sml | ||
| 280 : | monnier | 251 | CodeGen/cpscompile/smlnj-const.sml |
| 281 : | monnier | 431 | CodeGen/cpscompile/smlnj-gctype.sml |
| 282 : | monnier | 251 | CodeGen/cpscompile/spill.sml |
| 283 : | monnier | 111 | CodeGen/hppa/hppaCG.sml |
| 284 : | CodeGen/hppa/hppaCpsRegs.sml | ||
| 285 : | CodeGen/hppa/hppaLabelComp.sml | ||
| 286 : | CodeGen/hppa/hppaMLTree.sml | ||
| 287 : | CodeGen/hppa/hppaMillicode.sml | ||
| 288 : | CodeGen/hppa/hppagen.sml | ||
| 289 : | CodeGen/hppa/hppaspec.sml | ||
| 290 : | monnier | 251 | CodeGen/main/code-string.sml |
| 291 : | CodeGen/main/machine.sig | ||
| 292 : | CodeGen/main/machine-gen.sig | ||
| 293 : | monnier | 431 | CodeGen/main/machine-gen.sml |
| 294 : | monnier | 111 | CodeGen/main/machspec.sig |
| 295 : | CodeGen/main/machspec.sml | ||
| 296 : | monnier | 251 | CodeGen/main/mlrisc-export.sml |
| 297 : | monnier | 111 | CodeGen/main/mlriscGen.sml |
| 298 : | CodeGen/main/object-desc.sig | ||
| 299 : | CodeGen/main/object-desc.sml | ||
| 300 : | monnier | 431 | CodeGen/main/regalloc.sig |
| 301 : | CodeGen/main/regalloc.sml | ||
| 302 : | monnier | 251 | CodeGen/ppc/ppcCG.sml |
| 303 : | CodeGen/ppc/ppcCpsRegs.sml | ||
| 304 : | CodeGen/ppc/ppcMLTree.sml | ||
| 305 : | CodeGen/ppc/ppcPseudoInstr.sml | ||
| 306 : | CodeGen/ppc/ppcgen.sml | ||
| 307 : | CodeGen/ppc/ppcspec.sml | ||
| 308 : | monnier | 145 | CodeGen/sparc/sparcCG.sml |
| 309 : | CodeGen/sparc/sparcCpsRegs.sml | ||
| 310 : | CodeGen/sparc/sparcMLTree.sml | ||
| 311 : | CodeGen/sparc/sparcPseudoInstrs.sml | ||
| 312 : | CodeGen/sparc/sparcgen.sml | ||
| 313 : | CodeGen/sparc/sparcspec.sml | ||
| 314 : | monnier | 251 | CodeGen/x86/x86CG.sml |
| 315 : | CodeGen/x86/x86CpsRegs.sml | ||
| 316 : | CodeGen/x86/x86MLTree.sml | ||
| 317 : | CodeGen/x86/x86MemRegs.sml | ||
| 318 : | CodeGen/x86/x86Runtime.sml | ||
| 319 : | CodeGen/x86/x86StackSpills.sml | ||
| 320 : | CodeGen/x86/x86gen.sml | ||
| 321 : | CodeGen/x86/x86spec.sml | ||
| 322 : | monnier | 111 | |
| 323 : | MiscUtil/bignums/bigint.sig | ||
| 324 : | MiscUtil/bignums/bigint.sml | ||
| 325 : | MiscUtil/bignums/realconst.sml | ||
| 326 : | monnier | 251 | MiscUtil/bignums/ieeereal.sml |
| 327 : | monnier | 111 | MiscUtil/print/ppabsyn.sml |
| 328 : | MiscUtil/print/ppdec.sml | ||
| 329 : | MiscUtil/print/ppmod.sml | ||
| 330 : | MiscUtil/print/ppobj.sml | ||
| 331 : | MiscUtil/print/pptable.sml | ||
| 332 : | MiscUtil/print/pptype.sml | ||
| 333 : | MiscUtil/print/pputil.sig | ||
| 334 : | MiscUtil/print/pputil.sml | ||
| 335 : | MiscUtil/print/ppval.sml | ||
| 336 : | MiscUtil/print/printutil.sig | ||
| 337 : | MiscUtil/print/printutil.sml | ||
| 338 : | MiscUtil/profile/prof-env.sml | ||
| 339 : | MiscUtil/profile/profile-fn.sml | ||
| 340 : | MiscUtil/profile/profile.sig | ||
| 341 : | MiscUtil/profile/profile.sml | ||
| 342 : | MiscUtil/profile/sprof.sml | ||
| 343 : | MiscUtil/profile/tell-env.sml | ||
| 344 : | MiscUtil/profile/tprof.sml | ||
| 345 : | |||
| 346 : | MiscUtil/util/errormsg.sig | ||
| 347 : | MiscUtil/util/errormsg.sml | ||
| 348 : | MiscUtil/util/feedback.sml | ||
| 349 : | MiscUtil/util/literal-to-num.sml | ||
| 350 : | MiscUtil/util/pathnames.sig | ||
| 351 : | MiscUtil/util/pathnames.sml | ||
| 352 : | MiscUtil/util/source.sig | ||
| 353 : | MiscUtil/util/source.sml | ||
| 354 : | MiscUtil/util/sourcemap.sig | ||
| 355 : | MiscUtil/util/sourcemap.sml | ||
| 356 : | MiscUtil/util/stats.sml | ||
| 357 : | |||
| 358 : | monnier | 422 | comp-lib.cm |
| 359 : | monnier | 111 | |
| 360 : | monnier | 422 | basis.cm |
| 361 : | ml-yacc-lib.cm | ||
| 362 : | smlnj-lib.cm | ||
| 363 : | monnier | 111 | |
| 364 : | monnier | 251 | MLRISC.cm |
| 365 : |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
