Disallow duplicate top-level definitions
LightAndLight opened this issue · comments
Example:
# bug.ipso
a : Int
a = 1
a : String
a = "hi"
main : IO ()
main = println (debug a)
Expected output:
bug.ipso:5:1: error: already defined
|
5 | a = "hi"
| ^
Actual output:
"hi"