Annotation of /sml/trunk/src/cm/main/general-params.sml

Parent Directory | Revision Log

---

Revision 297 - (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 :			type params = { primconf : Primitive.configuration,
13 :			fnpolicy: FilenamePolicy.policy,
14 :			groupreg: GroupReg.groupreg,
15 :			keep_going: bool }
16 :			end

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0