@edwinbrady any idea what's wrong in this Idris line that prevents from compiling https://gist.github.com/mandubian/83d28f126ddf684eca633e809ba87fdd … ? Thks
-
-
Replying to @mandubian
That certainly doesn’t look right. Taking a type away to make something work is not what we’d hope for… I’ll investigate.
1 reply 0 retweets 0 likes -
Replying to @edwinbrady
Thks! Trying deeper things with Idris, I might find other weird things ;)
1 reply 0 retweets 0 likes -
Replying to @mandubian
It turns out it’s not passing b and c to stateFlip. This is probably not correct behaviour…
1 reply 0 retweets 0 likes -
Replying to @edwinbrady @mandubian
…but if you bring both into scope {b} {c} in mapAccumL, it works.
1 reply 0 retweets 1 like -
Replying to @edwinbrady
... 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 reply 0 retweets 0 likes
Replying to @mandubian
It brings parameters into scope but not indices. For some reason it thinks b and c aren’t parameters.
2:31 AM - 22 Mar 2017
0 replies
0 retweets
0 likes
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.