Skip to content
Snippets Groups Projects
Commit 74e1bc87 authored by Alice Brenon's avatar Alice Brenon
Browse files

Forgot to commit a minor simplification in type expression

parent bb3b9a16
No related branches found
No related tags found
No related merge requests found
......@@ -61,7 +61,7 @@ g@(Finished exitStatus1) <-> Opponent next2 =
Player (Finish exitStatus1, _) <-> Finished Success = Finished exitStatus1
_ <-> Finished _ = Finished Failure
play :: Monad m => Game () () m -> m ExitStatus
play :: Monad m => Match m -> m ExitStatus
play (Finished exitStatus) = pure exitStatus
play (M m) = m >>= play
play (Player (_, next)) = play $ next Ok
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment