diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 18:24:46 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 18:24:46 +0200 |
| commit | 7b29b31648fd737e7bbc007f480b799add91bc6b (patch) | |
| tree | e724c15c959d98ece73c186b82a61100f4e8d06a /general.sml | |
| parent | d7d4830443f1e385af862462f976553c8a9033e1 (diff) | |
Beginning of the preprocessor
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 = |