This words make the errors more readable

1 files changed, 3 insertions, 3 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