another type error revealed by record extension checking, in Est.
fixed an ambiguous reference in CatAmh.
duplicated param type definition in TenseScand removed
missing import in CatLat causing an eval error with "no reason given"; commented out PhraseLat.VocNP that gives a mysterious PMCFG generation error
ad hoc overloading: a new way to deal with name resolution conflicts. Previously the renamer warned if there was e.g. an unqualified reference to mkAdv, which could come from either Syntax or Paradigms. The renamer picked randomly one of the alternatives, which then often failed in type checking. Now, all candidates are collected into a new structure AdHocOverload [Term], which is accessed by the type checker to make the choice based on the type of the constant. This eliminates some of the warnings and some of the error due to wrong choices. In some rare cases, the inherited constants have the same type, which cannot be resolved by overloading. In such cases, the type checker does the same as the renamer did before: pick the "first" option (i.e. the one that happens to be the first in the list returned by the renamer) and issues a warning. In this patch, only a couple of lines are changed. The typechecker (RConcrete) has more substantial changes, and will be recorded as the next patch.
new overload resolution, taking care of ad hoc overloading.
Merge remote-tracking branch 'upstream/master'
Lat.VocNP issue resolved
mkV2V second preposition mistakenly omitted in Dan and Nor, now fixed
gf.cabal: add default-language to silence warning
PredicationEng now almost a functor with Swe ; details to be fixed on e.g. aux/non-aux V distinction
PredicationEng except auxiliary in questions and agreement of copula. Swe is so much simpler...
Merge remote-tracking branch 'upstream/master'
contractions of auxiliaries and negations in PredicationEng
GFC.hs: encodeFile_ is not available in the standard Data.Binary
PGF.Optimize: import unsafeFreeze from Data.Array.Unsafe for compatibility with ghc-7.8
PGF.Optimize: one more fix for unsafeFreeze
PredicationEng complete with all agreement forms and questions; questions with contracted auxiliaries still to do
started embedding Predication in the big translation grammar
first experiments running Predication with the big lexicon and the other RGL modules