diff options
| author | hallgren <hallgren@chalmers.se> | 2014-10-20 19:32:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-10-20 19:32:46 +0000 |
| commit | 8337a19b40301bfda5dd74c6d975072f168538de (patch) | |
| tree | 21c331f3afeea9f701b39fa3642f04698f7eeabc /src/compiler/GF/Compile | |
| parent | 55aebadd5a64eb3f6a566168bbeeeb7cbb4ccb44 (diff) | |
type IOE a = IO a
IOE used to be a monad with extra error handling built on top of the IO monad,
But the IO monad already supports error handling, so this construction was a
superfluous.
The new 'instance ErrorMonad IOE' is defined to preserve the previous error
handling behaviour, i.e. the function 'handle' only catches errors thrown with
'raise' (or 'fail') and not other errors in the IO monad.
Diffstat (limited to 'src/compiler/GF/Compile')
0 files changed, 0 insertions, 0 deletions