Annotation of /sml/trunk/src/compiler/TopLevel/viscomp/generic-vc.sig

Parent Directory | Revision Log

---

Revision 165 - (view) (download) (as text)

1 :	monnier	165	(*
2 :			* Copyright 1998 by Bell Laboratories
3 :			* generic-vc.sig -- machine independent part of viscomp
4 :			*
5 :			* by Matthias Blume (10/1998)
6 :			*)
7 :
8 :			signature PRINTHOOKS = sig
9 :			(* all output goes to Control.Print.out *)
10 :			val prAbsyn : StaticEnv.staticEnv -> Absyn.dec -> unit
11 :			end
12 :
13 :			signature GENERIC_VC = sig
14 :			structure Stats : STATS
15 :			structure Control : CONTROL
16 :			structure Source : SOURCE
17 :			structure SourceMap : SOURCE_MAP
18 :			structure ErrorMsg : ERRORMSG
19 :			structure Symbol : SYMBOL
20 :			structure StaticEnv : STATICENV
21 :			structure DynamicEnv : DYNENV
22 :			structure BareEnvironment : ENVIRONMENT
23 :			structure Environment : ENVIRONMENT = CMEnv.Env
24 :			structure CoerceEnv : COERCE_ENV
25 :			structure EnvRef : ENVREF
26 :			structure ModuleId : MODULE_ID
27 :			structure CMStaticEnv : CMSTATICENV
28 :			structure PersStamps : PERSSTAMPS
29 :			structure PrettyPrint : PRETTYPRINT
30 :			structure PPTable : sig
31 :			val install_pp : string list ->
32 :			(PrettyPrint.ppstream -> 'a -> unit) -> unit
33 :			end
34 :			structure MakePid : sig
35 :			val makePid : CMStaticEnv.staticEnv * CMStaticEnv.staticEnv
36 :			-> PersStamps.persstamp
37 :			end
38 :			structure Ast : AST
39 :
40 :			structure PrintHooks : PRINTHOOKS
41 :
42 :			val version : {
43 :			system : string, (* the system title *)
44 :			version_id : int list, (* the version number *)
45 :			date : string (* date of creation *)
46 :			}
47 :			val banner : string
48 :			end
49 :
50 :
51 :			(*
52 :			* $Log$
53 :			*)

---

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