Empty string literal has the wrong type
Bug #483369 reported by
Matt Giuca
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Mars |
Fix Released
|
Low
|
Matt Giuca |
Bug Description
The empty string literal, like all string literals, should have type Array(Int). However, it has the generic type Array(a), like the empty array literal.
Observed behaviour:
?> :t ""
[] :: Array(t_1)
Expected behaviour:
?> :t ""
[] :: Array(Int)
This allows certain programs which should be rejected (such as array_concat("", [[]])) to be accepted.
Related branches
Changed in mars: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Fixed in r904.