melt-umn / silver

An attribute grammar-based programming language for composable language extensions
http://melt.cs.umn.edu/silver/
GNU Lesser General Public License v3.0
59 stars 7 forks source link

Fix bug with error handling when equation lhs is not a child #734

Closed krame505 closed 1 year ago

krame505 commented 1 year ago

Changes

Bug fix, this should not be asserting that the attribute LHS typescheme is a monotype when we are in an error case.

Documentation

None, this is a minor bug fix