From 3e2ba20ccee0130afb9d84eb7d890b4bf67c77fe Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Sun, 14 Aug 2022 15:54:54 +0100
Subject: Provide information about types

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

(limited to 'src/Compiler.hs')

diff --git a/src/Compiler.hs b/src/Compiler.hs
index 0adc4ad..3d3f0ac 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" -- TODO: type description
+                else return $ Just ("type mismatch in function call:\n  unexpected " ++ A.showList t ++ "\n   expecting " ++ A.showList params)
         Nothing ->
           -- there was an error in on argument
           return $ Nothing
-- 
cgit v1.2.3