eir at cis.upenn.edu
Wed Jan 20 05:39:32 UTC 2016
I'm sure there's an easy answer to this, but I'm wondering: why is the CallStack feature implemented with implicit parameters instead of just a magical constraint? Whenever I use this feature, I don't want to have to enable -XImplicitParams and then make sure I get the name right. What would be wrong with, e.g.,
> undefined :: AppendsCallStack => a
Seems simpler. Is it problems with a nullary class?
More information about the ghc-devs