From f607cd0108aa5c9bf9e9af62bb0e6d8fa6c5a8c1 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 7 Oct 2009 09:33:57 +0000
Subject: [PATCH] remove duplicated function from GF.Grammar.Macros

---
 src/GF/Grammar/Macros.hs | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs
index 8df25527a..7aa61c2c9 100644
--- a/src/GF/Grammar/Macros.hs
+++ b/src/GF/Grammar/Macros.hs
@@ -82,13 +82,6 @@ funsToAndFrom t =
       cis = zip cs [0..]
   in (v, [(c,[i | (c',i) <- cis, c' == c]) | c <- cs])
 
-typeFormConcrete :: Type -> Err (Context, Type)
-typeFormConcrete t = case t of
-  Prod b x a t  -> do 
-    (x', typ) <- typeFormConcrete t
-    return ((b,x,a):x', typ)
-  _       -> return ([],t)
-
 isRecursiveType :: Type -> Bool
 isRecursiveType t =
   let (cc,c) = catSkeleton t -- thus recursivity on Cat level