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

Fix nub #147

Open xich opened 8 years ago

xich commented 8 years ago

nub is broken because of a change I made that breaks some cases of instantiation. I'm working on a fix, but just wanted to let people know.

andygill commented 8 years ago

You many want to look at what I did with hermit-shell tests. I strip out the ANSI escape, so the golden files, and the diffs, are human readable. I'll get round to porting it to hermit at some point.