unbound-generics icon indicating copy to clipboard operation
unbound-generics copied to clipboard

Published 20 hours ago • verified publisher icon lambdageek

Remove Show superclass on Alpha

Open Jashweii opened this issue 6 years ago • 1 comments

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.)

Jashweii avatar Apr 25 '19 16:04 Jashweii

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

lambdageek avatar May 11 '19 02:05 lambdageek