msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
8,902 Commits 21 Branches 11 Tags
413e92e7c38d7addfb23816eda48ae0f8bef34c6
Commit Graph

1018 Commits

Author SHA1 Message Date
Krasimir Angelov
413e92e7c3 support ghc 9.4 2024-01-17 13:58:52 +01:00
Krasimir Angelov
88e3b2aac4 support ghc 9.4 2024-01-17 13:56:58 +01:00
Krasimir Angelov
e8f8044432 temporary add gf-scribe to the compiler 2024-01-17 13:17:04 +01:00
Krasimir Angelov
4c701e68e2 more general and simpler implementation for gluing 2023-12-16 12:29:13 +01:00
Krasimir Angelov
2631f0af8f partial implementation for type inference with records 2023-12-01 15:26:24 +01:00
Krasimir Angelov
8540e44e9d small fixes 2023-11-29 08:47:40 +01:00
Krasimir Angelov
5232364a9e typechecking without Value<->Term conversion 2023-11-28 21:21:34 +01:00
Krasimir Angelov
1d64d166be fix the so command in case of dependent types 2023-11-28 14:07:09 +01:00
Krasimir Angelov
54e06b5371 refactoring 2023-11-28 10:25:27 +01:00
Krasimir Angelov
6b9bda3328 fully restore the parser 2023-11-28 07:39:54 +01:00
Krasimir Angelov
eb71557627 ensure that metavariable IDs are always in sync 2023-11-27 13:46:21 +01:00
Krasimir Angelov
65002fb586 allow Exp instead of Exp1 for the source commands 2023-11-24 09:41:23 +01:00
Krasimir Angelov
4f28d2b3a3 the evaluator and the typechecker now share the same monad 2023-11-24 09:40:28 +01:00
Krasimir Angelov
bd9bd8b32f the experimental typechecker is almost converted to the new evaluator 2023-11-24 08:35:11 +01:00
Krasimir Angelov
e996d78b18 make "cc", "so", "create lin", "create lincat" usable even without loaded grammar 2023-11-23 20:26:48 +01:00
Krasimir Angelov
511fdeee44 the normalForm for terms now compresses variants 2023-11-23 19:35:18 +01:00
Krasimir Angelov
fcc80b545d started porting the experimental type checker to the new evaluator 2023-11-20 14:53:36 +01:00
Krasimir Angelov
dccb9681a2 started a graphviz visualization for the LR(0) automaton 2023-09-19 21:19:54 +02:00
Krasimir Angelov
d065e1de66 make it possible to download larger files but incremental upload 2023-09-07 15:04:34 +02:00
Krasimir Angelov
91681088ca make it possible to download a grammar 2023-09-07 10:30:43 +02:00
Krasimir Angelov
a8630ddcd2 fix: [] + "ser" == "ser" 2023-04-06 11:36:21 +02:00
Krasimir Angelov
95b916339d yet another detail with (+) 2023-03-30 12:05:44 +02:00
Krasimir Angelov
22c45d8d34 fix how (+) interacts with special tokens 2023-03-30 11:55:47 +02:00
Krasimir Angelov
66e0511141 gr and gt now take into account the -lang flag 2023-03-14 18:58:37 +01:00
Krasimir Angelov
92c2840b2b restore the depth flag for gt and gr 2023-03-13 14:01:14 +01:00
Krasimir Angelov
9dc36a0f5f added the "alter lin" command 2023-03-07 15:29:58 +01:00
Krasimir Angelov
ee717fb022 added random generation 2023-03-05 13:18:14 +01:00
Krasimir Angelov
f7ca8afa81 fast word completion for functions names in the shell 2023-03-02 10:28:00 +01:00
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