From b1a51f46f5d137ab4d65a4381b349af3291a944d Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 20 Sep 2009 11:43:41 +0000 Subject: change the data types and the syntax in PGF to match the new syntax for implict arguments --- src/GF/Compile/GrammarToGFCC.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/GF/Compile/GrammarToGFCC.hs') diff --git a/src/GF/Compile/GrammarToGFCC.hs b/src/GF/Compile/GrammarToGFCC.hs index b285faa81..a2b03ab63 100644 --- a/src/GF/Compile/GrammarToGFCC.hs +++ b/src/GF/Compile/GrammarToGFCC.hs @@ -129,7 +129,7 @@ mkExp :: [Ident] -> A.Term -> C.Expr mkExp scope t = case GM.termForm t of Ok (xs,c,args) -> mkAbs xs (mkApp (reverse xs++scope) c (map (mkExp scope) args)) where - mkAbs xs t = foldr (C.EAbs . i2i) t xs + mkAbs xs t = foldr (C.EAbs C.Explicit . i2i) t xs mkApp scope c args = case c of Q _ c -> foldl C.EApp (C.EFun (i2i c)) args QC _ c -> foldl C.EApp (C.EFun (i2i c)) args @@ -156,8 +156,8 @@ mkPatt scope p = mkContext :: [Ident] -> A.Context -> ([Ident],[C.Hypo]) mkContext scope hyps = mapAccumL (\scope (x,ty) -> let ty' = mkType scope ty in if x == identW - then ( scope,C.Hyp ty') - else (x:scope,C.HypV (i2i x) ty')) scope hyps + then ( scope,(C.Explicit,i2i x,ty')) + else (x:scope,(C.Explicit,i2i x,ty'))) scope hyps mkTerm :: Term -> C.Term mkTerm tr = case tr of -- cgit v1.2.3