added some new pattern forms, incl. pattern macros, to testgf3

This commit is contained in:
aarne
2008-02-01 22:01:10 +00:00
parent 3addf256bc
commit 4889558137
10 changed files with 66 additions and 7 deletions
+10
View File
@@ -132,6 +132,10 @@ renameTerm env vars = ren vars where
Ok t -> return t -- const proj last
_ -> prtBad "unknown qualified constant" trm
EPatt p -> do
(p',_) <- renpatt p
return $ EPatt p'
_ -> composOp (ren vs) trm
renid = renameIdentTerm env
@@ -145,6 +149,12 @@ renameTerm env vars = ren vars where
renamePattern :: RenameEnv -> Patt -> Err (Patt,[Ident])
renamePattern env patt = case patt of
PMacro c -> do
c' <- renid $ Vr c
case c' of
Q p d -> renp $ PM p d
_ -> prtBad "unresolved pattern" patt
PC c ps -> do
c' <- renid $ Vr c
case c' of