Lines Matching refs:exception
24 exception Bind
25 exception Chr
26 exception Div
27 exception Domain
28 exception Fail of string
29 exception Match
30 exception Overflow
31 exception Size
32 exception Span
33 exception Subscript
51 exception Bind = RunCall.Bind
58 exception Domain and Span and Chr
61 the exception name and the third is the exception argument. *)
64 (* Since exception packets carry a printer function this is just PolyML.makestring. *)
76 exception Bind = Bind and Div = Div and Match = Match and Chr = Chr
77 exception Overflow = Overflow and Domain= Domain and Fail = Fail
78 exception Span = Span and Subscript = Subscript and Size = Size