1
0
forked from GitHub/gf-core

Commit Graph

  • 32a36a246c commented out stringMark from Lang since it creates hopeless ambiguities in parsing aarne 2014-02-11 20:09:25 +00:00
  • 4ce2379869 DictionarySwe patched with Saldo-WordNet mappings. Most of the changes should be improvements, but some may not... the old definitions are kept as variants. aarne 2014-02-11 17:41:25 +00:00
  • 44ee072331 Work on web api & apps based on the C run-time system hallgren 2014-02-11 16:43:29 +00:00
  • 15bf881e45 Work on web api & apps based on the C run-time system hallgren 2014-02-11 16:43:29 +00:00
  • 23dc22cea4 GFServer.hs: avoid intertwined log messages from parallel requests hallgren 2014-02-11 14:22:12 +00:00
  • d99f3e19d7 GFServer.hs: avoid intertwined log messages from parallel requests hallgren 2014-02-11 14:22:12 +00:00
  • 4c26fc80ee module Markup for marking up subphrases with html tags (or other things). Implemented for Eng and Swe so far. aarne 2014-02-11 15:42:17 +00:00
  • c9af5d11c0 Restore compatibility with GHC 7.0 hallgren 2014-02-10 21:44:34 +00:00
  • be31b52e07 Restore compatibility with GHC 7.0 hallgren 2014-02-10 21:44:34 +00:00
  • cbe0adb71b Swe dictionary entries from Saldo-Wordnet. Should be checked before replacing old words in DictionarySwe aarne 2014-02-10 18:43:42 +00:00
  • 44c95e9c99 fixes in DictionaryBul kr.angelov 2014-02-10 16:24:08 +00:00
  • 60980d1617 Fix broken C runtime support in gf.cabal and PGFService.hs hallgren 2014-02-10 16:04:40 +00:00
  • ac3fae334e Fix broken C runtime support in gf.cabal and PGFService.hs hallgren 2014-02-10 16:04:40 +00:00
  • 0f7ea733cc some words in DictionarySwe corrected aarne 2014-02-10 14:12:58 +00:00
  • 44a764cd2f proper error checking in the C runtime kr.angelov 2014-02-10 14:07:17 +00:00
  • 2451ed123d proper error checking in the C runtime kr.angelov 2014-02-10 14:07:17 +00:00
  • 1bcb2d06e3 haskell-bind: fix broken pgf-shell hallgren 2014-02-10 12:59:31 +00:00
  • 1efb9824f8 haskell-bind: fix broken pgf-shell hallgren 2014-02-10 12:59:31 +00:00
  • 5818b0fe1b bugfix in pgf2-bind.cabal kr.angelov 2014-02-10 10:28:19 +00:00
  • 0e2c3f86a6 bugfix in pgf2-bind.cabal kr.angelov 2014-02-10 10:28:19 +00:00
  • 6cdd5efb9e changes in translator/ExtensionsFin after the datatype reform aarne 2014-02-09 20:41:47 +00:00
  • 063fe069af PredFin and NDTransFin finally working aarne 2014-02-09 20:16:29 +00:00
  • 6faaa795c5 disabled ad hoc overloading, as it still causes mysterious errors. It is just a few lines in Rename.hs aarne 2014-02-09 19:55:17 +00:00
  • 1746e3ad2a updated haskell-bind/README kr.angelov 2014-02-09 20:56:01 +00:00
  • adeeb47e06 cleanup the code for the FFI binding. The API is now more uniform with the Python and the Java bindings. Fixed a lot of memory leaks. kr.angelov 2014-02-09 20:45:11 +00:00
  • bcabc34527 disabled ad hoc overloading, as it still causes mysterious errors. It is just a few lines in Rename.hs aarne 2014-02-09 19:55:17 +00:00
  • e11a247d82 updated haskell-bind/README kr.angelov 2014-02-09 20:56:01 +00:00
  • e527a526d8 cleanup the code for the FFI binding. The API is now more uniform with the Python and the Java bindings. Fixed a lot of memory leaks. kr.angelov 2014-02-09 20:45:11 +00:00
  • f30c60c3d7 GuVariant is now plain uintptr_t instead of a structure to make it easier to write Haskell bindings kr.angelov 2014-02-09 19:07:15 +00:00
  • 7c66e438e1 GuVariant is now plain uintptr_t instead of a structure to make it easier to write Haskell bindings kr.angelov 2014-02-09 19:07:15 +00:00
  • d60db9a4c3 shrinking the size of some Fin datatypes (in general RGL) results in pgf size reduction to 25% of previous size aarne 2014-02-09 17:38:24 +00:00
  • 8b9daedc14 factored out linrefs to opers in PredInterface aarne 2014-02-09 10:34:21 +00:00
  • 26f6fea5a8 some refactoring, and experiments with Fin which is still too big in pgf aarne 2014-02-09 09:31:42 +00:00
  • bd51fab5e0 Fin modules of NDTrans in place, but refactoring in needed aarne 2014-02-08 22:25:06 +00:00
  • 1c3d7ea22d inheriting some translator Extensions in NDTrans. Many of them are not needed, since they are now covered by Pred. aarne 2014-02-08 20:18:27 +00:00
  • e9af74ae09 moved development-phrase modules to subdir alternatives aarne 2014-02-08 19:55:59 +00:00
  • 2ff1587382 factored out fun's for lifting RGL functions to Pred, and added some aarne 2014-02-08 19:53:11 +00:00
  • 3c97dc4ed3 nondependent versions of Pred grammars, implemented by a functor over the dependent version so that no new concrete syntax code is needed. This is at the moment the grammar of choice for translation: NDTransEng is several times faster than TransEng and even faster than the old TranslateEng. The next step is to make sure that all coverage is preserved; some new coverage is already there. aarne 2014-02-08 14:28:58 +00:00
  • b1aec70571 predication Test: top-level grammar with Lexicon and Structural instead of the big Dictionary aarne 2014-02-08 10:45:17 +00:00
  • 2e7190c55f functorization of Pred and Trans now includes both Eng and Swe aarne 2014-02-08 09:10:57 +00:00
  • b502c26e83 qualifications in finnish/stemmed/WNKotus to help overloading aarne 2014-02-07 22:54:54 +00:00
  • 1da64de767 PredEng now works with a functor. Some decisions about name clashes to do. aarne 2014-02-07 17:59:37 +00:00
  • 5edf45c2a0 lib/src/Makefile: TranslateChi needs a bigger stack hallgren 2014-02-07 17:00:16 +00:00
  • 1d69feac38 gf.cabal: pgf-shell needs containers now hallgren 2014-02-07 16:42:51 +00:00
  • 01b90b95f8 gf.cabal: pgf-shell needs containers now hallgren 2014-02-07 16:42:51 +00:00
  • 680bf64454 pgf-shell: show the names of the concrete syntaxes after loading the grammar hallgren 2014-02-07 16:40:13 +00:00
  • 96594e405d pgf-shell: show the names of the concrete syntaxes after loading the grammar hallgren 2014-02-07 16:40:13 +00:00
  • 8de56530e0 haskell-bind: add function languages inari 2014-02-07 15:56:12 +00:00
  • 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