diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-12-08 07:15:19 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-12-08 07:15:19 +0000 |
| commit | de8bea8d692617d0028f9c2f5716f1e303490ff2 (patch) | |
| tree | 98c36bc7f0ef1dd2d69c2a9807d1fe13d6c38fdc /src/GF/Source | |
| parent | cbb495f5d991a5e3825895ab10a69af7654e8055 (diff) | |
data structures for param values with number, preparing optimized pattern matching in grammar compilation
Diffstat (limited to 'src/GF/Source')
| -rw-r--r-- | src/GF/Source/GrammarToSource.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index fa879cf23..73b0feafd 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -201,6 +201,7 @@ trt trm = case trm of FV ts -> P.EVariants $ map trt ts Strs tt -> P.EStrs $ map trt tt EData -> P.EData + Val te _ _ -> trt te ---- _ -> error $ "not yet" +++ show trm ---- trp :: Patt -> P.Patt @@ -228,6 +229,7 @@ trp p = case p of PChars s -> P.PChars s PM m c -> P.PM (tri m) (tri c) + PVal p _ _ -> trp p ---- trAssign (lab, (mty, t)) = maybe (P.LDDef x t') (\ty -> P.LDFull x (trt ty) t') mty where |