restored work on Extend and Rename

2007-12-06 12:54:15 +00:00
parent 26fc7cb5db
commit 885b5bf681
11 changed files with 1567 additions and 65 deletions
--- a/src/GF/Devel/Grammar/Macros.hs
+++ b/src/GF/Devel/Grammar/Macros.hs
@@ -64,6 +64,9 @@ assignT l a t = (l,(Just a,t))
 mkDecl :: Term -> Decl
 mkDecl typ = (wildIdent, typ)

+mkLet :: [LocalDef] -> Term -> Term
+mkLet defs t = foldr Let t defs
+
 typeType :: Type
 typeType = Sort "Type"

@@ -73,6 +76,9 @@ meta0 = Meta 0
 ident2label :: Ident -> Label
 ident2label c = LIdent (prIdent c)

+label2ident :: Label -> Ident
+label2ident (LIdent c) = identC c
+
 ----label2ident :: Label -> Ident
 ----label2ident = identC . prLabel