diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-10-02 19:04:30 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-10-02 19:04:30 +0000 |
| commit | bbf6bd52c039b2b91020b770e212c6bf6314cb7a (patch) | |
| tree | abcbdcca1b2709a2eedd86db593b422ef65938df /src/compiler | |
| parent | 9303fe100fb842ed4aa2f88a5f5867eafef34e9c (diff) | |
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.
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF/Compile/GrammarToPGF.hs | 13 |
1 files changed, 12 insertions, 1 deletions
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 |