From d059c362d9634b048b678f83529da3d23e385080 Mon Sep 17 00:00:00 2001 From: Evan Czaplicki Date: Thu, 25 Jul 2013 16:02:49 +0200 Subject: [PATCH] Fix the type of String literals --- compiler/Type/Constrain/Literal.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/Type/Constrain/Literal.hs b/compiler/Type/Constrain/Literal.hs index 2d04323..4d171f1 100644 --- a/compiler/Type/Constrain/Literal.hs +++ b/compiler/Type/Constrain/Literal.hs @@ -15,5 +15,5 @@ constrain env literal tipe = IntNum _ -> fmap (\n -> tipe === VarN n) number FloatNum _ -> return $ tipe === prim "Float" Chr _ -> return $ tipe === prim "Char" - Str _ -> return $ tipe === TermN (App1 (prim "[]") (prim "Char")) + Str _ -> return $ tipe === TermN (App1 (prim "_List") (prim "Char")) Boolean _ -> return $ tipe === prim "Bool"