search

hawkw / decaf

like Java, but less so
hawkweisman.me/decaf
Other
18 stars 4 forks source link

Add detection for conflicting declarations #26

Closed hawkw closed 9 years ago

hawkw commented 10 years ago

From Dr. Jumadinova's handout:

*** Declaration of ‘a’ here conflicts with declaration on line 5 
** Method ’b’ must match inherited type signature

These are used to report a new declaration that conflicts with an existing one. The first message is the generic message, used in most contexts (e.g. class redefinition, two parameters of the same name, and so on). The second is a specialized message identifying an attempt to overload a subclass’s method.

ArcticLight commented 10 years ago

We haven't checked inherited type signatures yet.

hawkw commented 10 years ago

Whoops.

hawkw commented 9 years ago

Finished this one a while ago.