diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-17 22:06:30 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-17 22:06:30 +0200 |
commit | b03980fcbff57e6ac8c5d8e16e032ba050471ce5 (patch) | |
tree | 375760dcbeed0fd48f8b1163f72ba715f33f0411 /src/LambdaCube/Compiler.hs | |
parent | 761dbf9a6dea9db82657265928bc02b8f48470b3 (diff) |
better error message for mismatching operator fixities
Diffstat (limited to 'src/LambdaCube/Compiler.hs')
-rw-r--r-- | src/LambdaCube/Compiler.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler.hs b/src/LambdaCube/Compiler.hs index 250fa94d..8530e20a 100644 --- a/src/LambdaCube/Compiler.hs +++ b/src/LambdaCube/Compiler.hs | |||
@@ -198,7 +198,7 @@ loadModule ex imp mname_ = do | |||
198 | let (res, err) = case sequence ms of | 198 | let (res, err) = case sequence ms of |
199 | Left err -> (ex mempty, Left err) | 199 | Left err -> (ex mempty, Left err) |
200 | Right ms@(mconcat -> (ds, ge)) -> case runExcept $ runDefParser ds $ definitions e of | 200 | Right ms@(mconcat -> (ds, ge)) -> case runExcept $ runDefParser ds $ definitions e of |
201 | Left err -> (ex mempty, Left err) | 201 | Left err -> (ex mempty, Left $ show err) |
202 | Right (defs, dsinfo) -> (,) (ex (is, defs)) $ case res of | 202 | Right (defs, dsinfo) -> (,) (ex (is, defs)) $ case res of |
203 | Left err -> Left (show err) | 203 | Left err -> Left (show err) |
204 | Right (mconcat -> newge) -> | 204 | Right (mconcat -> newge) -> |