From bbf6bd52c039b2b91020b770e212c6bf6314cb7a Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 2 Oct 2013 19:04:30 +0000 Subject: [PATCH] something in the typeinferencer of the latest GHC has changed. I need to add a type signature for GF.Compile.GrammarToPGF.genCncFuns in order to compile. --- src/compiler/GF/Compile/GrammarToPGF.hs | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/src/compiler/GF/Compile/GrammarToPGF.hs b/src/compiler/GF/Compile/GrammarToPGF.hs index 48d014b78..aa5c3d163 100644 --- a/src/compiler/GF/Compile/GrammarToPGF.hs +++ b/src/compiler/GF/Compile/GrammarToPGF.hs @@ -197,7 +197,18 @@ genCncCats gr am cm cdefs = in (index', (i2i id,cc) : cats) mkCncCats index (_ :cdefs) = mkCncCats index cdefs - +genCncFuns :: SourceGrammar + -> Ident + -> Ident + -> Array SeqId Sequence + -> Array SeqId Sequence + -> [(QIdent, Info)] + -> FId + -> Map.Map CId D.CncCat + -> (FId, + IntMap.IntMap (Set.Set D.Production), + IntMap.IntMap [FunId], + Array FunId D.CncFun) genCncFuns gr am cm ex_seqs seqs cdefs fid_cnt cnccats = let (fid_cnt1,funs_cnt1,funs1,lindefs) = mkCncCats cdefs fid_cnt 0 [] IntMap.empty (fid_cnt2,funs_cnt2,funs2,prods) = mkCncFuns cdefs fid_cnt1 funs_cnt1 funs1 lindefs Map.empty IntMap.empty