Diff of /sml/trunk/src/cm/compile/exec.sml

Parent Directory | Revision Log | Patch

	revision 313, Thu Jun 3 09:26:34 1999 UTC	revision 314, Fri Jun 4 06:41:45 1999 UTC
#	Line 20	Line 20
20	type env = (unit -> E.dynenv) * bool	type env = (unit -> E.dynenv) * bool
21	type benv = env	type benv = env
22	type envdelta = env	type envdelta = env
23		type result = E.dynenv
24
25	fun layer ((d, n), (d', n')) = (fn () => DE.atop (d (), d'()), n orelse n')	fun layer ((d, n), (d', n')) = (fn () => DE.atop (d (), d'()), n orelse n')
26
#	Line 30	Line 31
31	val bfilter = filter	val bfilter = filter
32	val bnofilter = nofilter	val bnofilter = nofilter
33
34		val empty = DE.empty
35		fun env2result ((mkEnv, flag): env) = mkEnv ()
36		fun rlayer (r, r') = DE.atop (r, r')
37
38	fun primitive (gp: GeneralParams.info) p =	fun primitive (gp: GeneralParams.info) p =
39	(fn () => E.dynamicPart (Primitive.env (#primconf (#param gp)) p),	(fn () => E.dynamicPart (Primitive.env (#primconf (#param gp)) p),
40	false)	false)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.313   changed lines   Added in v.314

---

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