miconi/lucretia — comment on commit 132bb82b00d2839427e9fdf443fe8eefaa01580a
File: interpreter/Lucretia/TypeChecker/Test.hs line 93
By mbenke:

Raczej (TFunc (Map.fromList []) [TBool, TInt] (TVar "X1") (Map.fromList [("X1", oneFieldTRec "a" TInt)]))
(typem wyniku powinno byc X1, nie bool)