diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-09 08:26:56 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-09 08:26:56 +0000 |
| commit | 45df6d5ac2be9cf8e88ae9733af53410b8d37969 (patch) | |
| tree | aade85b2d142e2c6380afd0d8702b1f22f799f24 /src | |
| parent | 91415f7ad02d31ed9034eff2a6f3c8213409ee71 (diff) | |
currying in paramlincat encoding
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Devel/GrammarToGFCC.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/GF/Devel/GrammarToGFCC.hs b/src/GF/Devel/GrammarToGFCC.hs index d5482fde9..9c5afd6ea 100644 --- a/src/GF/Devel/GrammarToGFCC.hs +++ b/src/GF/Devel/GrammarToGFCC.hs @@ -176,6 +176,10 @@ mkParamLincat sgr lang cat = errVal (C.R [C.S []]) $ do RecType lts -> do ts <- mapM (mkPType . snd) lts return $ C.R [ C.P (kks $ prt_ l) t | ((l,_),t) <- zip lts ts] + Table (RecType lts) v -> do + ps <- mapM (mkPType . snd) lts + v' <- mkPType v + return $ foldr (\p v -> C.S [p,v]) v' ps Table p v -> do p' <- mkPType p v' <- mkPType v |