![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to system.sig CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / src / boot|
Return to system.sig CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / boot |
1.1 root 1: (* Copyright 1989 by AT&T Bell Laboratories *)
2: signature RUNTIMECONTROL =
3: sig
4: val collected : int ref
5: val collectedfrom : int ref
6: val gcmessages : int ref
7: val majorcollections : int ref
8: val minorcollections : int ref
9: val ratio : int ref
10: val softmax : int ref
11: end
12:
13: signature MCCONTROL =
14: sig
15: val printArgs : bool ref
16: val printRet : bool ref
17: val bindContainsVar : bool ref
18: val bindExhaustive : bool ref
19: val matchExhaustive : bool ref
20: val matchRedundant : bool ref
21: val expandResult : bool ref
22: end
23:
24: signature CGCONTROL =
25: sig
26: structure M68 : sig val trapv : bool ref end
27: val tailrecur : bool ref
28: val recordopt : bool ref
29: val tail : bool ref
30: val profile : bool ref
31: val closureprint : bool ref
32: val closureStrategy : int ref
33: val rounds : int ref
34: val path : bool ref
35: val hoist : bool ref
36: val reduce : bool ref
37: val bodysize : int ref
38: val reducemore : int ref
39: val alphac : bool ref
40: val comment : bool ref
41: val knowngen : int ref
42: val stdgen : int ref
43: val knowncl : int ref
44: val foldconst : bool ref
45: val etasplit : bool ref
46: val printit : bool ref
47: val printsize : bool ref
48: val scheduling : bool ref
49: end
50:
51: signature PRINTCONTROL =
52: sig
53: val printDepth : int ref
54: val stringDepth : int ref
55: val signatures : bool ref
56: end
57:
58: signature DEBUG =
59: sig
60: val debugging : bool ref
61: val getDebugf : (int -> 'a) ref
62: val interface : (int -> ('a -> 'b)) ref
63: end
64:
65: signature PROFILE =
66: sig
67: structure IO : sig type outstream end
68: val profiling : bool ref (* controls profiling mode of compilation *)
69: val profileOn : unit -> unit (* turn interrupt timer on *)
70: val profileOff : unit -> unit (* turn interrupt timer off *)
71: val clear : unit -> unit (* clear profiling database *)
72: val reset : unit -> unit (* reset profiling counts to zero *)
73: val report : IO.outstream -> unit (* print profiling report to stream *)
74: end
75:
76: signature PROFILEINTERNALS =
77: sig
78: val add : 'a -> unit
79: val setToplevel : unit -> unit
80: val setOther : unit -> unit
81: structure P : PROFILE
82: end
83:
84: signature CONTROL =
85: sig
86: structure Runtime : RUNTIMECONTROL
87: structure MC : MCCONTROL
88: structure CG : CGCONTROL
89: structure Print : PRINTCONTROL
90: structure ProfileInternals : PROFILEINTERNALS
91: structure Profile : PROFILE
92: structure Debug : DEBUG
93: val prLambda : (unit -> unit) ref
94: val debugging : bool ref
95: val primaryPrompt : string ref
96: val secondaryPrompt : string ref
97: val internals : bool ref
98: val weakUnderscore : bool ref
99: val interp : bool ref
100: val debugLook : bool ref
101: val debugCollect : bool ref
102: val debugBind : bool ref
103: val saveLambda : bool ref
104: val saveLvarNames : bool ref
105: val timings : bool ref
106: val reopen : bool ref
107: end
108:
109: signature TIMER =
110: sig
111: datatype time = TIME of {sec : int, usec : int}
112: type timer
113: val start_timer : unit -> timer
114: val check_timer : timer -> time
115: val check_timer_gc: timer -> time
116: val makestring : time -> string
117: val add_time : time * time -> time
118: end
119:
120: signature TAGS =
121: sig
122: val width_tags : int
123: val power_tags : int
124: val tag_record : int
125: val tag_array : int
126: val tag_bytearray : int
127: val tag_string : int
128: val tag_embedded : int
129: val tag_suspension : int
130: val tag_backptr : int
131: val tag_forwarded : int
132: end
133:
134: signature STATS =
135: sig
136: structure Timer : TIMER
137: val lines : int ref
138: val parse : Timer.time ref
139: val translate : Timer.time ref
140: val codeopt : Timer.time ref
141: val convert : Timer.time ref
142: val hoist : Timer.time ref
143: val cpsopt : Timer.time ref
144: val closure : Timer.time ref
145: val globalfix : Timer.time ref
146: val spill : Timer.time ref
147: val codegen : Timer.time ref
148: val freemap : Timer.time ref
149: val execution : Timer.time ref
150: val update : Timer.time ref * Timer.time -> unit
151: val summary : unit -> unit
152: end
153:
154: signature UNSAFE =
155: sig
156: type object
157: structure Assembly : ASSEMBLY
158: val boxed : 'a -> bool
159: val ordof : 'a * int -> int
160: val slength : 'a -> int
161: val store : 'a * int * int -> unit
162: val subscript : 'a array * int -> 'a
163: val update : 'a array * int * 'a -> unit
164: val delay : int * 'a -> 'a
165: val force : 'a -> 'a
166: val boot : string -> ('a -> 'b)
167: val cast : 'a -> 'b
168: val syscall : int * string list * int -> int
169: val blast_write : 'outstream * 'a -> unit
170: val blast_read : 'instream -> 'a
171: val create_s : int -> string
172: val store_s : string * int * int -> unit
173: val lookup_r : (int -> object) ref
174: val lookup : int -> object
175: val isolate : (unit->'a) -> 'a
176: val pstruct : {core: object, initial: object, math: object} ref
177: exception Boxity
178: val tuple : object -> object array
179: val string : object -> string
180: val real : object -> real
181: val int : object -> int
182: datatype datalist = DATANIL | DATACONS of (string * string * datalist)
183: val datalist : datalist
184: end
185:
186: signature SYSTEM =
187: sig
188: structure ByteArray : BYTEARRAY
189: structure Control : CONTROL
190: structure Tags : TAGS
191: structure Timer : TIMER
192: structure Stats : STATS
193: structure Unsafe : UNSAFE
194: val exn_name : exn -> string
195: val version : string
196: val interactive : bool ref
197: val cleanup : unit -> unit (* closes all files *)
198: val system : string -> unit
199: val cd : string -> unit
200: val argv : unit -> string list
201: val environ : unit -> string list
202: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.