diff options
Diffstat (limited to 'general.sml')
| -rw-r--r-- | general.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/general.sml b/general.sml index 1434d5b..0cf2ebd 100644 --- a/general.sml +++ b/general.sml @@ -5,6 +5,10 @@ infixr 0 $ fun printLn s = (print s; print "\n") +(* All global values which computations may raise an exception must be + * wrapped in lazy, so that no exception is thrown before custom + * top-level handler is set. + *) fun lazy thunk = let datatype 'a value = |