regular expression patterns

This commit is contained in:
aarne
2006-01-07 14:39:40 +00:00
parent 4e42d73ee5
commit d133e0353c
16 changed files with 170 additions and 135 deletions

View File

@@ -202,6 +202,7 @@ trp p = case p of
PAlt p q -> P.PDisj (trp p) (trp q)
PSeq p q -> P.PSeq (trp p) (trp q)
PRep p -> P.PRep (trp p)
PNeg p -> P.PNeg (trp p)
trAssign (lab, (mty, t)) = maybe (P.LDDef x t') (\ty -> P.LDFull x (trt ty) t') mty