metaborg/dynsem

Overloaded meta functions don't work

Closed this issue · 0 comments

vvergu commented

Overloaded meta-functions do not work, causing strange interpreter behavior.