New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Problems with effect order in effects library #4599

Open

andreykl opened this issue Nov 26, 2018 · 0 comments

andreykl commented Nov 26, 2018

When I trying to run this game http://docs.idris-lang.org/en/latest/effects/hangman.html I faced next thing. When type of game is

game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO]

code is compiled. But if I change it to

game : Eff () [STDIO, MYSTERY (Running (S g) w)] [STDIO, MYSTERY NotRunning]

the compiler does not like it anymore.

It looks to me like it can be the same problem. Sorry if I've missed something. Source code is attached.
MysteryWord2.txt

Originally posted by @andreykl in #1837 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment