diff options
Diffstat (limited to 'general.sml')
| -rw-r--r-- | general.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/general.sml b/general.sml index cde0514..1434d5b 100644 --- a/general.sml +++ b/general.sml @@ -1,3 +1,5 @@ +exception Unreachable + fun $ (x, y) = x y infixr 0 $ |