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

Windows code cleanup #182

Closed RyanGlScott closed 7 years ago

RyanGlScott commented 7 years ago

Some time ago, I implemented some horrible hacks to make HERMIT work on Windows. After revisiting them, I've realized there's a better way to do it.

I've removed the entire src/HERMIT/Win32 portion of the codebase, as I've compartmentalized their functionality into two other libraries:

So overall, this mostly deletes code, which is nice.

Oh yeah, the tests also pass on Windows now, so this fixes #102!

xich commented 7 years ago

Sounds great! Thanks!