added line position for failed asserts and implemented mutable globals import/export proposal

This commit is contained in:
Ilya Rezvov
2021-03-09 22:45:16 -08:00
parent ea7769aa9f
commit 2451dc2ddc
+1 -1
View File
@@ -219,7 +219,7 @@ runScript onAssertFail script = do
if failureString `elem` getFailureString reason
then return ()
else
let msg = "Module is invalid for other reason. Expected "
let msg = pos ++ ": Module is invalid for other reason. Expected "
++ show failureString
++ ", but actual is "
++ show (getFailureString reason)