Commit Graph

  • 655c2dce62 Digits in Constructors aarne 2007-12-18 17:42:38 +00:00
  • 90a84d1dcd brought derived resources up to date wrt Quant aarne 2007-12-18 10:46:41 +00:00
  • f85ead01b3 updated all resource langs to Digits (russian, arabic not complete) aarne 2007-12-18 09:55:24 +00:00
  • 2d5f98dc05 took back smart type of Int ; Digits type in resource and some adjustments of Det syntax (not yet for romance and russian) aarne 2007-12-17 18:12:46 +00:00
  • 7551c70db6 restored Int size and last ; added lib/prelude to be the last in any grammar path aarne 2007-12-16 22:24:36 +00:00
  • eb10ccbe7c restored Int size and last ; added lib/prelude to be the last in any grammar path aarne 2007-12-16 22:24:36 +00:00
  • 49b3ffb7a0 completed ConvertGFCC for all terms aarne 2007-12-14 11:16:01 +00:00
  • 3f4bb6c40c completed ConvertGFCC for all terms aarne 2007-12-14 11:16:01 +00:00
  • f85ba4bfa0 removed dep. on GFCCRaw aarne 2007-12-14 09:25:18 +00:00
  • 61a9bdbe34 removed dep. on GFCCRaw aarne 2007-12-14 09:25:18 +00:00
  • ab7d15ab38 added a module for testgf3 aarne 2007-12-14 07:42:56 +00:00
  • de0fe5c10a added a module for testgf3 aarne 2007-12-14 07:42:56 +00:00
  • c36ee1492e oops, readded CanonToGFCC to darcs aarne 2007-12-14 07:32:59 +00:00
  • 0d443e8cf3 oops, readded CanonToGFCC to darcs aarne 2007-12-14 07:32:59 +00:00
  • 745f6ac83f restored CanonToGFCC as a wrapper of GFCC generation aarne 2007-12-14 07:31:53 +00:00
  • 03589b5a3c restored CanonToGFCC as a wrapper of GFCC generation aarne 2007-12-14 07:31:53 +00:00
  • e29137164a expensive gf3langs alltenses commented away after all aarne 2007-12-13 22:21:28 +00:00
  • 9e0dd0a41a some generated GFCCRaw files added to darcs; make gf3langs for alltenses aarne 2007-12-13 22:15:19 +00:00
  • 2805f48ba3 some generated GFCCRaw files added to darcs; make gf3langs for alltenses aarne 2007-12-13 22:15:19 +00:00
  • ed5a85ce1d removed gfcc via gfc everywhere; workaround for russian in present aarne 2007-12-13 22:05:14 +00:00
  • 3dca8b78d7 removed gfcc via gfc everywhere; workaround for russian in present aarne 2007-12-13 22:05:14 +00:00
  • b447cf1a04 new GFCC concrete syntax in place everywhere aarne 2007-12-13 20:19:47 +00:00
  • 095018c8e4 new GFCC concrete syntax in place everywhere aarne 2007-12-13 20:19:47 +00:00
  • a311dda539 lisp-like GFCC syntax; doesn't quite work yet in gf3 aarne 2007-12-13 16:36:32 +00:00
  • 8de623d11e lisp-like GFCC syntax; doesn't quite work yet in gf3 aarne 2007-12-13 16:36:32 +00:00
  • af2755eebe prelude sources to lib/src; present in StructuralEng; refactored checkGFCC aarne 2007-12-13 10:12:00 +00:00
  • 27315ad5d2 s/resource-1.0/resource/ in src/Makefile. bringert 2007-12-13 13:39:04 +00:00
  • 072b48065d prelude sources to lib/src; present in StructuralEng; refactored checkGFCC aarne 2007-12-13 10:12:00 +00:00
  • e6c9cb2b52 s/resource-1.0/resource/ in src/Makefile. bringert 2007-12-13 13:39:04 +00:00
  • d0d39968ed Use $(MAKE) instead of 'make'. This should help on systems where GNU make is called gmake. bringert 2007-12-13 13:28:02 +00:00
  • 91cfeabcff More consistent use of RTS flags in lib/resource/Makefile. bringert 2007-12-13 13:27:27 +00:00
  • 4ea58bce2c resource lib name changed aarne 2007-12-12 20:30:11 +00:00
  • 477f88c1e4 variants in gfcc generation aarne 2007-12-11 15:07:48 +00:00
  • f472bf266c variants in gfcc generation aarne 2007-12-11 15:07:48 +00:00
  • 83b47b13b7 some adjustments in GFCC generation (old) aarne 2007-12-10 16:46:04 +00:00
  • 77a502085d some adjustments in GFCC generation (old) aarne 2007-12-10 16:46:04 +00:00
  • 6edb2f075a debugging new compilation aarne 2007-12-09 15:20:50 +00:00
  • 3e788e5bbd debugging new compilation aarne 2007-12-09 15:20:50 +00:00
  • 6a4218e9ef extend behaviour for interface and incomplete aarne 2007-12-09 10:52:19 +00:00
  • 6093c2d3e4 extend behaviour for interface and incomplete aarne 2007-12-09 10:52:19 +00:00
  • b693ba103c noemit as default in testgf3 aarne 2007-12-08 17:02:35 +00:00
  • c19e8c31b7 noemit as default in testgf3 aarne 2007-12-08 17:02:35 +00:00
  • 2a46601ebb breaking points 1..6 in new Compile aarne 2007-12-08 16:51:39 +00:00
  • cc98b779fd breaking points 1..6 in new Compile aarne 2007-12-08 16:51:39 +00:00
  • 99e6923af6 documenting implementation started aarne 2007-12-08 15:59:36 +00:00
  • 7cfbba9294 documenting implementation started aarne 2007-12-08 15:59:36 +00:00
  • f4d3b1a9fa compilation line complete (but dysfunctional) for new GF internal format aarne 2007-12-08 15:15:18 +00:00
  • 0b90d257f9 compilation line complete (but dysfunctional) for new GF internal format aarne 2007-12-08 15:15:18 +00:00
  • e548f096e6 GFtoGFCC type checks (but is not correct) aarne 2007-12-08 15:01:36 +00:00
  • 0807b556be GFtoGFCC type checks (but is not correct) aarne 2007-12-08 15:01:36 +00:00
  • 5aca148d20 names resolve in new GFtoGFCC aarne 2007-12-08 10:37:49 +00:00
  • 60060e0a8a names resolve in new GFtoGFCC aarne 2007-12-08 10:37:49 +00:00
  • 84c9f3f483 started modifying GFtoGFCC for new internal GF format aarne 2007-12-08 09:32:05 +00:00
  • 07cc4a9fc5 started modifying GFtoGFCC for new internal GF format aarne 2007-12-08 09:32:05 +00:00
  • e90ccb5002 a couple of fixes in new Optimize aarne 2007-12-07 21:00:24 +00:00
  • 49c91adf7a a couple of fixes in new Optimize aarne 2007-12-07 21:00:24 +00:00
  • d9521d2f4c restructured some of the new GF format; modules now in place up to gfo generation aarne 2007-12-07 20:47:58 +00:00
  • 1e8f17d12b restructured some of the new GF format; modules now in place up to gfo generation aarne 2007-12-07 20:47:58 +00:00
  • 8437e6d295 started adding GF back optimization (Factorize) aarne 2007-12-07 13:00:02 +00:00
  • a935576674 started adding GF back optimization (Factorize) aarne 2007-12-07 13:00:02 +00:00
  • 36a0f92bdb optimize in the compilation chain for new format aarne 2007-12-07 11:12:39 +00:00
  • b6484890b1 optimize in the compilation chain for new format aarne 2007-12-07 11:12:39 +00:00
  • e013138f0c refresh compilation phase in the new format aarne 2007-12-07 10:23:18 +00:00
  • 091f9f0c1b refresh compilation phase in the new format aarne 2007-12-07 10:23:18 +00:00
  • f7b3c218cf changed names of mkNP and mkCN in ParadigmsRus aarne 2007-12-07 08:35:39 +00:00
  • 64ebc4f167 new type checker type checks aarne 2007-12-06 21:43:21 +00:00
  • 5d1ad0badc new type checker type checks aarne 2007-12-06 21:43:21 +00:00
  • fe30e32748 in the middle of adapting CheckGrammar aarne 2007-12-06 17:29:19 +00:00
  • 35f585b352 in the middle of adapting CheckGrammar aarne 2007-12-06 17:29:19 +00:00
  • bfd215aa7f started grammar checking with new internal format aarne 2007-12-06 15:50:54 +00:00
  • 53078b23f0 started grammar checking with new internal format aarne 2007-12-06 15:50:54 +00:00
  • f08eb82f2b restored work on Extend and Rename aarne 2007-12-06 12:54:15 +00:00
  • 7d1b964a78 Delete the silly test file. aarne 2007-12-06 15:19:56 +00:00
  • 28d7ee2f41 Silly test patch. aarne 2007-12-06 15:18:49 +00:00
  • 885b5bf681 restored work on Extend and Rename aarne 2007-12-06 12:54:15 +00:00
  • 26fc7cb5db Delete the silly test file. aarne 2007-12-06 15:19:56 +00:00
  • 9a8b88c5f6 Silly test patch. aarne 2007-12-06 15:18:49 +00:00
  • 8ddd6a59f3 Expose AbsGFCC and DataGFCC in gf-embed.cabal, since code generated by -haskell needs them. bringert 2007-12-05 21:41:38 +00:00
  • f848448f73 Expose AbsGFCC and DataGFCC in gf-embed.cabal, since code generated by -haskell needs them. bringert 2007-12-05 21:41:38 +00:00
  • 2885e2fd8a Update GF-embed.cabal to use expose GF.GFCC.API. This pulls in a lot fewer modules than the old version. Use Cabal configurations to compile on 6.8.1. This unfortunately means that users of GHC < 6.8 must upgrade to Cabal 1.2 or greater. bringert 2007-12-05 20:05:42 +00:00
  • 48d199fb35 Update GF-embed.cabal to use expose GF.GFCC.API. This pulls in a lot fewer modules than the old version. Use Cabal configurations to compile on 6.8.1. This unfortunately means that users of GHC < 6.8 must upgrade to Cabal 1.2 or greater. bringert 2007-12-05 20:05:42 +00:00
  • 61d745d928 Russian parches by MG_UR aarne 2007-12-05 07:13:53 +00:00
  • dc1c835563 restored interface and instance - at least for a while aarne 2007-12-04 20:13:36 +00:00
  • 11982849b9 rebuild integrated in Extend aarne 2007-12-04 20:00:51 +00:00
  • 7fabd2345d building extensions in new source format aarne 2007-12-04 17:10:28 +00:00
  • 61763b5784 unifying judgement information - now easy aarne 2007-12-04 15:23:49 +00:00
  • 4279b17762 printing new source format aarne 2007-12-04 15:01:01 +00:00
  • 4698dfbe78 some missing cases in SourceToGF aarne 2007-12-04 11:18:55 +00:00
  • 7051331c20 test for new GF source format aarne 2007-12-04 11:07:39 +00:00
  • a7b6887050 moved some modules to Devel.Grammar aarne 2007-12-04 07:48:37 +00:00
  • 0e1831abb4 SourceToGF working though not complete aarne 2007-12-04 07:40:47 +00:00
  • 01e50c45e4 20071202_AD ali.eldada 2007-12-02 20:59:45 +00:00
  • e7b03c9446 restored interface and instance - at least for a while aarne 2007-12-04 20:13:36 +00:00
  • 8b68b198a4 rebuild integrated in Extend aarne 2007-12-04 20:00:51 +00:00
  • e2c8dc270f building extensions in new source format aarne 2007-12-04 17:10:28 +00:00
  • 8c247e05fc unifying judgement information - now easy aarne 2007-12-04 15:23:49 +00:00
  • 3d74432c54 printing new source format aarne 2007-12-04 15:01:01 +00:00
  • 836583cfac some missing cases in SourceToGF aarne 2007-12-04 11:18:55 +00:00
  • 67528a5c18 test for new GF source format aarne 2007-12-04 11:07:39 +00:00
  • d9a90f6917 moved some modules to Devel.Grammar aarne 2007-12-04 07:48:37 +00:00