diff options
Diffstat (limited to 'src/gen_lib/state.lem')
| -rw-r--r-- | src/gen_lib/state.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gen_lib/state.lem b/src/gen_lib/state.lem index 983d14c6..610bcc7d 100644 --- a/src/gen_lib/state.lem +++ b/src/gen_lib/state.lem @@ -30,12 +30,12 @@ let bind m f s = match m s with | (Right error,s') -> (Right error,s') end -val exit : forall 's 'e. 'e -> State 's 'e unit +val exit : forall 's 'e 'a. 'e -> State 's 'e 'a let exit e s = (Right e,s) let (>>=) = bind -val (>>): forall 's 'e 'a 'b. State 's 'e 'a -> State 's 'e 'b -> State 's 'e 'b +val (>>): forall 's 'e 'b. State 's 'e unit -> State 's 'e 'b -> State 's 'e 'b let (>>) m n = m >>= fun _ -> n val read_writeEA : forall 'e. unit -> State state 'e (integer * integer) |