Fix the type of String literals
This commit is contained in:
parent
abb6dc19f6
commit
d059c362d9
1 changed files with 1 additions and 1 deletions
|
@ -15,5 +15,5 @@ constrain env literal tipe =
|
||||||
IntNum _ -> fmap (\n -> tipe === VarN n) number
|
IntNum _ -> fmap (\n -> tipe === VarN n) number
|
||||||
FloatNum _ -> return $ tipe === prim "Float"
|
FloatNum _ -> return $ tipe === prim "Float"
|
||||||
Chr _ -> return $ tipe === prim "Char"
|
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"
|
Boolean _ -> return $ tipe === prim "Bool"
|
||||||
|
|
Loading…
Reference in a new issue