From 4fd0c636f8590bf800715f2598e54ccc22c99b90 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 8 Feb 2005 15:35:58 +0000
Subject: unlexer concat

---
 src/GF/Compile/MkResource.hs | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

(limited to 'src/GF/Compile/MkResource.hs')

diff --git a/src/GF/Compile/MkResource.hs b/src/GF/Compile/MkResource.hs
index 1c0bdb21c..84c58fc0b 100644
--- a/src/GF/Compile/MkResource.hs
+++ b/src/GF/Compile/MkResource.hs
@@ -18,6 +18,7 @@ import Grammar
 import Ident
 import Modules
 import Macros
+import Lockfield
 import PrGrammar
 
 import Operations
@@ -118,19 +119,6 @@ mkResDefs hasT isC gr r a mext maext abs cnc = mapMTree (mkOne a maext) abs wher
     Q n c | n == a || [n] == mae -> return $ Q r c ---- FIX for non-singleton exts
     _ -> composOp (redirTyp always a mae) ty
 
-lockRecType :: Ident -> Type -> Err Type
-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'
-
-lockLabel :: Ident -> Label
-lockLabel c = LIdent $ "lock_" ++ prt c ----
-
-
 -- no reuse for functions of HO/dep types
 
 isHardType t = case t of
-- 
cgit v1.2.3