Krasimir Angelov
c327cf063e
support for BIND/SOFT_BIND/SOFT_SPACE
2024-01-04 10:34:55 +01:00
Krasimir Angelov
68da9226b1
support syntagmatic words
2024-01-02 16:31:22 +01:00
Krasimir Angelov
51ea3926a5
bugfixes
2023-12-30 23:08:17 +01:00
Krasimir Angelov
87b6094ade
introduce a version of namespace_iter with a lambda function
2023-12-28 10:50:08 +01:00
Krasimir Angelov
d78aea4170
bug fixes
2023-12-28 10:12:39 +01:00
Krasimir Angelov
da9e037b62
bugfixes
2023-12-23 18:53:54 +01:00
Krasimir Angelov
31b52adfa7
fix most space leaks in the LRTableMaker
2023-12-23 15:31:28 +01:00
Krasimir Angelov
ba19ff1f63
bugfix
2023-12-21 11:17:45 +01:00
Krasimir Angelov
93e47b6409
bugfix
2023-12-20 10:18:54 +01:00
Krasimir Angelov
4c701e68e2
more general and simpler implementation for gluing
2023-12-16 12:29:13 +01:00
Krasimir Angelov
9313b45a4f
store the index with every production
2023-12-15 10:25:09 +01:00
Krasimir Angelov
f2d269ff65
restore epsilons while parsing
2023-12-14 18:16:10 +01:00
Aarne Ranta
c2182274df
visualize_dependencies (vd) now creates latex in landscape mode to show long trees better
2023-12-14 11:56:11 +01:00
Krasimir Angelov
ad57f73298
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
2023-12-05 15:03:27 +01:00
Krasimir Angelov
85f3aa3eca
add const specifier to make md5 more general
2023-12-05 15:02:49 +01:00
Krasimir Angelov
d0e3c30ea6
remove phrasetable_lookup_epsilons which is no longer in use
2023-12-05 14:01:11 +01:00
Krasimir Angelov
86315bc8c2
remove a premature optimization that caused problems
2023-12-05 13:56:56 +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
Inari Listenmaa
e11017abc0
Merge pull request #166 from GrammaticalFramework/fix-python-ci
...
Fix CI for "Build & Publish Python Package": use python 3.10 instead of latest
2023-11-17 14:36:06 +01:00
Inari Listenmaa
b59fe24c11
use older python version to keep distutils
2023-11-17 14:11:59 +01:00
Inari Listenmaa
9204884463
Merge pull request #164 from BeFunctional/tp_pgf_support_ghc_94
...
Support GHC 9.4 for the PGF library
2023-11-17 14:02:06 +01:00
o1lo01ol1o
2c98075a0b
support ghc9.4
2023-11-15 12:04:41 -06:00
Krasimir Angelov
da135bea8b
started node.js binding
2023-10-03 09:11:42 +02:00
Inari Listenmaa
7d9015e2e1
Merge pull request #161 from anka-213/indent-errors
...
Indent each line of error messages
2023-09-25 17:29:50 +02:00
Andreas Källberg
cf1ef40789
gh-actions: Bump the python version
...
cibuildwheel requires python >= 3.8
2023-09-25 12:55:15 +02:00
Andreas Källberg
37f06a4ae8
gh-actions: Don't use ubuntu-18 and macos-10.15
...
There are no longer any gihub actions runners available for these
Note that this means we can't build for ubuntu-18 anymore, but that
should hopefully no longer be relevant, since it's over 5 years old now.
2023-09-25 12:48:56 +02:00
Andreas Källberg
30c1376232
Don't build twice for tests in CI
2023-09-25 12:43:19 +02:00
Andreas Källberg
ea3cef46b0
Update test to match new error
2023-09-25 12:01:56 +02:00
Andreas Källberg
268a25f59c
Indent each line of an error message
...
By indenting each line instead of just the first, we simplify
the work of the gf-lsp parser, so we can see which errors are the same
2023-09-25 09:55:02 +02:00
Krasimir Angelov
46ccde4abc
more details in the LR graph
2023-09-20 18:05:40 +02:00
Krasimir Angelov
7d42e7cfc9
extend the LR(0) visualization
2023-09-20 13:42:20 +02:00
Krasimir Angelov
dccb9681a2
started a graphviz visualization for the LR(0) automaton
2023-09-19 21:19:54 +02:00
Krasimir Angelov
2582719fab
prepare for context-sensitive parsing
2023-09-19 21:17:55 +02:00
Krasimir Angelov
22e6b30193
refactoring
2023-09-19 08:33:43 +02:00
Krasimir Angelov
5de4d9dd5c
trigger a new uppload to PyPI
2023-09-18 14:20:09 +02:00
Krasimir Angelov
30717ac8b7
temporary disable the automaton generation for the GitHub version
2023-09-18 13:14:15 +02:00
Krasimir Angelov
f0c5299839
bugfix in the automaton generation
2023-09-17 14:06:31 +02:00
Krasimir Angelov
b3968d95b9
first variant of the parser which precompiles epsilons
2023-09-15 18:22:35 +02:00
Krasimir Angelov