search

gracelang / minigrace

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

Pattern type omission #309

Closed KimBruce closed 4 years ago

KimBruce commented 4 years ago

A minor issue is that the negation operator is not included in the type Pattern on line 276 of standardGrace.grace. It is included in trait BasicPattern and hence the other patterns defined in that file, so negation should be added to the type.

apblack commented 4 years ago

This is fixed in c3a9f7ea. There is also now a test (t007_types+objects_test) that checks that the basic types and objects correspond.