From 7b29b31648fd737e7bbc007f480b799add91bc6b Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Fri, 4 Apr 2025 18:24:46 +0200
Subject: Beginning of the preprocessor

---
 general.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'general.sml')

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 =
-- 
cgit v1.2.3