Commit Graph

  • ea49a7b388 haskell-bind: add function languages inari 2014-02-07 15:56:12 +00:00
  • 9a422839cc pgf-shell: enable -rtsopts, call performGC between commands hallgren 2014-02-07 13:57:13 +00:00
  • d1ab3072db pgf-shell: enable -rtsopts, call performGC between commands hallgren 2014-02-07 13:57:13 +00:00
  • ed45089b83 completed lifting Eng verbs categories to Pred.V aarne 2014-02-07 09:53:38 +00:00
  • 74d6cd6d85 Remove that annoying <li> before Punjabi in Synopsis john.j.camilleri 2014-02-07 08:57:52 +00:00
  • dfb00211a8 refinements in VVType aarne 2014-02-06 20:46:11 +00:00
  • 957dfb83b6 fixed some memory leaks inari 2014-02-06 10:50:59 +00:00
  • 13e7d3e518 fixed some memory leaks inari 2014-02-06 10:50:59 +00:00
  • 2bc7f1049a added information to V in Predication aarne 2014-02-06 10:49:55 +00:00
  • f23bcb8a47 bugfix in the recognizer for literals in the C runtime kr.angelov 2014-02-05 20:13:52 +00:00
  • 4b8c1db6d2 bugfix in the recognizer for literals in the C runtime kr.angelov 2014-02-05 20:13:52 +00:00
  • 935e8ee4ff predication-based TransSwe delivering the first sentences aarne 2014-02-05 20:03:51 +00:00
  • b11977a152 started TransSwe with the new Predication aarne 2014-02-05 15:33:35 +00:00
  • 4fe3b482d8 qualification of type PN in Heb.mkPN to resolve overloading aarne 2014-02-05 12:39:01 +00:00
  • ddc40ee2fd Predication: factored out Prep as Adv/NP; added linref's to test with chunking aarne 2014-02-05 09:31:23 +00:00
  • bda94ebb95 some more rules included in experimental/TransEng aarne 2014-02-04 21:35:09 +00:00
  • 56bda6bb09 first experiments running Predication with the big lexicon and the other RGL modules aarne 2014-02-04 20:11:03 +00:00
  • 9e8be757d8 started embedding Predication in the big translation grammar aarne 2014-02-04 16:12:22 +00:00
  • 3953ac3371 PredicationEng complete with all agreement forms and questions; questions with contracted auxiliaries still to do aarne 2014-02-04 15:24:06 +00:00
  • edeb094cf5 PGF.Optimize: one more fix for unsafeFreeze hallgren 2014-02-04 13:47:37 +00:00
  • abfd4b9c96 PGF.Optimize: one more fix for unsafeFreeze hallgren 2014-02-04 13:47:37 +00:00
  • 9df56550cd PGF.Optimize: import unsafeFreeze from Data.Array.Unsafe for compatibility with ghc-7.8 hallgren 2014-02-04 13:44:07 +00:00
  • 8a5ade8897 PGF.Optimize: import unsafeFreeze from Data.Array.Unsafe for compatibility with ghc-7.8 hallgren 2014-02-04 13:44:07 +00:00
  • 3900d3cfbb GFC.hs: encodeFile_ is not available in the standard Data.Binary hallgren 2014-02-04 13:36:16 +00:00
  • c8310cf17c GFC.hs: encodeFile_ is not available in the standard Data.Binary hallgren 2014-02-04 13:36:16 +00:00
  • 263ae29551 contractions of auxiliaries and negations in PredicationEng aarne 2014-02-04 07:46:43 +00:00
  • caf3ed1053 PredicationEng except auxiliary in questions and agreement of copula. Swe is so much simpler... aarne 2014-02-03 18:41:32 +00:00
  • cf576d245d PredicationEng now almost a functor with Swe ; details to be fixed on e.g. aux/non-aux V distinction aarne 2014-02-03 14:04:04 +00:00
  • c97e5f4086 gf.cabal: add default-language to silence warning hallgren 2014-02-03 12:24:42 +00:00
  • a81d7db70b gf.cabal: add default-language to silence warning hallgren 2014-02-03 12:24:42 +00:00
  • 26cee4374d mkV2V second preposition mistakenly omitted in Dan and Nor, now fixed aarne 2014-02-03 08:51:03 +00:00
  • 9c415d6be6 Lat.VocNP issue resolved aarne 2014-02-03 08:49:22 +00:00
  • 2aa8ad7e76 new overload resolution, taking care of ad hoc overloading. aarne 2014-02-01 13:17:52 +00:00
  • cf196cb0dd new overload resolution, taking care of ad hoc overloading. aarne 2014-02-01 13:17:52 +00:00
  • 6dba4e6f1e 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. aarne 2014-02-01 13:10:36 +00:00
  • 2552b859fd 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. aarne 2014-02-01 13:10:36 +00:00
  • 4cc72722a6 missing import in CatLat causing an eval error with "no reason given"; commented out PhraseLat.VocNP that gives a mysterious PMCFG generation error aarne 2014-02-01 13:03:08 +00:00
  • 1a71260608 duplicated param type definition in TenseScand removed aarne 2014-02-01 12:51:54 +00:00
  • 1df85aa1fe fixed an ambiguous reference in CatAmh. aarne 2014-02-01 12:47:08 +00:00
  • 4404e9c899 another type error revealed by record extension checking, in Est. aarne 2014-02-01 12:30:40 +00:00
  • d90eededaf typo in Concrete type checker: when type checking <e : t>, return annotated e and not e itself. Fixed in RConcrete, which should soon replace Concrete; and hopefully will be replaced by some cleaner code soon, such as ConcreteNew which has been under construction for quite some time. aarne 2014-01-31 21:16:07 +00:00
  • c727f7c85c typo in Concrete type checker: when type checking <e : t>, return annotated e and not e itself. Fixed in RConcrete, which should soon replace Concrete; and hopefully will be replaced by some cleaner code soon, such as ConcreteNew which has been under construction for quite some time. aarne 2014-01-31 21:16:07 +00:00
  • e97f31c175 found one type error in the whole RGL with the new (experimental) type checker, and fixed it. aarne 2014-01-31 21:15:21 +00:00
  • 4d4327ad8a PredicationSwe now uses record updates; PredicationSwO is old-style aarne 2014-01-31 20:44:34 +00:00
  • 6f03e517c8 experimental type checker module GF.Compile.TypeCheck.RConcrete.hs with record updates enabled by ** expressions. Can be changed back to Concrete.hs by just changing one import command in GF.Compile.CheckGrammar.hs. The worst thing that *should* happen with the new type checker is that some old code is detected to be invalid, which happens if it contains a type-incompatible record extension, e.g. {x = "foo"} ** {x = 1}. Previously such errors were silently ignored. A set of test runs detected one such error in the RGL, which was corrected. On the positive side, the new type checker now enables record updates in the natural way: R ** {x = 1} will give value x = 1 overshadowing any value of x in R (provided the expected type of x is Int). lib/src/experimental/PredicationSwe.gf illustrates this, as opposed to PredicationSwO.gf which has to use old-style copying of even the unchanged record fields. aarne 2014-01-31 20:28:25 +00:00
  • e19a28f46c experimental type checker module GF.Compile.TypeCheck.RConcrete.hs with record updates enabled by ** expressions. Can be changed back to Concrete.hs by just changing one import command in GF.Compile.CheckGrammar.hs. The worst thing that *should* happen with the new type checker is that some old code is detected to be invalid, which happens if it contains a type-incompatible record extension, e.g. {x = "foo"} ** {x = 1}. Previously such errors were silently ignored. A set of test runs detected one such error in the RGL, which was corrected. On the positive side, the new type checker now enables record updates in the natural way: R ** {x = 1} will give value x = 1 overshadowing any value of x in R (provided the expected type of x is Int). lib/src/experimental/PredicationSwe.gf illustrates this, as opposed to PredicationSwO.gf which has to use old-style copying of even the unchanged record fields. aarne 2014-01-31 20:28:25 +00:00
  • dbd68b987e gf-server.cabal: flag to include C run-time support in the FastCGI PGF service hallgren 2014-01-31 16:11:41 +00:00
  • 82fd8c9f94 gf-server.cabal: flag to include C run-time support in the FastCGI PGF service hallgren 2014-01-31 16:11:41 +00:00
  • e6ab8c4aa4 fix in the bracketedLinearize in Haskell kr.angelov 2014-01-31 08:52:32 +00:00
  • f7b978f063 fix in the bracketedLinearize in Haskell kr.angelov 2014-01-31 08:52:32 +00:00
  • 8b1b17c33b abstracting complement and extension insertion in the test file PredicationSwR.gf aarne 2014-01-31 08:13:28 +00:00
  • 4e126a1356 an example of how grammars look with record updates: PredicationSwR (as compared with PredicationSwe) aarne 2014-01-30 06:50:57 +00:00
  • f0ddf0fe72 changes to pools in haskell bindings inari 2014-01-29 16:02:07 +00:00
  • bdf297d0b1 changes to pools in haskell bindings inari 2014-01-29 16:02:07 +00:00
  • 38d354c199 RGL browser: add recent modules list john.j.camilleri 2014-01-29 13:21:52 +00:00
  • c6703f267f Maybe.gf: add isJust function (synonym for exists) john.j.camilleri 2014-01-29 11:17:50 +00:00
  • 3b12abb42e RGL browser: add ability to search for module name john.j.camilleri 2014-01-29 10:53:07 +00:00
  • 0900ea04ed restored the a.s field in infinitives in PredicationSwe, needed in linearization. aarne 2014-01-29 08:02:44 +00:00
  • 65cc186f13 PredicationSwe: suppress tense string in infinitives to change spurious ambiguity to a metavariable. Maybe a better solution, but to be seen. aarne 2014-01-28 21:42:32 +00:00
  • 0386334f49 Wide coverage translation web demo improvements hallgren 2014-01-28 16:51:21 +00:00
  • f1c4b353e3 Wide coverage translation web demo improvements hallgren 2014-01-28 16:51:21 +00:00
  • 06bb2a1dad PGFService.hs: fix a type ambiguity when compiling without C run-time support hallgren 2014-01-27 16:46:48 +00:00
  • 4e6db5d621 PGFService.hs: fix a type ambiguity when compiling without C run-time support hallgren 2014-01-27 16:46:48 +00:00
  • b3251f402d PGFService.hs: add a cache for C run-time parse result and a start offset parameter hallgren 2014-01-27 16:32:09 +00:00
  • ca72fa94eb PGFService.hs: add a cache for C run-time parse result and a start offset parameter hallgren 2014-01-27 16:32:09 +00:00
  • 88341987a8 gf -server: fix a redirection bug... hallgren 2014-01-27 16:30:03 +00:00
  • 1d251b2395 gf -server: fix a redirection bug... hallgren 2014-01-27 16:30:03 +00:00
  • fbcb66fd19 Adv added to Cl instead of VP reduces ambiguity but needs some work to restore coverage. aarne 2014-01-27 14:11:47 +00:00
  • 1db9dfec8c typos and name changes in PredicationSwe aarne 2014-01-27 12:43:32 +00:00
  • 1db4f8d456 commented PredicationSwe with todo's and made some abstractions to enable a functor aarne 2014-01-27 07:53:05 +00:00
  • 7c8807279e Predication: participles of V's as AP's. aarne 2014-01-26 22:06:39 +00:00
  • a7e80c218c added passives to Predication - forms selected from tables as the first step of VP formation aarne 2014-01-26 18:46:20 +00:00
  • a33e0da323 set of predication test examples; support for N-complement verbs such as "we were promoted to professors" aarne 2014-01-26 11:27:56 +00:00
  • dc70c946f5 PredicationSwe: omission of auxiliary in compound tenses, subordinate and infinitive aarne 2014-01-26 10:43:03 +00:00
  • 11395b50f0 compound tenses in PredicationSwe aarne 2014-01-25 17:35:24 +00:00
  • 4a245c1253 completing all verb subcats and dealing with subject/object control; only fully implemented in PredicationSwe aarne 2014-01-25 11:51:52 +00:00
  • 42a28523c0 VP coordination, focus in QCl in Predication. Swe is close to correct but in Eng details with auxiliaries have to be fixed. aarne 2014-01-24 13:57:44 +00:00
  • daa48610b5 gf -server: allow multiple PGF service requests to be handled in parallel hallgren 2014-01-24 13:49:02 +00:00
  • 39a0d9b668 gf -server: allow multiple PGF service requests to be handled in parallel hallgren 2014-01-24 13:49:02 +00:00
  • 55ea6cbec5 fix in the Haskell runtime kr.angelov 2014-01-24 08:34:55 +00:00
  • fbc8bb6769 fix in the Haskell runtime kr.angelov 2014-01-24 08:34:55 +00:00
  • 7d41ff0b9f testing Predication with Swe aarne 2014-01-23 21:20:52 +00:00
  • 2c71e31a64 generalized some types in Predication so that the same fun's now cover slash propagation ("who does she force us to love") as well aarne 2014-01-23 17:50:30 +00:00
  • 77150e0b27 gf.cabal: bump version number to 3.5.12 hallgren 2014-01-21 16:30:01 +00:00
  • 0a185814fd demos/translation: add preliminary online demo, hallgren 2014-01-23 14:56:52 +00:00
  • 14ce8509f8 simple translator: Replaced 'GF Robust Parser' with 'GF Wide Coverage Translation' hallgren 2014-01-21 16:47:23 +00:00
  • 1189a13840 gf.cabal: bump version number to 3.5.12 hallgren 2014-01-21 16:30:01 +00:00
  • 8c1128c16c experimental Predication with dependent types - promising, but far from finished aarne 2014-01-23 16:12:28 +00:00
  • caacaa9d8b demos/translation: add preliminary online demo, hallgren 2014-01-23 14:56:52 +00:00
  • 7111684795 removed obsolete DictEng??? grammars and marked Parse as obsolete in Makefile aarne 2014-01-22 15:00:16 +00:00
  • 1ca7e33ea6 working through translator/Extensions with some reorganization and generalizations aarne 2014-01-22 14:44:56 +00:00
  • fca176cbbf new copy of DictionaryBul with phrasetable extensions aarne 2014-01-22 14:44:22 +00:00
  • 7cf6391ee1 simple translator: Replaced 'GF Robust Parser' with 'GF Wide Coverage Translation' hallgren 2014-01-21 16:47:23 +00:00
  • db67c180a5 approximately 3500 new Bulgarian words extracted from the phrasetables for EuroParl kr.angelov 2014-01-21 16:51:56 +00:00
  • 8a5717d38c notes in Extensions aarne 2014-01-21 15:23:02 +00:00
  • 9b986255bf completed Translate grammars for all 8 languages; a Makefile entry for them; updated doc/translation.html. What remains to do is to make the new documentation facilities (GF-driven, in the Documentation modules) available in the Android app, so that the Parse* modules can be retired from translation tasks. aarne 2014-01-21 08:20:46 +00:00
  • 370296c0ba added Translate modules for Hindi aarne 2014-01-21 07:26:53 +00:00
  • c20f5c3cea removed paths to english in Translate modules aarne 2014-01-21 07:26:17 +00:00
  • 355777e0ca added refactored TranslateFin. Starting to get confident that the refactoring is on the right track. aarne 2014-01-20 21:52:14 +00:00
  • 68bee264a5 Translate grammar refactoring for Bul and Chi aarne 2014-01-20 21:32:39 +00:00