From c161e0e4df906185521f75aebcd26b117f8ab48f Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 3 Jun 2008 11:59:00 +0000
Subject: possible to inherit an overload group without excluding+opening

---
 src-3.0/GF/Compile/CheckGrammar.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src-3.0/GF/Compile/CheckGrammar.hs')

diff --git a/src-3.0/GF/Compile/CheckGrammar.hs b/src-3.0/GF/Compile/CheckGrammar.hs
index ce6800f28..40f165c4f 100644
--- a/src-3.0/GF/Compile/CheckGrammar.hs
+++ b/src-3.0/GF/Compile/CheckGrammar.hs
@@ -260,7 +260,7 @@ checkResInfo gr mo mm (c,info) = do
    checkUniq xss = case xss of
      x:y:xs 
       | x == y -> raise $ "ambiguous for type" +++ 
-                           prtType gr (mkFunType (init x) (last x))  
+                           prtType gr (mkFunType (tail x) (head x))  
       | otherwise -> checkUniq $ y:xs
      _ -> return ()
 
-- 
cgit v1.2.3