diff options
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 []))] |