diff options
author | Juan J. Martinez <jjm@usebox.net> | 2022-08-18 07:28:56 +0100 |
---|---|---|
committer | Juan J. Martinez <jjm@usebox.net> | 2022-08-18 07:28:56 +0100 |
commit | bdb014f3a088da82845642b9688c662bc7afa29f (patch) | |
tree | 85961c62015a1023e29d0cda3750232aa72bf530 | |
parent | 7dbd39e6e5d77b332f7b0b534eddddbd116e00b6 (diff) | |
download | micro-lang-hs-bdb014f3a088da82845642b9688c662bc7afa29f.tar.gz micro-lang-hs-bdb014f3a088da82845642b9688c662bc7afa29f.zip |
This words make the errors more readable
-rw-r--r-- | src/Compiler.hs | 6 | ||||
-rw-r--r-- | src/Error.hs | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/Compiler.hs b/src/Compiler.hs index c2dff73..06df1ae 100644 --- a/src/Compiler.hs +++ b/src/Compiler.hs @@ -54,7 +54,7 @@ typecheckCall args params else if all (\(a, b) -> a == b) $ zip t params -- compare types then return $ Nothing -- all good! - else return $ Just ("type mismatch in function call\n unexpected " ++ A.showList t ++ "\n expecting " ++ A.showList params) + else return $ Just ("type mismatch in function call\n found: " ++ A.showList t ++ "\n expected: " ++ A.showList params) Nothing -> -- there was an error in on argument return $ Nothing @@ -67,14 +67,14 @@ showMaybet (Just t) = show t -- returning a string decribing an error or Nothing in case of a type match. typecheckReturn :: Maybe A.Expr -> Maybe A.Type -> State CompState (Maybe String) typecheckReturn Nothing Nothing = return $ Nothing -typecheckReturn Nothing fret = return $ Just $ "invalid return value\n unexpected ()\n expecting " ++ showMaybet fret +typecheckReturn Nothing fret = return $ Just $ "invalid return value\n found: ()\n expected: " ++ showMaybet fret typecheckReturn (Just value) fret = do r <- compile value case r of Right r -> if r == fret then return $ Nothing - else return $ Just $ "invalid return value\n unexpected " ++ showMaybet r ++ "\n expecting " ++ showMaybet fret + else return $ Just $ "invalid return value\n found: " ++ showMaybet r ++ "\n expected: " ++ showMaybet fret Left _ -> return $ Nothing -- error resolving return value compile :: A.Expr -> State CompState CompResult diff --git a/src/Error.hs b/src/Error.hs index 14b4875..93c5bd4 100644 --- a/src/Error.hs +++ b/src/Error.hs @@ -23,7 +23,7 @@ instance Show Error where showParserError :: ParseError -> String showParserError error = show (errorPos error) ++ " error: syntax error" - ++ showErrorMessages "or" "unknown parser error" " expecting" " unexpected" "end of input" (errorMessages error) + ++ showErrorMessages "or" "unknown parser error" " expected:" " found:" "end of input" (errorMessages error) instance Ord Error where compare (Error _ _ pos1) (Error _ _ pos2) = compare pos1 pos2 |