SCM Repository
Annotation of /sml/trunk/src/cm/main/general-params.sml
Parent Directory
| 
Revision Log
Revision 299 - (view) (download)
| 1 : | blume | 297 | (* |
| 2 : | * "General" parameters that may differ from invocation to invocation of | ||
| 3 : | * CM. The "params" type bundles them up so they can be passed around | ||
| 4 : | * more conveniently. | ||
| 5 : | * | ||
| 6 : | * (C) 1999 Lucent Technologies, Bell Laboratories | ||
| 7 : | * | ||
| 8 : | * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) | ||
| 9 : | *) | ||
| 10 : | structure GeneralParams = struct | ||
| 11 : | |||
| 12 : | blume | 299 | type param = { primconf : Primitive.configuration, |
| 13 : | fnpolicy: FilenamePolicy.policy, | ||
| 14 : | groupreg: GroupReg.groupreg, | ||
| 15 : | keep_going: bool, | ||
| 16 : | pervasive: GenericVC.Environment.environment, | ||
| 17 : | corenv: GenericVC.BareEnvironment.staticEnv } | ||
| 18 : | |||
| 19 : | type info = { param: param, groupreg: GroupReg.groupreg } | ||
| 20 : | blume | 297 | end |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
