Diff of /sml/trunk/src/cm/parse/parse.sml

Parent Directory | Revision Log | Patch

	revision 310, Wed Jun 2 07:28:27 1999 UTC	revision 311, Wed Jun 2 09:08:48 1999 UTC
#	Line 28	Line 28
28
29	fun parse param stabflag group = let	fun parse param stabflag group = let
30
31	val (stabthis, staball) =	val stabthis = isSome stabflag
32	case stabflag of	val staball = stabflag = SOME true
	NONE => (false, false)
	| SOME false => (true, false)
	| SOME true => (true, true)
33
34	val groupreg = GroupReg.new ()	val groupreg = GroupReg.new ()
35	val errcons = EM.defaultConsumer ()	val errcons = EM.defaultConsumer ()
#	Line 93	Line 90
90	(case loadStable gpath of	(case loadStable gpath of
91	NONE => NONE	NONE => NONE
92	| x as SOME _ =>	| x as SOME _ =>
93	(gc := AbsPathMap.insert (!gc, gpath, x); x))	(gc := AbsPathMap.insert (!gc, gpath, x);
94		x))
95	end	end
96
97	fun stabilize g =	fun stabilize g =
98	Stabilize.stabilize ginfo { group = g, gpath = group,	Stabilize.stabilize ginfo { group = g, anyerrors = pErrFlag }
	anyerrors = pErrFlag }
99
100	(* normal processing -- used when there is no cycle to report *)	(* normal processing -- used when there is no cycle to report *)
101	fun normal_processing () = let	fun normal_processing () = let

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.310   changed lines   Added in v.311

---

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