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

Better error messages for `fold`-based rewrites... #137

Open xich opened 9 years ago

xich commented 9 years ago

The error messages are pretty unhelpful for anything relying on fold. At least point out when a fold fails due to out-of-scoped-ness and suggest flatten-module.

See discussion in #134