From 67aa44a62038130cbeec1e2ad89959d194f2dddd Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Thu, 17 Nov 2011 21:36:45 +0000
Subject: [PATCH] bugfix in the overload resolution. It was accidentally
 introduced as part of the per module PMCFG generation

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

diff --git a/src/compiler/GF/Compile/CheckGrammar.hs b/src/compiler/GF/Compile/CheckGrammar.hs
index 1fe59a346..be7506766 100644
--- a/src/compiler/GF/Compile/CheckGrammar.hs
+++ b/src/compiler/GF/Compile/CheckGrammar.hs
@@ -194,7 +194,7 @@ checkInfo ms (m,mo) c info = do
       mt <- case (mty,mt) of
               (Just (cat,cont,val),Just (L loc trm)) -> 
                   chIn loc "linearization of" $ do
-                     (trm,_) <- checkLType gr [] trm (mkProd cont val [])
+                     (trm,_) <- checkLType gr [] trm (mkFunType (map (\(_,_,ty) -> ty) cont) val)  -- erases arg vars
                      return (Just (L loc trm))
               _ -> return mt
       mpr  <- case mpr of