Fix the type of String literals
commitd059c362d9634b048b678f83529da3d23e385080
authorEvan Czaplicki <info@elm-lang.org>
dateThu 25 Jul 2013, 16:02 (13 years ago)
parentabb6dc1
compiler/Type/Constrain/Literal.hs+1−1
@@ -15,5 +15,5 @@ constrain env literal tipe =
1515 IntNum _ -> fmap (\n -> tipe === VarN n) number
1616 FloatNum _ -> return $ tipe === prim "Float"
1717 Chr _ -> return $ tipe === prim "Char"
18− Str _ -> return $ tipe === TermN (App1 (prim "[]") (prim "Char"))
18+ Str _ -> return $ tipe === TermN (App1 (prim "_List") (prim "Char"))
1919 Boolean _ -> return $ tipe === prim "Bool"