diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-02-22 15:17:50 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-02-22 15:17:50 +0000 |
| commit | 2faba9011978f29f56bbc27287720a08b08b7adb (patch) | |
| tree | faf7919dc7068cb3f91efa033e851eccf17bff89 /src/GF/Devel/Grammar/GFtoSource.hs | |
| parent | 9e6064709f621c1489f18ee94612226014646a9a (diff) | |
started a directory of grammars testing testgf3 features
Diffstat (limited to 'src/GF/Devel/Grammar/GFtoSource.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/GFtoSource.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/GF/Devel/Grammar/GFtoSource.hs b/src/GF/Devel/Grammar/GFtoSource.hs index 318974f5d..292f5b826 100644 --- a/src/GF/Devel/Grammar/GFtoSource.hs +++ b/src/GF/Devel/Grammar/GFtoSource.hs @@ -71,7 +71,7 @@ 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) | let EParam cos = jdef ju, (c,co) <- cos] + P.ParConstr (tri c) (map trDecl co) | let EParam _ cos = jdef ju, (c,co) <- cos] ]] JOper -> case jdef ju of Overload tysts -> @@ -160,6 +160,8 @@ trt trm = case trm of Alts (t, tt) -> P.EPre (trt t) [P.Alt (trt v) (trt c) | (v,c) <- tt] FV ts -> P.EVariants $ map trt ts EData -> P.EData + EParam t _ -> trt t + _ -> error $ "not yet" +++ show trm ---- trp :: Patt -> P.Patt |