Commit Graph

990 Commits

Author SHA1 Message Date
Krasimir Angelov
56d8ecd240 fix the compilation without a server 2023-02-24 08:49:39 +01:00
Krasimir Angelov
e879b374a7 remove duplicated module 2023-02-24 08:30:42 +01:00
Krasimir Angelov
310634bbe2 remove the import for Debug.Trace 2023-02-10 12:04:47 +01:00
Krasimir Angelov
be951d9265 fix the compilation for parameters of type Ints n 2023-02-10 12:04:21 +01:00
Krasimir Angelov
810e529e41 another way to fix the one value parameter types 2023-02-10 10:52:09 +01:00
Krasimir Angelov
9bedcb038e ellimate parameters with only one possible value 2023-02-08 16:38:05 +01:00
Krasimir Angelov
6d856b2ce0 make it possible to control the initial NGF size 2023-01-29 21:04:08 +01:00
Krasimir Angelov
5551960698 fix typos 2023-01-29 13:05:41 +01:00
Krasimir Angelov
8fca37cfeb writePGF now allows to select list of languages 2023-01-28 11:59:39 +01:00
Krasimir Angelov
a3111f3be7 fix after the introduction of name patterns 2022-12-10 20:17:10 +01:00
Krasimir Angelov
9214f2a074 fix compilation with older GHC versions 2022-11-10 19:19:19 +01:00
Krasimir Angelov
5ca00ded84 added version constraints 2022-11-10 15:44:34 +01:00
Krasimir Angelov
fda1353148 add consistant version numbers 2022-11-10 15:33:51 +01:00
Krasimir Angelov
43934e04de don't save the history in -run and -server modes to avoid space leaks 2022-11-04 22:53:44 +01:00
Krasimir Angelov
a88c412e87 "create lin/lincat" should be able to see funs & cats in the current transaction 2022-11-04 22:03:29 +01:00
Krasimir Angelov
d784e2584b A lower-level transaction API and a transaction command in the shell 2022-10-24 10:44:40 +02:00
Krasimir Angelov
3e0cc91a02 first rudimentary version of a parser 2022-09-16 12:34:46 +02:00
Krasimir Angelov
bcb1076dda don't try to translate empty sentences 2022-09-16 12:29:27 +02:00
Krasimir Angelov
8c705d54b8 switch to using http-slim 2022-09-09 09:42:19 +02:00
Krasimir Angelov
173128bd46 Merge branch 'master' into majestic 2022-08-24 20:31:10 +02:00
Krasimir Angelov
e9bbd38f68 gf --version now prints the shared folder to be used by the RGL 2022-08-24 12:02:10 +02:00
Krasimir Angelov
1294269cd6 workaround for the Nix madness 2022-08-24 11:57:47 +02:00
Krasimir Angelov
bcd9184ede initial adaptation to the new runtime 2022-08-19 17:26:59 +02:00
Krasimir Angelov
6d81306320 Try to remove the upper version for base 2022-08-17 09:49:37 +02:00
Krasimir Angelov
62344d1325 manually copy the logo to the www directory. Copying in Setup.hs doesn't work with the new Cabal 2022-08-16 21:03:44 +02:00
Krasimir Angelov
3bdd9dc022 add missing MonadFail constraint for newer GHC 2022-08-16 20:06:51 +02:00
Krasimir Angelov
6c0e4bc08e switch to the new style cabal 2022-08-16 20:05:55 +02:00
Krasimir Angelov
4d0f33e3c3 make it possible to replace the probabilities while reading a new .pgf 2022-07-14 11:04:45 +02:00
Krasimir Angelov
b509d22482 show match positions for ma -all|-longest|-best 2022-07-07 19:37:06 +02:00
Krasimir Angelov
cfd9fbc5ed better documentation for "ma" 2022-07-07 14:18:29 +02:00
Krasimir Angelov
6c9f0cfe9c make also filterLongest and filterBest available from the shell 2022-07-07 14:11:31 +02:00
Krasimir Angelov
a66693770c started with lookupCohorts 2022-07-07 14:03:07 +02:00
Krasimir Angelov
5b645ab42f normalForm should also sort the fields in a record type 2022-06-28 14:34:56 +02:00
Krasimir Angelov
f51f6240b6 remove redundant pattern 2022-06-23 14:53:58 +02:00
Krasimir Angelov
44431d6a69 when in server mode reuse the NGF cache in the shell as well 2022-06-23 10:25:16 +02:00
Krasimir Angelov
174cc57eb7 restore the FastCGI service and move some files back to src/server 2022-06-22 11:18:56 +02:00
Krasimir Angelov
a8ad145aeb move gf.cabal and all compiler dependent files into src/compiler 2022-06-18 20:42:31 +02:00
Krasimir Angelov
418aa1a2b2 the web server now serves both .pgf and .ngf files 2022-05-31 11:32:02 +02:00
Krasimir Angelov
4c433b6b9d Merge branch 'master' into majestic 2022-05-31 10:20:22 +02:00
Krasimir Angelov
b7672b67a3 adjust the -view command depending on the OS 2022-05-31 10:15:50 +02:00
Krasimir Angelov
03fe38124f Merge branch 'master' into majestic 2022-05-31 08:05:00 +02:00
Krasimir Angelov
18f70b786f first draft for lookupMorpho 2022-05-30 21:16:34 +02:00
Krasimir Angelov
5594679a83 first draft of the new allocator with transactions support 2022-05-20 13:55:45 +02:00
Andreas Källberg
9b9905c0b2 Always use UTF8 encoding in the gf executable
This fixes many of the "Invalid character" messages
you can get on different platforms.

This has helped both with a nix-installation that didn't have global
locale set and with a windows installation.
2022-05-18 14:42:01 +08:00
Meng Weng Wong
3a1213ab37 prepare for GHC 9, base 4.15, by using Buffer constructor interface 2022-03-05 12:59:25 +08:00
Krasimir Angelov
f0045e910e better output for 'pg -fullform' 2022-01-28 17:32:40 +01:00
Krasimir Angelov
a216c1aa6d ensure left-to-right pattern maching of records 2022-01-11 13:31:44 +01:00
Krasimir Angelov
310b40be31 strip redundant code 2022-01-11 13:31:00 +01:00
Krasimir Angelov
54993bce12 deepForce VSymCat 2022-01-11 12:48:14 +01:00
Krasimir Angelov
f5435dba38 restore the rigt order for terms 2022-01-09 08:00:05 +01:00