Diff of /sml/trunk/src/cm/depend/build.sml

Parent Directory | Revision Log | Patch

	revision 307, Tue Jun 1 09:38:28 1999 UTC	revision 308, Wed Jun 2 01:26:19 1999 UTC
#	Line 40	Line 40
40	| look otherwise (DE.BINDING (s', v)) s =	| look otherwise (DE.BINDING (s', v)) s =
41	if S.eq (s, s') then v else otherwise s	if S.eq (s, s') then v else otherwise s
42	| look otherwise (DE.LAYER (e, e')) s = look (look otherwise e') e s	| look otherwise (DE.LAYER (e, e')) s = look (look otherwise e') e s
43	| look otherwise (DE.FCTENV { looker, domain }) s =	| look otherwise (DE.FCTENV looker) s =
44	(case looker s of NONE => otherwise s | SOME v => v)	(case looker s of NONE => otherwise s | SOME v => v)
45	| look otherwise (DE.FILTER (ss, e)) s =	| look otherwise (DE.FILTER (ss, e)) s =
46	if SymbolSet.member (ss, s) then look otherwise e s else otherwise s	if SymbolSet.member (ss, s) then look otherwise e s else otherwise s

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.307   changed lines   Added in v.308

---

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