con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Use flagRecompile instead of purePlugin #80

Closed zliu41 closed 2 years ago

zliu41 commented 2 years ago

The doc isn't super clear about this, but my understanding is that if we change the plugin, but does not change module Foo which uses the plugin, then with purePlugin, Foo may not be recompiled, and as such purePlugin is not the right thing to do.