diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 11:43:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 11:43:41 +0000 |
| commit | b1a51f46f5d137ab4d65a4381b349af3291a944d (patch) | |
| tree | ce1df7a103ba74a9c8a7eedbf2260bde37736166 /src/GF/Compile/GrammarToGFCC.hs | |
| parent | d09371280d5b28d85acce7b7d899c21bc4e11b32 (diff) | |
change the data types and the syntax in PGF to match the new syntax for implict arguments
Diffstat (limited to 'src/GF/Compile/GrammarToGFCC.hs')
| -rw-r--r-- | src/GF/Compile/GrammarToGFCC.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |