diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-09-07 09:55:49 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-09-07 09:55:49 +0000 |
| commit | 5664f4da9e09ccf8b712a5b939c15893b94c895f (patch) | |
| tree | dc0923af5b077b17ffdec3d4af1c8563db44240f /src/GF | |
| parent | dbc874d62f6b771609e1349c596cf7ae8623375b (diff) | |
simplified recursive search of labels
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Canon/CanonToGFCC.hs | 20 |
1 files changed, 8 insertions, 12 deletions
diff --git a/src/GF/Canon/CanonToGFCC.hs b/src/GF/Canon/CanonToGFCC.hs index a180d8dd4..59ee82590 100644 --- a/src/GF/Canon/CanonToGFCC.hs +++ b/src/GF/Canon/CanonToGFCC.hs @@ -149,16 +149,15 @@ paramValues cgr = (labels,untyps,typs) where labels = Map.fromList $ concat [((cat,[lab]),i): [((cat,[lab,lab2]),j) | - RecType rs <- [typ], (Lbg lab2 _,j) <- zip rs [0..]] ++ - [((cat,[lab,L (IC ("_")),lab2]),j) | rs <- getRec typ, (Lbg lab2 _,j) <- zip rs [0..]] | (cat,ls) <- lincats, (Lbg lab typ,i) <- zip ls [0..]] - ---- this should be made recursive to give lists of any length + -- go to tables recursively + ---- TODO: even go to deeper records where getRec typ = case typ of - Table _ (RecType rs) -> [rs] - Table _ t -> getRec t + RecType rs -> [rs] + Table _ t -> getRec t _ -> [] term2term :: CanonGrammar -> ParamEnv -> Term -> Term @@ -179,18 +178,15 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of P x@(Arg (A cat i)) lab -> P x . mkLab $ maybe (prtTrace tr $ 66664) id $ Map.lookup (cat,[lab]) labels - P p@(P x@(Arg (A cat i)) lab1) lab2 -> - P (r2r p) . mkLab $ maybe (prtTrace tr $ 66664) id $ - Map.lookup (cat,[lab1,lab2]) labels P p lab2 -> case getLab p of Just (cat,lab1) -> P (r2r p) . mkLab $ maybe (prtTrace tr $ 66664) id $ - Map.lookup (cat,[lab1,L (IC ("_")),lab2]) labels + Map.lookup (cat,[lab1,lab2]) labels _ -> P (t2t p) $ mkLab (prtTrace tr 66665) - P p lab2 -> P (t2t p) $ mkLab (prtTrace tr 66665) _ -> tr ---- - ---- this should be made recursive + -- this goes recursively in tables + ---- TODO: also recursive in records to get longer lists of labels getLab tr = case tr of - S (P (Arg (A cat i)) lab1) _ -> return (cat,lab1) + P (Arg (A cat i)) lab1 -> return (cat,lab1) S p _ -> getLab p _ -> Nothing mkLab k = L (IC ("_" ++ show k)) |