 Krasimir Angelov
|
e59ae98aa1
|
export bubble
|
2025-03-10 16:08:55 +00:00 |
|
|
Krasimir Angelov
|
88ae6bff71
|
added missing case for VCRecType
|
2025-03-10 14:42:36 +00:00 |
|
|
Krasimir Angelov
|
22a22aacbb
|
added evaluation for markup
|
2025-03-10 14:26:51 +00:00 |
|
|
Krasimir Angelov
|
854739eee4
|
support for non-flat forms
|
2025-03-10 15:22:59 +01:00 |
|
|
Krasimir Angelov
|
16f9f86248
|
start using the new typechecker and evaluator in the cc command
|
2025-03-10 15:22:31 +01:00 |
|
|
Krasimir Angelov
|
084ffa1ce9
|
fix quantification
|
2025-03-08 12:42:46 +00:00 |
|
|
Krasimir Angelov
|
344481634f
|
the pure evaluator
|
2025-03-07 23:27:05 +00:00 |
|
|
Krasimir Angelov
|
364c8c023c
|
switch to using pure functional evaluator
|
2025-03-07 20:50:28 +00:00 |
|
|
Krasimir Angelov
|
c9aadf7382
|
added missing case
|
2025-03-07 08:57:55 +01:00 |
|
|
Krasimir Angelov
|
d97292cfd4
|
AC_PROG_LIBTOOL not necessary anymore
|
2025-03-07 08:57:11 +01:00 |
|
|
Krasimir Angelov
|
84fa6522de
|
bump upper version of the network package
|
2025-02-26 12:06:29 +00:00 |
|
|
Krasimir Angelov
|
176dcdf2fa
|
import liftA2
|
2025-02-25 12:31:05 +00:00 |
|
|
Krasimir Angelov
|
a501784a32
|
Merge pull request #173 from phantamanta44/majestic
majestic: Type-checking improvements + unifying overload resolution + simple REPL
|
2025-02-25 13:05:00 +01:00 |
|
|
Eve
|
19c5b410f2
|
Predef combinators
|
2025-02-21 15:25:25 +01:00 |
|
|
Inari Listenmaa
|
981d6b9bdd
|
Specify that extending a grammar doesn't inherit the startcat
|
2025-02-20 20:52:21 +01:00 |
|
|
Hans Leiss
|
5776b567a2
|
Reactivate the gf-shell command 'pt -transfer'
|
2025-02-19 12:59:43 +01:00 |
|
|
Hans Leiss
|
643617ccc4
|
Bug fix for gf-shell command 'pt -compute' in Expr.hs by
tryMatch p (VConst _ _) env = match sig f eqs as0
|
2025-02-18 12:41:14 +01:00 |
|
|
Eve
|
815dfcc2fc
|
Unification for function types
|
2025-02-15 23:07:29 +01:00 |
|
|
Eve
|
265db698ac
|
Dereference metavariables in types before structural inspections
|
2025-02-15 22:27:06 +01:00 |
|
|
Eve
|
b4b9974d54
|
More comprehensive open term check for builtin eval
|
2025-02-09 16:53:03 +01:00 |
|
|
Eve
|
80de452e6d
|
Fix inverted check in implicit arg app type check, disambiguate implicit args in reapply instead of tcApp
|
2025-02-08 10:23:23 +01:00 |
|
|
Eve
|
4750ccfb7e
|
Nondeterministic overload resolution in new type checker
|
2025-02-04 14:14:16 +01:00 |
|
|
Eve
|
41cdf5e56a
|
Load prelude in repl
|
2025-02-03 09:54:13 +01:00 |
|
|
Eve
|
8290f79f52
|
Rudimentary resource REPL in gf-compiler
|
2025-01-26 09:13:24 +01:00 |
|
|
Eve
|
3b58ccbeef
|
Don't evaluate builtins with free variables as arguments
|
2025-01-26 01:14:25 +01:00 |
|
|
Eve
|
d9ed763ace
|
Fix tcApp on pi types, split check/infer into variants inside and outside EvalM
|
2025-01-26 01:13:58 +01:00 |
|
|
Eve
|
1747b46274
|
Add alex/happy as build tool dependencies, bump up unix version in gf-compiler
|
2025-01-26 01:12:29 +01:00 |
|
|
Inari Listenmaa
|
41f45e572b
|
Instruction to downgrade LLVM for macOS Sequoia
|
2025-01-18 07:27:46 +01:00 |
|
|
Inari Listenmaa
|
c7226cc11c
|
add GFSS2025 + remove IRC channel
|
2025-01-18 07:13:24 +01:00 |
|
|
aarneranta
|
bc56b54dd1
|
random generation of literals now has ten different values for each built in type; maybe a better solution for most cases than just one value
|
2025-01-07 11:20:23 +01:00 |
|
|
Krasimir Angelov
|
aa061aff0c
|
Update robots.txt
|
2024-11-26 12:15:41 +01:00 |
|
|
Inari Listenmaa
|
934afc9655
|
Merge pull request #169 from GrammaticalFramework/dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
|
2024-11-01 10:29:45 +01:00 |
|
|
Andreas Källberg
|
33b0bab610
|
Use different artifact names as is required by upload-artifact@v4
|
2024-10-23 16:22:59 +02:00 |
|
|
Andreas Källberg
|
9492967fc6
|
add sudo to make install to fix CI failure
|
2024-10-23 16:08:09 +02:00 |
|
|
Andreas Källberg
|
5eab0a626d
|
add glibtoolize dependency for mac CI
|
2024-10-23 15:47:14 +02:00 |
|
|
Andreas Källberg
|
fc614cd48e
|
Bump more action versions
|
2024-10-23 15:40:29 +02:00 |
|
|
Andreas Källberg
|
eaec428a89
|
fix typo
|
2024-10-23 15:35:39 +02:00 |
|
|
Andreas Källberg
|
ed0a8ca0df
|
Update setup-python github action
Let's see if this fixes CI
|
2024-10-23 15:34:01 +02:00 |
|
|
Krasimir Angelov
|
ac427d63f2
|
fix compilation in -resource mode
|
2024-10-22 09:02:03 +02:00 |
|
|
Krasimir Angelov
|
3b36b381aa
|
save use of jments
|
2024-10-22 08:30:51 +02:00 |
|
|
Krasimir Angelov
|
f3a1fadd0c
|
use evalError instead of erro
|
2024-10-22 08:29:30 +02:00 |
|
|
Krasimir Angelov
|
ebececef6d
|
added MonadFix
|
2024-10-22 08:28:51 +02:00 |
|
|
Krasimir Angelov
|
00addd4a0c
|
update the cabal file
|
2024-10-14 17:00:14 +02:00 |
|
|
Krasimir Angelov
|
00fd704405
|
the server package is now merged with the compiler
|
2024-10-14 16:56:35 +02:00 |
|
|
Krasimir Angelov
|
db58a4e7d6
|
bugfix
|
2024-09-21 16:12:21 +02:00 |
|
|
Krasimir Angelov
|
b86097a580
|
bugfix
|
2024-09-21 15:50:09 +02:00 |
|
|
Krasimir Angelov
|
43671f3679
|
concrete revisions not longer take space in the revision registry
|
2024-09-21 11:56:19 +02:00 |
|
|
Krasimir Angelov
|
8878eddb7d
|
an API to retrieve a single language
|
2024-09-20 17:34:10 +02:00 |
|
|
Krasimir Angelov
|
e722916728
|
pattern matching with PChar
|
2024-09-05 18:00:27 +02:00 |
|
|
Krasimir Angelov
|
6c2a94d428
|
comment out the call to the LRTableMaker
|
2024-09-05 14:03:07 +02:00 |
|