Diff of /sml/trunk/src/system/Basis/Implementation/NJ/internal-signals.sml

Parent Directory | Revision Log | Patch

	revision 588, Fri Mar 31 09:00:02 2000 UTC	revision 589, Fri Mar 31 16:14:36 2000 UTC
#	Line 285	Line 285
285	(*DEBUG	(*DEBUG
286	| _ => raise Fail "inconsistent internal signal state"	| _ => raise Fail "inconsistent internal signal state"
287	DEBUG*)	DEBUG*)
288	| info => let	| info => let val act = (case info
289	val act = (case info of	of NONE => "NONE"
	NONE => "NONE"
290	| SOME {act=IGNORE, ...} => "IGNORE"	| SOME {act=IGNORE, ...} => "IGNORE"
291	| SOME {act=DEFAULT, ...} => "DEFAULT"	| SOME {act=DEFAULT, ...} => "DEFAULT"
292	| SOME _ => "HANDLER")	(* end case *))
293		val msg = concat["inconsistent state ", act, " for signal ", Int.toString code]
	val msg = concat ["inconsistent state ", act,
	" for signal ", Int.toString code]
294	in raise Fail msg end	in raise Fail msg end
295	(* end case *))	(* end case *))
296
#	Line 309	Line 306
306	val sigTERM = Option.valOf(fromString "TERM")	val sigTERM = Option.valOf(fromString "TERM")
307	val sigGC   = Option.valOf(fromString "GC")	val sigGC   = Option.valOf(fromString "GC")
308
309	end; (* Signals *)	end (* Signals *)
310	end	end (* local *)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.588   changed lines   Added in v.589

---

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