SCM Repository
Annotation of /sml/trunk/src/cm/compile/compile-type.sig
Parent Directory
| 
Revision Log
Revision 298 - (view) (download) (as text)
| 1 : | blume | 295 | (* |
| 2 : | * Argument signature for the "generic" compilation traversal functor. | ||
| 3 : | * | ||
| 4 : | * (C) 1999 Lucent Technologies, Bell Laboratories | ||
| 5 : | * | ||
| 6 : | * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) | ||
| 7 : | *) | ||
| 8 : | blume | 294 | signature COMPILATION_TYPE = sig |
| 9 : | |||
| 10 : | type env | ||
| 11 : | blume | 295 | type benv |
| 12 : | blume | 294 | type envdelta |
| 13 : | |||
| 14 : | val layer : env * env -> env | ||
| 15 : | blume | 295 | val blayer : benv * benv -> benv |
| 16 : | |||
| 17 : | blume | 294 | val filter : envdelta * SymbolSet.set -> env |
| 18 : | blume | 295 | val bfilter : envdelta * SymbolSet.set -> benv |
| 19 : | |||
| 20 : | blume | 294 | val nofilter : envdelta -> env |
| 21 : | blume | 295 | val bnofilter : envdelta -> benv |
| 22 : | blume | 294 | |
| 23 : | val primitive : Primitive.configuration -> Primitive.primitive -> envdelta | ||
| 24 : | |||
| 25 : | blume | 298 | val dostable: |
| 26 : | blume | 297 | BinInfo.info * (unit -> benv option) * GeneralParams.params |
| 27 : | -> envdelta option | ||
| 28 : | blume | 294 | |
| 29 : | blume | 297 | val dosml : |
| 30 : | SmlInfo.info * env * GeneralParams.params | ||
| 31 : | -> envdelta option | ||
| 32 : | blume | 294 | end |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
