Commit Graph

  • f7df62a445 Add support for literals John J. Camilleri 2021-03-22 09:12:34 +01:00
  • 2d066853f1 Add unit test for literals (fails) John J. Camilleri 2021-03-22 08:37:59 +01:00
  • f900ea3885 Don't process impossible values at all (not even for finding their types) John J. Camilleri 2021-03-16 16:59:58 +01:00
  • 3e2673de3b Use modify instead of insert: results mildly better but not significantly lpgf-memo John J. Camilleri 2021-03-16 16:45:57 +01:00
  • d9c37fc093 Minors to LPGF readme John J. Camilleri 2021-03-12 13:47:36 +01:00
  • c9f0867491 Remove state Map from compilation John J. Camilleri 2021-03-12 13:46:50 +01:00
  • 6c6a201d96 Introduce state with Map for caching compilation, but results are worse John J. Camilleri 2021-03-12 13:39:56 +01:00
  • c058457337 Change Data.Text to String as a test, seemingly makes no difference. 1775887399816507341/tmp_refs/heads/lpgf-string 1775887399816507341/lpgf-string 1775882879448700480/tmp_refs/heads/lpgf-string 1775882879448700480/lpgf-string lpgf-string John J. Camilleri 2021-03-10 16:50:26 +01:00
  • 8f5033e4ce Add notes on profiling John J. Camilleri 2021-03-09 08:36:35 +01:00
  • 126b61ea03 Merge branch 'master' into lpgf John J. Camilleri 2021-03-08 13:52:34 +01:00
  • 9b4f2dd18b Remove notice about RGL not being included anymore from build scripts John J. Camilleri 2021-03-08 13:48:30 +01:00
  • 99abb9b2a5 Add Phrasebook benchmark snippet to LPGF README John J. Camilleri 2021-03-08 13:37:02 +01:00
  • 3e9d12854a Switch to 10000-tree Phrasebook treebank. All errors to do with missing functions, plus variants in German. John J. Camilleri 2021-03-08 11:19:06 +01:00
  • fd07946a50 Remove commented line John J. Camilleri 2021-03-08 10:42:16 +01:00
  • c76efcf916 Use C runtime in mkTreebank script John J. Camilleri 2021-03-08 10:17:03 +01:00
  • 785d6069e2 Fix lin2string and pass all unittests and Phrasebook John J. Camilleri 2021-03-08 09:53:10 +01:00
  • 0f4b349b0b Remove old commented code John J. Camilleri 2021-03-05 16:51:59 +01:00
  • dbf369aae5 Make removal of record fields recursive. Latest results with Phrasebook: John J. Camilleri 2021-03-05 16:48:05 +01:00
  • 0d4659fe8c Add workaround for missing param defs. Add links to gf-core issues in workaround comments. John J. Camilleri 2021-03-05 13:23:00 +01:00
  • 575a746a3e Add LPGF function for catching errors. Manual fixes to Phrasebook treebank. John J. Camilleri 2021-03-05 12:05:25 +01:00
  • 70581c2d8c Improve base case in table handling, cleanup. Add run-phrasebook script, current output: John J. Camilleri 2021-03-04 17:09:35 +01:00
  • bca1e2286d New handling of tables, works for all tests but Phrasebook still fails John J. Camilleri 2021-03-04 16:42:56 +01:00
  • 94f76b9e36 Add more tests to Params5 which cause it to fail again John J. Camilleri 2021-03-04 13:38:55 +01:00
  • f5886bf447 Add more complex param/table unit tests and pass them. Still fails on Phrasebook though. John J. Camilleri 2021-03-04 12:37:12 +01:00
  • 0ba0438dc7 Add a little colour to benchmark output John J. Camilleri 2021-03-04 10:20:57 +01:00
  • 30b016032d Also store Pre prefixes in token map. Introduce IntMapBuilder data structure. John J. Camilleri 2021-03-04 09:58:17 +01:00
  • 4082c006c3 Extract token strings and put them in map which linfuns refer to by index, to reduce LPGF sizes. John J. Camilleri 2021-03-04 00:16:12 +01:00
  • adc162b374 Pass all unit tests and Foods again, with new strategy. Cleanup. John J. Camilleri 2021-03-03 15:21:32 +01:00
  • 3beed2c49e Replace list comprehension lookups with maps. Halfway through transitioning to new strategy for tables/params, see testsuite/lpgf/README.md. John J. Camilleri 2021-03-03 13:26:03 +01:00
  • a8e3dc8855 Improve mkTreebank script. Add 100-tree Phrasebook treebank. Improve output in testsuite. John J. Camilleri 2021-03-03 11:01:31 +01:00
  • 997d7c1694 Use ErrorMonad instead of IOE John J. Camilleri 2021-03-03 09:36:48 +01:00
  • 4c09e4a340 Remove LF prefix from constructors. Pass all unit tests and Foods again, but improvements/cleanup still necessary. John J. Camilleri 2021-03-03 09:19:52 +01:00
  • 9dda5dfa8a (Homepage) Link to summer school 2021 Inari Listenmaa 2021-03-01 04:23:39 +01:00
  • 2fd94f5f57 Merge pull request #99 from inariksit/refman-updates Inari Listenmaa 2021-03-01 04:16:47 +01:00
  • 33e0e98aec Add 1-tree treebank for Phrasebook in a few languages John J. Camilleri 2021-02-28 00:34:46 +01:00
  • 83bc3c9c6e More work on params: pass all tests except params1 (!) John J. Camilleri 2021-02-27 23:13:02 +01:00
  • f42b5ec9ef More work on params, but Foods fails now John J. Camilleri 2021-02-26 20:25:05 +01:00
  • 4771d9c356 WIP params John J. Camilleri 2021-02-26 17:18:21 +01:00
  • ba3e09cc38 Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core krangelov 2021-02-26 14:59:18 +01:00
  • 8fbfc0b4a9 bracketedLinearize now reports the binding spots just like the Haskell binding krangelov 2021-02-26 14:58:31 +01:00
  • 9785f8351d Reduce Params2 further John J. Camilleri 2021-02-26 11:52:12 +01:00
  • 6a5d735904 Reduce Params2 unittest (still fails) John J. Camilleri 2021-02-26 10:26:11 +01:00
  • 8324ad8801 Add pretty-printing of LPGF grammars, to help debugging John J. Camilleri 2021-02-26 10:13:33 +01:00
  • f9b8653ab2 (refman) Add section about lists + links to my blog Inari Listenmaa 2021-02-22 23:18:42 +08:00
  • 20290be616 Add Params2 unit test, from problem uncovered in PhrasebookGer John J. Camilleri 2021-02-22 10:52:37 +01:00
  • b4a393ac09 Pass missing unit test John J. Camilleri 2021-02-21 14:22:46 +01:00
  • 9942908df9 Add unit test for missing lins John J. Camilleri 2021-02-21 14:05:31 +01:00
  • dca2ebaf72 Add Phrasebook to testsuite. Move grammars into subfolders. Add run-bench script. John J. Camilleri 2021-02-20 13:22:29 +01:00
  • 5ad5789b31 Filter out record fields which don't exist in lintype John J. Camilleri 2021-02-19 15:19:40 +01:00
  • 9f3f4139b1 Grammar and languages to run in testsuite can be specified by command line options, see README John J. Camilleri 2021-02-19 11:14:55 +01:00
  • 505c12c528 Rename run.hs to test.hs John J. Camilleri 2021-02-19 09:33:35 +01:00
  • 023b50557e Write LPGF dump to file when DEBUG is set, rather than console John J. Camilleri 2021-02-19 09:31:26 +01:00
  • 2b0493eece Tweak memory reporting and strictness in benchmark John J. Camilleri 2021-02-19 09:18:01 +01:00
  • 51e543878b Add support for wildcards when specifying modules names in benchmark compilation John J. Camilleri 2021-02-18 21:34:23 +01:00
  • 625386a14f Force evaluation in benchmark linearisation John J. Camilleri 2021-02-18 21:01:30 +01:00
  • 5240749fad Make grammar and trees files command line arguments into benchmark script John J. Camilleri 2021-02-18 15:27:25 +01:00
  • e6079523f1 Remove ParamAliasDefs by inlining their definitions John J. Camilleri 2021-02-18 14:45:10 +01:00
  • 866a2101e1 When projecting a non-existent field, return Prelude.False John J. Camilleri 2021-02-18 14:42:39 +01:00
  • d8557e8433 Enable debug output to files with envvar DEBUG=1 John J. Camilleri 2021-02-18 14:40:03 +01:00
  • 7a5bc2dab3 Separate compile/run in benchmark John J. Camilleri 2021-02-17 16:57:06 +01:00
  • 9a263450f5 Add PFG2 linearisation to benchmark John J. Camilleri 2021-02-17 15:30:11 +01:00
  • 8e1fa4981f Add memory stats to benchmark John J. Camilleri 2021-02-17 15:02:39 +01:00
  • b4fce5db59 Use envvars in benchmark for controlling PGF/LPGF. Add readme. John J. Camilleri 2021-02-17 11:44:00 +01:00
  • 6a7ead0f84 Add benchmark for comparing PGF and LPGF John J. Camilleri 2021-02-17 10:04:36 +01:00
  • d3988f93d5 writePGF et al. functions return path[s] of written files John J. Camilleri 2021-02-17 10:03:52 +01:00
  • 236dbdbba3 Minor tidying John J. Camilleri 2021-02-17 00:15:44 +01:00
  • 768c3d9b2d Include return types for params, records, pre John J. Camilleri 2021-02-17 00:04:37 +01:00
  • 29114ce606 Improve binary format, reducing Foods.lpgf from 300 to 73KB (4x smaller!) John J. Camilleri 2021-02-16 23:30:21 +01:00
  • 5be21dba1c Add and pass FoodsJpn John J. Camilleri 2021-02-16 22:49:37 +01:00
  • d5cf00f711 Add and pass all Foods languages, except Jpn John J. Camilleri 2021-02-16 22:41:28 +01:00
  • 312cfeb69d Add Afr, Amh, Cat, Cze, Dut, Ger foods grammars to testsuite John J. Camilleri 2021-02-16 22:33:26 +01:00
  • 2d03b9ee0c Finish type passing in val2lin, generalise projection case and pass FoodsFre testsuite. John J. Camilleri 2021-02-16 21:07:24 +01:00
  • 4c06c3f825 Add case for when pre is not followed by anything John J. Camilleri 2021-02-16 21:01:01 +01:00
  • 7227ede24b WIP return type from val2lin for use in projection case John J. Camilleri 2021-02-16 17:18:01 +01:00
  • 398b294734 Use Data.Text instead of String. Rename Abstr to Abstract, Concr to Concrete. John J. Camilleri 2021-02-16 16:04:40 +01:00
  • d394cacddf Add support for CAPIT and ALL_CAPIT John J. Camilleri 2021-02-16 15:17:54 +01:00
  • 21f14c2aa1 Add support for SOFT_SPACE John J. Camilleri 2021-02-16 14:57:33 +01:00
  • 23e49cddb7 Add support for SOFT_BIND (which PGF runtime doesn't support) John J. Camilleri 2021-02-16 14:51:29 +01:00
  • 4d1217b06d Add support for pre John J. Camilleri 2021-02-15 21:57:05 +01:00
  • 4f0abe5540 Add FoodsFre, fails because pre is not implemented John J. Camilleri 2021-02-15 01:14:34 +01:00
  • 109822675b Pass test with FoodsFin, by forcibly resorting record fields to make s first John J. Camilleri 2021-02-15 00:43:53 +01:00
  • d563abb928 Minors John J. Camilleri 2021-02-13 00:59:15 +01:00
  • a58a6c8a59 Add FoodsFin to testsuite (fails) John J. Camilleri 2021-02-13 00:16:03 +01:00
  • 98f6136ebd Add support for BIND John J. Camilleri 2021-02-13 00:14:35 +01:00
  • 8cfaa69b6e Handle record tables, pass FoodSwe in testsuite John J. Camilleri 2021-02-12 23:51:16 +01:00
  • a12f58e7b0 Add test case for selection using records (fails) John J. Camilleri 2021-02-10 13:55:38 +01:00
  • d5f68970b9 Add FoodsSwe (fails) John J. Camilleri 2021-02-09 10:54:51 +01:00
  • 9c2d8eb0b2 Add FoodsChi, FoodsHeb to LPGF testsuite John J. Camilleri 2021-02-09 10:14:40 +01:00
  • 173fca7f12 Merge pull request #93 from inariksit/notYet-errormsg Inari Listenmaa 2021-02-06 14:04:45 +01:00
  • 34f0fc0ba7 Fix bug in dynamic parameter handling, compile FoodsBul successfully John J. Camilleri 2021-02-03 15:41:27 +01:00
  • 42b9e7036e Support dynamic param values John J. Camilleri 2021-02-03 13:16:10 +01:00
  • 132f693713 Minor cleanup John J. Camilleri 2021-02-03 09:44:15 +01:00
  • 153bffdad7 Support nested parameters, but fails with non-static values (see FoodsBull, ASg kind.g). John J. Camilleri 2021-02-03 00:11:22 +01:00
  • d09838e97e Separate .trees and .treebank, and add a script for making the latter from the former John J. Camilleri 2021-02-02 21:46:38 +01:00
  • c94bffe435 Generalise testsuite script to use treebank files, add FoodEng John J. Camilleri 2021-02-02 21:22:36 +01:00
  • 2a5850023b Correctly handle projection, but only in limited cases John J. Camilleri 2021-02-01 13:08:39 +01:00
  • fe15aa0c00 Use canonical GF in LPGF compiler John J. Camilleri 2021-02-01 12:28:06 +01:00
  • cead0cc4c1 Add selection and projection cases but not working John J. Camilleri 2021-01-26 09:55:07 +01:00
  • 6f622b496b Rename Zero grammar to Walking John J. Camilleri 2021-01-26 09:35:21 +01:00
  • 270e7f021f Add binary instances John J. Camilleri 2021-01-25 14:42:00 +01:00