From df0c4f81fa9c620d7c63af79c0b183a6beccf0bd Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 22 May 2008 11:59:31 +0000 Subject: remove all files that aren't used in GF-3.0 --- src-3.0/GF/Devel/CheckGrammar.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src-3.0/GF/Devel/CheckGrammar.hs') diff --git a/src-3.0/GF/Devel/CheckGrammar.hs b/src-3.0/GF/Devel/CheckGrammar.hs index a61e52d2a..3648b610a 100644 --- a/src-3.0/GF/Devel/CheckGrammar.hs +++ b/src-3.0/GF/Devel/CheckGrammar.hs @@ -256,7 +256,7 @@ checkCncInfo gr m (a,abs) (c,info) = do case info of CncFun _ (Yes trm) mpr -> chIn "linearization of" $ do - typ <- checkErr $ lookupFunTypeSrc gr a c + typ <- checkErr $ lookupFunType gr a c cat0 <- checkErr $ valCat typ (cont,val) <- linTypeOfType gr m typ -- creates arg vars (trm',_) <- check trm (mkFunType (map snd cont) val) -- erases arg vars @@ -266,7 +266,7 @@ checkCncInfo gr m (a,abs) (c,info) = do -- cat for cf, typ for pe CncCat (Yes typ) mdef mpr -> chIn "linearization type of" $ do - checkErr $ lookupCatContextSrc gr a c + checkErr $ lookupCatContext gr a c typ' <- checkIfLinType gr typ mdef' <- case mdef of Yes def -> do -- cgit v1.2.3