@@ -29,9 +29,6 @@ constrain region literal tipe =
29 Lit.Str _ ->
29 Lit.Str _ ->
30 return $ T.CEqual stringError region T.string tipe
30 return $ T.CEqual stringError region T.string tipe
33− return $ T.CEqual boolError region T.bool tipe
37-- LITERAL ERRORS
34-- LITERAL ERRORS
@@ -59,9 +56,3 @@ charError =
59stringError :: Error.Hint
56stringError :: Error.Hint
60stringError =
57stringError =
61 Error.Literal "string"
58 Error.Literal "string"
64−{-# NOINLINE boolError #-}
65−boolError :: Error.Hint
67− Error.Literal "boolean"