diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-09-04 14:12:52 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-04 14:12:52 +0100 |
| commit | a594f6f4a886c79c28c40be44caac713fc41a2e5 (patch) | |
| tree | 86c239b92ef2a92d4b7a89e0eff00da14db0605f | |
| parent | 6a1b784cf17d20c9b0c1e712c4cfc7faae6557d4 (diff) | |
| download | micro-lang-hs-a594f6f4a886c79c28c40be44caac713fc41a2e5.tar.gz micro-lang-hs-a594f6f4a886c79c28c40be44caac713fc41a2e5.zip | |
Typo, formatting of comment
| -rw-r--r-- | src/Compiler.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Compiler.hs b/src/Compiler.hs index 8075515..38b5227 100644 --- a/src/Compiler.hs +++ b/src/Compiler.hs @@ -49,9 +49,10 @@ typecheckCall args params targs <- fmap rights $ traverse compile args case sequence targs of Just t - -- after resolition, we could have less "rights" + -- after resolution, we could have less "rights" | length t /= length params -> return $ Nothing - | all (\(a, b) -> a == b) $ zip t params -> -- compare types + -- compare types + | all (\(a, b) -> a == b) $ zip t params -> return $ Nothing -- all good! | otherwise -> return $ Just ("type mismatch in function call\n found: " ++ A.showList t ++ "\n expected: " ++ A.showList params) Nothing -> |