From 25c86905867537f75e9fe2f19759d8747d465590 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 13 Nov 2003 08:17:28 +0000
Subject: Field lock in MkResource.

Field lock in MkResource.
Terrible bug fixed in Check Grammar.
---
 src/GF/Grammar/Macros.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/GF/Grammar')

diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs
index e6906f985..2edb183a1 100644
--- a/src/GF/Grammar/Macros.hs
+++ b/src/GF/Grammar/Macros.hs
@@ -135,6 +135,11 @@ termForm t = case t of
    _       -> 
      return ([],t,[])
 
+termFormCnc :: Term -> ([(Ident)], Term)
+termFormCnc t = case t of
+   Abs x b  -> (x:xs, t') where (xs,t') = termFormCnc b 
+   _        -> ([],t)
+
 appForm :: Term -> (Term, [Term])
 appForm t = case t of
   App c a -> (fun, args ++ [a]) where (fun, args) = appForm c
-- 
cgit v1.2.3