equal
deleted
inserted
replaced
92 exception TOO_SMALL of string * string |
92 exception TOO_SMALL of string * string |
93 exception TOO_LARGE of string * string |
93 exception TOO_LARGE of string * string |
94 exception NOT_SUPPORTED of string |
94 exception NOT_SUPPORTED of string |
95 exception SAME of unit |
95 exception SAME of unit |
96 |
96 |
97 val nitpick_prefix = "Nitpick." |
97 val nitpick_prefix = "Nitpick" ^ Long_Name.separator |
98 |
98 |
99 fun curry3 f = fn x => fn y => fn z => f (x, y, z) |
99 fun curry3 f = fn x => fn y => fn z => f (x, y, z) |
100 |
100 |
101 fun pairf f g x = (f x, g x) |
101 fun pairf f g x = (f x, g x) |
102 |
102 |