home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / compiler / Smlexc.sml < prev    next >
Encoding:
Text File  |  1996-07-03  |  1.4 KB  |  41 lines  |  [TEXT/R*ch]
  1. (* Predefined SML exceptions *)
  2.  
  3. local
  4.   open Obj Const;
  5. in
  6.  
  7. (* SML exceptions *)
  8.  
  9. val predefExceptions = [
  10.   ("Bind",     (({qual="general", id="Bind"},      2), 0)),
  11.   ("Chr",      (({qual="general", id="Chr"},       3), 0)),
  12.   ("Div",      (({qual="general", id="Div"},       4), 0)),
  13.   ("Ln",       (({qual="general", id="Ln"},        5), 0)),
  14.   ("Match",    (({qual="general", id="Match"},     6), 0)),
  15.   ("Ord",      (({qual="general", id="Ord"},       7), 0)),
  16.   ("Sqrt",     (({qual="general", id="Sqrt"},      8), 0)),
  17.   ("Overflow", (({qual="general", id="Overflow"},  9), 0)),
  18.   ("Trig",     (({qual="general", id="Trig"},     10), 0)),
  19.   ("Out_of_memory",
  20.             (({qual="exc",     id="Out_of_memory"}, 1), 0)),
  21.   ("Invalid_argument",
  22.             (({qual="exc",     id="Invalid_argument"}, 2), 1)),
  23.   ("Fail",  (({qual="exc",     id="Failure"},     3), 1)),
  24.   ("Subscript",
  25.             (({qual="exc",     id="Not_found"},   4), 0)),
  26.   ("Size",  (({qual="io",      id="End_of_file"}, 1), 0)),
  27.   ("Io",    (({qual="sys",     id="Sys_error"},   1), 1)),
  28.   ("Interrupt",
  29.             (({qual="sys",    id="Break"},     2), 0)),
  30.   ("Graphic_failure",
  31.             (({qual="graphics", id="Graphic_failure"}, 1), 1))
  32. ];
  33.  
  34.  
  35. val exnTag = obj_tag(repr (let exception DUMMY in DUMMY end));
  36. val exnTagName   = ({qual="General", id="(Exception)"}, 0);
  37. val bindTagName  = ({qual="General", id="Bind"}, 0);
  38. val matchTagName = ({qual="General", id="Match"}, 0);
  39.  
  40. end;
  41.