equal
deleted
inserted
replaced
54 |
54 |
55 |
55 |
56 (*For errors involving type mismatches*) |
56 (*For errors involving type mismatches*) |
57 exception TYPE of string * typ list * term list; |
57 exception TYPE of string * typ list * term list; |
58 |
58 |
59 fun raise_type msg tys ts = raise TYPE (msg, tys, ts); |
|
60 |
|
61 (*For system errors involving terms*) |
59 (*For system errors involving terms*) |
62 exception TERM of string * term list; |
60 exception TERM of string * term list; |
63 |
|
64 fun raise_term msg ts = raise TERM (msg, ts); |
|
65 |
61 |
66 |
62 |
67 (*Note variable naming conventions! |
63 (*Note variable naming conventions! |
68 a,b,c: string |
64 a,b,c: string |
69 f,g,h: functions (including terms of function type) |
65 f,g,h: functions (including terms of function type) |