Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/system/Basis/Implementation/NJ/internal-signals.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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 *)
   

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