LightAndLight / ipso

A functional scripting language.

Home Page:https://ipso.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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"