@edwinbrady any idea what's wrong in this Idris line that prevents from compiling https://gist.github.com/mandubian/83d28f126ddf684eca633e809ba87fdd … ? Thks
It turns out it’s not passing b and c to stateFlip. This is probably not correct behaviour…
-
-
…but if you bring both into scope {b} {c} in mapAccumL, it works.
-
... mapAccumL {b} {c} f a1 tb... interesting... when you put left implicit like that, it just forces them into scope? and why not {a}?
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.