From 6a1b784cf17d20c9b0c1e712c4cfc7faae6557d4 Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Sun, 4 Sep 2022 14:12:07 +0100
Subject: Ccmment clarifying the case

---
 src/Compiler.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Compiler.hs')

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!
-- 
cgit v1.2.3