summaryrefslogtreecommitdiff
path: root/src/compiler/GF
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@gmail.com>2013-10-02 19:04:30 +0000
committerkr.angelov <kr.angelov@gmail.com>2013-10-02 19:04:30 +0000
commitbbf6bd52c039b2b91020b770e212c6bf6314cb7a (patch)
treeabcbdcca1b2709a2eedd86db593b422ef65938df /src/compiler/GF
parent9303fe100fb842ed4aa2f88a5f5867eafef34e9c (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/GF')
-rw-r--r--src/compiler/GF/Compile/GrammarToPGF.hs13
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