search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Reify declarations should be Section-local #77

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

Otherwise things are kind of broken since the constrs will be ill-typed.

gmalecha commented 8 years ago

This is fixed in the newer reification plugin.