lambdageek / unbound-generics

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
https://hackage.haskell.org/package/unbound-generics/
BSD 3-Clause "New" or "Revised" License
55 stars 18 forks source link

Removed Show superclass of Alpha #37

Open Jashweii opened 5 years ago

Jashweii commented 5 years ago

Removes the show superclass on Alpha. This is a breaking change for users expecting (Alpha a) to imply (Show a). This also makes bind's error message in namePatFind/nthPatFind less descriptive. Addresses #36