SCM Repository
Diff of /sml/trunk/src/cm/compile/compile-type.sig
Parent Directory
| 
Revision Log
| 
Patch
| revision 297, Thu May 27 08:29:19 1999 UTC | revision 298, Thu May 27 09:42:28 1999 UTC | |
|---|---|---|
| # | Line 11 | Line 11 |
| 11 | type benv | type benv |
| 12 | type envdelta | type envdelta |
| 13 | ||
| datatype lookstable_result = | ||
| FOUND of envdelta | ||
| | NOTFOUND of benv option | ||
| 14 | val layer : env * env -> env | val layer : env * env -> env |
| 15 | val blayer : benv * benv -> benv | val blayer : benv * benv -> benv |
| 16 | ||
| # | Line 26 | Line 22 |
| 22 | ||
| 23 | val primitive : Primitive.configuration -> Primitive.primitive -> envdelta | val primitive : Primitive.configuration -> Primitive.primitive -> envdelta |
| 24 | ||
| val lookstable : | ||
| BinInfo.info * (unit -> benv option) * GeneralParams.params | ||
| -> lookstable_result | ||
| 25 | val dostable: | val dostable: |
| 26 | BinInfo.info * benv * GeneralParams.params | BinInfo.info * (unit -> benv option) * GeneralParams.params |
| 27 | -> envdelta option | -> envdelta option |
| 28 | ||
| val looksml : | ||
| SmlInfo.info * env * GeneralParams.params | ||
| -> envdelta option | ||
| 29 | val dosml : | val dosml : |
| 30 | SmlInfo.info * env * GeneralParams.params | SmlInfo.info * env * GeneralParams.params |
| 31 | -> envdelta option | -> envdelta option |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
