search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

saveDef, lookupDef replacements? #152

Open conal opened 8 years ago

conal commented 8 years ago

Am I right in thinking that saveDef and lookupDef became rememberR and unfoldRememberedR? With unfoldRememberedR. If so, for this purpose (saving & recalling), should I pass NotUsed to unfoldRememberedR?

xich commented 8 years ago

Yes (to everything you said)... though looking at it now, I'm not sure why I even require that argument, since all remembered definitions are always assumed true, there is no real point in tracking their used status. I'll think about that some and probably clean up the remember-ing API (again, sorry!) at some point. But I'll let you know when I do.