git.iko.soy/elk
on master help sign in
Fix the type of String literals
d059c36Evan Czaplicki
compiler/Type/Constrain/Literal.hs+1−1
compare with master
unifiedsplit
@@ -15,5 +15,5 @@ constrain env literal tipe =
15 IntNum _ -> fmap (\n -> tipe === VarN n) number
15 IntNum _ -> fmap (\n -> tipe === VarN n) number
16 FloatNum _ -> return $ tipe === prim "Float"
16 FloatNum _ -> return $ tipe === prim "Float"
17 Chr _ -> return $ tipe === prim "Char"
17 Chr _ -> return $ tipe === prim "Char"
18− Str _ -> return $ tipe === TermN (App1 (prim "[]") (prim "Char"))
18+ Str _ -> return $ tipe === TermN (App1 (prim "_List") (prim "Char"))
19 Boolean _ -> return $ tipe === prim "Bool"
19 Boolean _ -> return $ tipe === prim "Bool"