diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-01-07 12:26:11 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-01-07 12:26:11 +0000 |
| commit | 4e42d73ee508715e83c8f1a160b7bc696b78571b (patch) | |
| tree | b5d4f72f694bb4c73075a6f9402444eb8085ae96 /src/GF/Grammar/Refresh.hs | |
| parent | a641bf4004cc248a33904fa0ac8c11ce2460ea5e (diff) | |
regex patterns for tokens
Diffstat (limited to 'src/GF/Grammar/Refresh.hs')
| -rw-r--r-- | src/GF/Grammar/Refresh.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/GF/Grammar/Refresh.hs b/src/GF/Grammar/Refresh.hs index a9bccbb1d..045fccfc0 100644 --- a/src/GF/Grammar/Refresh.hs +++ b/src/GF/Grammar/Refresh.hs @@ -71,6 +71,13 @@ refreshPatt p = case p of PP q c ps -> liftM (PP q c) (mapM refreshPatt ps) PR r -> liftM PR (mapPairsM refreshPatt r) PT t p' -> liftM2 PT (refresh t) (refreshPatt p') + + PAs x p' -> liftM2 PAs (refVar x) (refreshPatt p') + + PSeq p' q' -> liftM2 PSeq (refreshPatt p') (refreshPatt q') + PAlt p' q' -> liftM2 PAlt (refreshPatt p') (refreshPatt q') + PRep p' -> liftM PRep (refreshPatt p') + _ -> return p refreshRecord r = case r of |