From 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 2 May 2004 08:21:25 +0000
Subject: gt Term

---
 src/GF/Grammar/TypeCheck.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/GF/Grammar')

diff --git a/src/GF/Grammar/TypeCheck.hs b/src/GF/Grammar/TypeCheck.hs
index 1cc486965..183b0ac12 100644
--- a/src/GF/Grammar/TypeCheck.hs
+++ b/src/GF/Grammar/TypeCheck.hs
@@ -243,3 +243,6 @@ exp2termCommand gr f t = errIn ("modifying term" +++ prt t) $ do
 
 exp2termlistCommand :: GFCGrammar -> (Exp -> [Exp]) -> Tree -> [Tree]
 exp2termlistCommand gr f = err (const []) fst . mapErr (annotate gr) . f . tree2exp
+
+tree2termlistCommand :: GFCGrammar -> (Tree -> [Exp]) -> Tree -> [Tree]
+tree2termlistCommand gr f = err (const []) fst . mapErr (annotate gr) . f 
-- 
cgit v1.2.3