diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-02-22 14:16:33 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-02-22 14:16:33 +0000 |
| commit | 9e6064709f621c1489f18ee94612226014646a9a (patch) | |
| tree | 350fb34bdc24b917c6badb0eb4f906bca7a314b1 /src/GF/Devel/Grammar/GFtoSource.hs | |
| parent | 4e3d240d2dbd3a721ec4aea58c1e2ee31e49ed51 (diff) | |
testgf3 in progress; fixed VP type in ExtraEng
Diffstat (limited to 'src/GF/Devel/Grammar/GFtoSource.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/GFtoSource.hs | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/src/GF/Devel/Grammar/GFtoSource.hs b/src/GF/Devel/Grammar/GFtoSource.hs index 9cd491e3d..318974f5d 100644 --- a/src/GF/Devel/Grammar/GFtoSource.hs +++ b/src/GF/Devel/Grammar/GFtoSource.hs @@ -71,10 +71,8 @@ trAnyDef (i,ju) = let ---- JFun ty EData -> [P.DefFunData [P.FunDef [i'] (trt ty)]] JParam -> [P.DefPar [ P.ParDefDir i0 [ - P.ParConstr (tri c) (map trDecl co) | - (c,co) <- [(k,contextOfType t) | (k,t) <- contextOfType (jtype ju)] - ] - ]] + P.ParConstr (tri c) (map trDecl co) | let EParam cos = jdef ju, (c,co) <- cos] + ]] JOper -> case jdef ju of Overload tysts -> [P.DefOper [P.DDef [i'] ( @@ -89,13 +87,6 @@ trAnyDef (i,ju) = let [P.DefLin [trDef i (Meta 0) (jdef ju)]] ---- ++ [P.DefPrintFun [P.DDef [mkName i] (trt pr)] | Yes pr <- [ppr]] JLink -> [] -{- - ---- encoding of AnyInd without changing syntax. AR 20/9/2007 - AnyInd s b -> - [P.DefOper [P.DDef [mkName i] - (P.EApp (P.EInt (if s then 1 else 0)) (P.EIdent (tri b)))]] --} - trDef :: Ident -> Type -> Term -> P.Def trDef i pty ptr = case (pty,ptr) of |