Commit Graph

  • 3fe0cccaf7 remove trace in the PMCFG compilation krasimir 2008-10-14 09:40:55 +00:00
  • 4573d10442 the new optimized incremental parser and the common subexpression elimination optimization in PMCFG krasimir 2008-10-14 08:00:50 +00:00
  • 0c66ad597d register PGF.AbsCompute and PGF.Paraphrase in GF.cabal krasimir 2008-10-14 07:57:32 +00:00
  • e054f9b063 remove GF.Source.ErrM from GF.cabal krasimir 2008-10-13 20:03:29 +00:00
  • 54f8fd9ec1 added a paraphrase method applying def's in both directions, in subtrees, and step by step; doesn't work properly yet aarne 2008-10-13 16:41:21 +00:00
  • 41cc4694fd for_Prep is 'para' in Spa. jordi.saludes 2008-10-11 21:50:28 +00:00
  • cdff4db5c4 rename emptyFRulesEnv to emptyGrammarEnv krasimir 2008-10-15 09:26:01 +00:00
  • accff02c8d Added PGF.TypeCheck to .cabal. bjorn 2008-10-15 09:05:37 +00:00
  • 8386c8b939 threat category _Var as a literal category krasimir 2008-10-15 08:38:34 +00:00
  • b01fcc8c3c generate metavariables in the tree extraction for PMCFG krasimir 2008-10-15 08:02:12 +00:00
  • ebef7ecb7b store the total number of PMCFG categories in the PGF file krasimir 2008-10-15 07:47:57 +00:00
  • 50fc82d4db literal categories in the incremental parser krasimir 2008-10-14 15:29:50 +00:00
  • b6666624a0 rudimentary abstract syntax type checker and solver in PGF aarne 2008-10-14 14:34:08 +00:00
  • 94bc0c9032 pass the full Tokn type to the add function not just the KS string krasimir 2008-10-14 13:29:45 +00:00
  • b862003c11 moved paraphrases to examples/test/, meant for small grammars used for testing various aspects aarne 2008-10-14 11:20:44 +00:00
  • df08e52d5c paraphrase works a little better now ; added examples/paraphrase for testing aarne 2008-10-14 11:19:30 +00:00
  • e94f1cf2c7 remove trace in the PMCFG compilation krasimir 2008-10-14 09:40:55 +00:00
  • 1fc909c101 the new optimized incremental parser and the common subexpression elimination optimization in PMCFG krasimir 2008-10-14 08:00:50 +00:00
  • fa4003535f register PGF.AbsCompute and PGF.Paraphrase in GF.cabal krasimir 2008-10-14 07:57:32 +00:00
  • cdca907909 remove GF.Source.ErrM from GF.cabal krasimir 2008-10-13 20:03:29 +00:00
  • 8abf7f5c8a added a paraphrase method applying def's in both directions, in subtrees, and step by step; doesn't work properly yet aarne 2008-10-13 16:41:21 +00:00
  • fbc72e3230 added a note on refreshing variables in AbsCompute aarne 2008-10-10 16:01:07 +00:00
  • a643cc522d added a note on refreshing variables in AbsCompute aarne 2008-10-10 16:01:07 +00:00
  • 4e795bab9b a first version of PGF.AbsCompute aarne 2008-10-10 15:53:17 +00:00
  • 8555c65c36 a first version of PGF.AbsCompute aarne 2008-10-10 15:53:17 +00:00
  • 917f417413 AdjOrd instance of mkAP aarne 2008-10-10 12:26:09 +00:00
  • 76e9964d98 AdjOrd instance of mkAP aarne 2008-10-10 12:26:09 +00:00
  • 88798b2a23 Added option to treat some categories as lexical when generating Haskell data types. bjorn 2008-10-10 11:55:12 +00:00
  • 7a5d3da347 Added option to treat some categories as lexical when generating Haskell data types. bjorn 2008-10-10 11:55:12 +00:00
  • 18aa48941c oops - forgot mkPresent as well aarne 2008-10-08 08:35:51 +00:00
  • 9d6f088dc0 oops - forgot mkPresent as well aarne 2008-10-08 08:35:51 +00:00
  • eba875c7d4 oops - had forgotten Makefile from next-lib aarne 2008-10-08 08:28:39 +00:00
  • 51046b5639 oops - had forgotten Makefile from next-lib aarne 2008-10-08 08:28:39 +00:00
  • 21028dbe94 the parameter for RS and RCl should be Agr and not GenNum (bulgarian) krasimir 2008-10-07 18:17:32 +00:00
  • ab14205108 next-lib now compiles webalt ; removed subdir mathematical/ for simplicity aarne 2008-10-06 15:27:14 +00:00
  • 43dcd61cbf next-lib now compiles webalt ; removed subdir mathematical/ for simplicity aarne 2008-10-06 15:27:14 +00:00
  • e765b97fc4 simplified 1.5 by removing mathematical/ aarne 2008-10-06 12:49:13 +00:00
  • e56e6483f6 simplified 1.5 by removing mathematical/ aarne 2008-10-06 12:49:13 +00:00
  • 394050d9f7 added a command for tree operations and started a module for defining them aarne 2008-10-05 19:49:26 +00:00
  • f376576af0 added a command for tree operations and started a module for defining them aarne 2008-10-05 19:49:26 +00:00
  • e88c7a28a7 adapted old AbsCompute for use with source GF terms aarne 2008-10-05 18:01:42 +00:00
  • 673bc27755 adapted old AbsCompute for use with source GF terms aarne 2008-10-05 18:01:42 +00:00
  • e20969ab5d prevent pgf from being empty when there are no concrete syntaxes aarne 2008-10-05 15:44:16 +00:00
  • 1f8c999f1b prevent pgf from being empty when there are no concrete syntaxes aarne 2008-10-05 15:44:16 +00:00
  • 21aa3cfa17 forced checking def definitions; accept pgf with no concretes aarne 2008-10-05 15:21:08 +00:00
  • be9ff0cbca forced checking def definitions; accept pgf with no concretes aarne 2008-10-05 15:21:08 +00:00
  • 24207d40e9 extended AP with Ord and compar in 1.5 aarne 2008-10-03 20:42:09 +00:00
  • 16a1a48874 extended AP with Ord and compar in 1.5 aarne 2008-10-03 20:42:09 +00:00
  • 27de3c0e7b print full types instead of lock field heuristics in overload resolution if the heuristic is misleading aarne 2008-10-03 18:18:21 +00:00
  • 56c2c0e067 print full types instead of lock field heuristics in overload resolution if the heuristic is misleading aarne 2008-10-03 18:18:21 +00:00
  • 4c08128503 return error on undefined opers in instance and resource aarne 2008-10-03 16:16:45 +00:00
  • 4b707dbf01 return error on undefined opers in instance and resource aarne 2008-10-03 16:16:45 +00:00
  • 4bfd3f91cf added mkCard to resource 1.4 aarne 2008-10-03 13:18:46 +00:00
  • 5bc73e10bc Merge mine and aarne's variants linearization changes. bjorn 2008-10-03 09:53:25 +00:00
  • 338d4132c4 Merge mine and aarne's variants linearization changes. bjorn 2008-10-03 09:53:25 +00:00
  • 59cb392bda Don't build FV terms if there is exactly one variant. bjorn 2008-10-03 08:18:24 +00:00
  • 3e3ba03724 Don't build FV terms if there is exactly one variant. bjorn 2008-10-03 08:18:24 +00:00
  • 8290be0eb2 made variants checking symmetric for Ints m == Ints n in PGF.Check aarne 2008-10-03 08:02:54 +00:00
  • feecb1c368 made variants checking symmetric for Ints m == Ints n in PGF.Check aarne 2008-10-03 08:02:54 +00:00
  • 759ee4f926 fixed the over-expansion of record variants in PGF.Linearize aarne 2008-10-03 07:57:40 +00:00
  • 0b5a7abb2c fixed the over-expansion of record variants in PGF.Linearize aarne 2008-10-03 07:57:40 +00:00
  • 07b3870699 Fixed variants semantics in PGF linearization to expand make variants of argument lists, to get things like Auto/Wagen gender right. bjorn 2008-10-03 07:53:37 +00:00
  • ae13f4f2c9 Fixed variants semantics in PGF linearization to expand make variants of argument lists, to get things like Auto/Wagen gender right. bjorn 2008-10-03 07:53:37 +00:00
  • 1e8699d159 Added | syntax for variants. bjorn 2008-10-03 07:35:26 +00:00
  • 4b41039a5d Added | syntax for variants. bjorn 2008-10-03 07:35:26 +00:00
  • b7fe4eacc9 Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.haskell.org/gf/ticket/23 bjorn 2008-10-03 07:16:39 +00:00
  • 6d4d6bce68 Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.haskell.org/gf/ticket/23 bjorn 2008-10-03 07:16:39 +00:00
  • fa69bd8ab3 Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is used, no hand-hacking is needed. bjorn 2008-10-02 14:11:41 +00:00
  • f362f6ad01 Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is used, no hand-hacking is needed. bjorn 2008-10-02 14:11:41 +00:00
  • 9e501521b4 Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf. bjorn 2008-10-02 13:42:24 +00:00
  • 2fc5c7f579 Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf. bjorn 2008-10-02 13:42:24 +00:00
  • 86a30ef992 Converted GF/Source/*.hs to Unix line endings, to be able to see what happens when I regenerated the files. bjorn 2008-10-02 13:23:54 +00:00
  • c21d0d10b8 Converted GF/Source/*.hs to Unix line endings, to be able to see what happens when I regenerated the files. bjorn 2008-10-02 13:23:54 +00:00
  • 8fb068df6a Fail more gracefully on unknown file name extensions. bjorn 2008-10-02 12:32:03 +00:00
  • 7c30f07f75 Fail more gracefully on unknown file name extensions. bjorn 2008-10-02 12:32:03 +00:00
  • 6c6ff81109 small fixes in tutorial ; added txt source of the same aarne 2008-10-01 16:07:09 +00:00
  • 3d2465bb37 small fixes in tutorial ; added txt source of the same aarne 2008-10-01 16:07:09 +00:00
  • 429092ac6a added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding aarne 2008-10-01 16:01:51 +00:00
  • d53f8e0644 added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding aarne 2008-10-01 16:01:51 +00:00
  • 307042a6a1 refreshed the tutorial aarne 2008-10-01 13:13:10 +00:00
  • 81a93979ad refreshed the tutorial aarne 2008-10-01 13:13:10 +00:00
  • 8fbdf3e57c Italian "quello" corrected aarne 2008-10-01 12:11:29 +00:00
  • 0c964105d9 Italian "quello" corrected aarne 2008-10-01 12:11:29 +00:00
  • 86a6e282da fix the translation of "fat" in bulgarian krasimir 2008-10-01 09:37:59 +00:00
  • c2d41e70be download page for beta2 ; link to JEM demo aarne 2008-10-01 09:20:36 +00:00
  • c0a800e73e download page for beta2 ; link to JEM demo aarne 2008-10-01 09:20:36 +00:00
  • 08110bf103 more work with Parametric aarne 2008-09-30 20:21:33 +00:00
  • 2f54dcb842 more work with Parametric aarne 2008-09-30 20:21:33 +00:00
  • e9d67dbd2d started experiment on parametrizing more of RG definition aarne 2008-09-30 14:16:39 +00:00
  • fb3e468373 started experiment on parametrizing more of RG definition aarne 2008-09-30 14:16:39 +00:00
  • 203430ae6d Use parantheses for precedence in pgf-pretty lincats. bjorn 2008-09-30 12:02:58 +00:00
  • cec77015ad Use parantheses for precedence in pgf-pretty lincats. bjorn 2008-09-30 12:02:58 +00:00
  • 446aa1b5db Added --cfg option for specifying which CFG transformations to use. Added startcatonly CFG trasnformation. Removed output formats that are now easily done with --cfg: "regular", "nolr". bjorn 2008-09-30 11:52:11 +00:00
  • 14373feb3a Added --cfg option for specifying which CFG transformations to use. Added startcatonly CFG trasnformation. Removed output formats that are now easily done with --cfg: "regular", "nolr". bjorn 2008-09-30 11:52:11 +00:00
  • 794fbd4a41 Fixed CFG start cats for categories with more than one constituent. bjorn 2008-09-30 10:53:36 +00:00
  • ed7d52843b Fixed CFG start cats for categories with more than one constituent. bjorn 2008-09-30 10:53:36 +00:00
  • 3ca6c605b0 Use filtering in regular printer. bjorn 2008-09-30 09:39:09 +00:00
  • 3ad9d12c81 Use filtering in regular printer. bjorn 2008-09-30 09:39:09 +00:00
  • 41c95825f3 SRG conversion: print CFG when a unknown cat is found in renameCats. Do filtering in ebnf printer. bjorn 2008-09-30 09:32:16 +00:00
  • e1d90c00b9 SRG conversion: print CFG when a unknown cat is found in renameCats. Do filtering in ebnf printer. bjorn 2008-09-30 09:32:16 +00:00