From bfe4b0b2a4e5b761b287f9110e19af5b9430dbbb Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 1 Sep 2011 16:35:53 +0000 Subject: GF.Grammar.*: generalized the type of some functions that can not fail from the Err monad to arbitrary monads --- src/compiler/GF/Grammar/Lockfield.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/GF/Grammar/Lockfield.hs') 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 []))] -- cgit v1.2.3