Remove Show superclass on Alpha

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

56 stars 18 forks source link

Remove Show superclass on Alpha #36

Open Jashweii opened 5 years ago

Jashweii commented 5 years ago

This would be a breaking change for anything using show* but constrained only on Alpha. Bind's nthPatFind and namePatFind wouldn't be able to show the specific bind for errors anymore.

remove (Show a) => (Alpha.hs 160)
remove (Show t) => (Ignore.hs 35)
remove " ++ show b ++ " (Bind.hs 66/67)

(These are the changes that I could find.)

lambdageek commented 5 years ago

This is worth exploring. I'd be curious to see a PR that got rid of the Show constraint.