From beb8cad7d868b5ef1eb74d8f0d50cb689db613ab Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 20 Jun 2009 13:50:34 +0000 Subject: the construct lin C t now replaces lock fields (in source code; still tempor used internally); lock fields removed from english resource as an example --- src/GF/Grammar/Lockfield.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/GF/Grammar/Lockfield.hs') diff --git a/src/GF/Grammar/Lockfield.hs b/src/GF/Grammar/Lockfield.hs index 12b78ab9b..66a978770 100644 --- a/src/GF/Grammar/Lockfield.hs +++ b/src/GF/Grammar/Lockfield.hs @@ -36,8 +36,10 @@ lockRecType c t = plusRecType t $ RecType [(lockLabel c, RecType [])] unlockRecord :: Ident -> Term -> Err Term unlockRecord c ft = do let (xs,t) = termFormCnc ft - t' <- plusRecord t $ R [(lockLabel c, (Just (RecType []),R []))] - return $ mkAbs xs t' + let lock = R [(lockLabel c, (Just (RecType []),R []))] + case plusRecord t lock of + Ok t' -> return $ mkAbs xs t' + _ -> return $ mkAbs xs (ExtR t lock) lockLabel :: Ident -> Label lockLabel c = LIdent $! BS.append lockPrefix (ident2bs c) -- cgit v1.2.3