search

gracelang / minigrace

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

Unnecessary type arguments not rejected #275

Closed apblack closed 5 years ago

apblack commented 5 years ago

Although a method that takes one or more type arguments will complain if it gets the wrong number of type arguments, it seems that a method that expects no type argument will not complain if it is given one (or two, ...)

method m(x) → Done { print (x) }

m⟦Number⟧(4)

prints 4

apblack commented 5 years ago

This is fixed in commit fc116e9.

t171 in commit 22b076b now tests for this condition.