lude

commit 0aad9d75b324c33de051a28bf42631e374d7a214
parent 50bd5370c4f80bfddce38197a7d443108c416ca9
Author: Robert Russell <robert@rr3.xyz>
Date:   Fri,  9 Oct 2026 15:21:10 -0700

Error: reexport assert

Diffstat:
M
src/Lude/Error.hs
 | 
4
+++-

1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/Lude/Error.hs b/src/Lude/Error.hs
@@ -1,6 +1,7 @@
 module Lude.Error (
-    undefined,
+    assert,
     error,
+    undefined,
     --
     ErrorMessage,
     ErrText,
@@ -10,6 +11,7 @@ module Lude.Error (
     TypeError,
 ) where
 
+import Control.Exception (assert)
 import Prelude (error, undefined)
 
 import GHC.TypeError qualified as GHC