I have just confirmed that we can specify HasCallStack separately for
different instance of same typeclass, and here
https://gist.github.com/luochen1990/bc556d0fc6a1355e5d1bd27a81114870 is
the test code.
Oliver Charles
Surely then the call stack is only foldr1, and not foldr1's callsite?
On Sun, 16 Jun 2019, 8:27 pm Henning Thielemann, < lemming@henning-thielemann.de> wrote:
On Sun, 16 Jun 2019, Simon Jakobi wrote:
I think only the partial implementations should get that constraint.
Oops, I had the misconception that one couldn't add a HasCallStack constraint to method implementations.
I think you have to declare:
instance Foldable [] where foldl1 = foldl1List
foldl1List :: HasCallStack => (a->a->a) -> [a] -> a foldl1List = ...
Would this work?_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries