search

emilaxelsson / syntactic

Generic representation and manipulation of abstract syntax
BSD 3-Clause "New" or "Revised" License
25 stars 13 forks source link

modified 'freshVar' to accomodate the monad fail update. #36

Closed markus-git closed 5 years ago

markus-git commented 5 years ago

Thought this was better than introducing MonadFail.

emilaxelsson commented 5 years ago

Thanks for the fix! As we've discussed elsewhere this was already fixed on a different branch, and now merged to master.