diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-17 21:36:45 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-17 21:36:45 +0000 |
| commit | 4f95b5656b28fa9c2c52a5fda7033ba31d7f6150 (patch) | |
| tree | f81898aefc57bb913b05f7c0d9490c078070926d /src | |
| parent | d84cb09e48e5d3c092ea034b3229d241efca039e (diff) | |
bugfix in the overload resolution. It was accidentally introduced as part of the per module PMCFG generation
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/CheckGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |