diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-09-04 14:12:07 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-04 14:12:07 +0100 |
| commit | 6a1b784cf17d20c9b0c1e712c4cfc7faae6557d4 (patch) | |
| tree | 602c52cb67aead57490aa11cfa25e90ce1c280e7 /src | |
| parent | 8e678a017e970e3cca2bbef606b9f8eaa3732353 (diff) | |
| download | micro-lang-hs-6a1b784cf17d20c9b0c1e712c4cfc7faae6557d4.tar.gz micro-lang-hs-6a1b784cf17d20c9b0c1e712c4cfc7faae6557d4.zip | |
Ccmment clarifying the case
Diffstat (limited to 'src')
| -rw-r--r-- | src/Compiler.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Compiler.hs b/src/Compiler.hs index 3b41e79..8075515 100644 --- a/src/Compiler.hs +++ b/src/Compiler.hs @@ -49,6 +49,7 @@ typecheckCall args params targs <- fmap rights $ traverse compile args case sequence targs of Just t + -- after resolition, we could have less "rights" | length t /= length params -> return $ Nothing | all (\(a, b) -> a == b) $ zip t params -> -- compare types return $ Nothing -- all good! |