diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-06 12:54:15 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-06 12:54:15 +0000 |
| commit | f08eb82f2beb069a0f9da2dbba4c6f09cf781e83 (patch) | |
| tree | 0548f3e8195c1e872358085fd73b6e063b65e080 /src/GF/Devel/Grammar/Macros.hs | |
| parent | 7d1b964a78fc6383cd009a282ac993063c81130e (diff) | |
restored work on Extend and Rename
Diffstat (limited to 'src/GF/Devel/Grammar/Macros.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/Macros.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/GF/Devel/Grammar/Macros.hs b/src/GF/Devel/Grammar/Macros.hs index 9af5e7ec9..785b69902 100644 --- 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 |