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

Moved RULES to Main modules (and removed a couple INLINEs) #142

Closed roboguy13 closed 8 years ago

roboguy13 commented 8 years ago

It looks like moving the RULES into the module with main fixes the issues from #141. I also had to remove a couple INLINE and INLINEABLE pragmas (but not all of them, strangely).

All of the tests pass on 7.10.2 with this workaround, so it might be a solution we can use temporarily. It seems to work ok on 7.10.1 as well.