diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-01 16:35:53 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-01 16:35:53 +0000 |
| commit | bfe4b0b2a4e5b761b287f9110e19af5b9430dbbb (patch) | |
| tree | 13b74698ec8281ce6b860249ab5b7be1ba4d0885 /src/compiler/GF/Grammar/Lockfield.hs | |
| parent | 314abe733ba1e9e7de12c9c28b7d6ffc889d128b (diff) | |
GF.Grammar.*: generalized the type of some functions that can not fail from the Err monad to arbitrary monads
Diffstat (limited to 'src/compiler/GF/Grammar/Lockfield.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/Lockfield.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Lockfield.hs b/src/compiler/GF/Grammar/Lockfield.hs index 3e78a48b6..8b0798527 100644 --- a/src/compiler/GF/Grammar/Lockfield.hs +++ b/src/compiler/GF/Grammar/Lockfield.hs @@ -32,7 +32,7 @@ lockRecType c t@(RecType rs) = else RecType (rs ++ [(lockLabel c, RecType [])]) lockRecType c t = plusRecType t $ RecType [(lockLabel c, RecType [])] -unlockRecord :: Ident -> Term -> Err Term +unlockRecord :: Monad m => Ident -> Term -> m Term unlockRecord c ft = do let (xs,t) = termFormCnc ft let lock = R [(lockLabel c, (Just (RecType []),R []))] |