search

gracelang / minigrace

Self-hosting compiler for the Grace programming language
39 stars 22 forks source link

Redefining Unknown neither works nor produces an error #290

Closed IsaacOscar closed 4 years ago

IsaacOscar commented 5 years ago

Redefining Unknown does nothing, e.g:

type Unknown = interface{foo}
def x: Unknown = object{}

The above does not raise a type-error. (Changing Unknown to some other name of course does) I suggest either prohibiting Unknown from being redefined, or make redefining work as expected.

apblack commented 4 years ago

Unknown is reserved in commit 5daa587.