Begin unwinding error messages in TopLevel.
Chris Pressey
5 years ago
36 | 36 | collect ((List [Symbol "assert", expr]):rest) world@World{ env=env, results=results } = |
37 | 37 | case eval env expr id of |
38 | 38 | Abort expr -> |
39 | world{ results=((Left (Abort (Symbol ("uncaught exception: " ++ show expr)))):results) } | |
39 | world{ results=((Left (Abort expr)):results) } | |
40 | 40 | Boolean False -> |
41 | 41 | world{ results=((Left (Abort (Symbol ("assertion failed: " ++ show expr)))):results) } |
42 | 42 | _ -> |