CallStack naming

Richard Eisenberg eir at cis.upenn.edu
Wed Jan 20 05:39:32 UTC 2016


Hi devs,

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?

Thanks,
Richard


More information about the ghc-devs mailing list