9325c8f9fb
add import Control.Monad when generating .hs with GADTs
2025-08-13 13:38:23 +02:00
3ecb75d7d8
remove accidental file
2025-08-08 20:57:13 +02:00
5935119050
more specific instructions for different macs
2025-08-08 20:43:15 +02:00
d07646e753
Merge pull request #192 from GrammaticalFramework/build-timestamp
...
Add build timestamps to GF prompt
2025-08-08 19:32:52 +02:00
3b69a28dbd
Delete src/runtime/python/pgf.egg-info directory
...
remove files that were committed by accident
2025-08-08 19:29:44 +02:00
aa004246d2
Merge pull request #190 from GrammaticalFramework/pgf-1.1
...
Publish PGF 1.1
2025-08-08 19:14:01 +02:00
dcae5f929e
fix typo
2025-08-08 18:20:47 +02:00
b02bb08532
Fix warnings for ghc-9.6 about multiplicity syntax
2025-08-08 18:12:39 +02:00
c7e26d7cd2
also add the 9.6 compatibility fixes to PGF2
2025-08-08 18:12:26 +02:00
4fea7cf37f
Update release scripts for 3.12
2025-08-08 18:11:52 +02:00
9e5701b13c
hide ambiguous function
2025-08-08 18:06:03 +02:00
78beac7598
change date/time formating
2025-08-08 18:02:59 +02:00
1c4cde7c66
updating formating for git info
2025-08-08 17:43:56 +02:00
e0ad7594dd
add build time and git info to BuildInfo
2025-08-08 17:36:03 +02:00
a218903a2d
use setuptools (so it works for 3.12+) + bump version to 1.1
2025-08-03 17:26:26 +02:00
d983255326
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
2025-08-02 23:01:29 +02:00
288984d243
fix compatibility with newer gcc versions
2025-08-02 23:01:20 +02:00
3e0c0fa463
define default depths for shell and server only once
2025-08-02 21:46:13 +02:00
5170668ff2
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into hleiss/master
2025-08-02 19:02:30 +02:00
01c4f82e07
misc small fixes:
...
- update actions/cache to v4
- update haskell/actions/setup to haskell-actions/setup
- stack doesn't support ghc < 8.4, remove from CI
- don't fail immediately
- add -fpermissive flag to gcc
- only build 9.6.6 with macos and windows latest
- bump base upper bound
2025-08-02 18:46:00 +02:00
155b9da861
choose openFd based on version of unix
2025-08-02 16:39:31 +02:00
e84826ed2a
explicitly import join, when, (<=<) from Control.Monad
2025-08-02 16:39:31 +02:00
bbf12458c7
use openFd from unix >= 2.8
2025-08-02 16:39:31 +02:00
b914a25de3
define return in terms of pure, >> as *>, mappend as <>
...
In preparation for deprecation, see https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid and https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
2025-08-02 16:39:31 +02:00
1037b209ae
add whitespace on list comprehensions, applications etc.
...
text editor interprets these things as errors (e.g. unterminated qq for list comprehension) and underlines red, even though there is no real error.
2025-08-02 16:39:31 +02:00
5776b567a2
Reactivate the gf-shell command 'pt -transfer'
2025-02-19 12:59:43 +01:00
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
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
aa061aff0c
Update robots.txt
2024-11-26 12:15:41 +01:00
2f31bbab23
Apply gt to all arguments when piped
2024-03-15 12:43:17 +01:00
7e707508a7
showExpr and linearize now refresh the printed variables if needed
2024-03-01 09:17:08 +01:00
c2182274df
visualize_dependencies (vd) now creates latex in landscape mode to show long trees better
2023-12-14 11:56:11 +01:00
2c98075a0b
support ghc9.4
2023-11-15 12:04:41 -06:00
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
318b710a14
Merge pull request #160 from anka-213/prettier-syntax-errors
...
Improve syntax error messages
2023-09-13 08:24:07 +02:00
ffd7b27abd
Improve syntax error messages
...
Now you will get error messages like these:
example.gf:1:21:
Syntax error:
Unexpected token '}'.
Expected one of:
- '{'
- 'open'
- an identifier
2023-09-11 12:30:28 +02:00
096b36c21d
Update jit.c
2023-09-07 17:37:25 +02:00
86af7b12b3
the jitter should still read the absfuns even for EMSCRIPTEN and aarch64
2023-08-11 10:47:29 +02:00
e2c2763d59
One more place with __aarch64__
2023-08-09 10:59:53 +02:00
fae2fc4c6c
Try with __aarch64__
2023-08-09 10:58:50 +02:00
5131fadd1f
lightning.h not included on aarch64
2023-08-08 16:18:49 +02:00
0e1cbfaa7e
Disable the jit on aarch64
2023-08-04 15:01:31 +02:00
95e5976b03
Create funcs.h
2023-08-04 14:49:55 +02:00
9dee033e2c
Create Create aarch64/fp.h
2023-08-04 14:49:22 +02:00
83a4a0525e
Create aarch64/core.h
2023-08-04 14:48:58 +02:00
f58697f31f
Create aarch64/asm.h
2023-08-04 14:48:01 +02:00
8f6dc916b6
added aarch64 configure.ac
2023-08-04 14:46:27 +02:00
8190d9fe49
export BindType(..)
2023-03-01 09:57:48 +01:00
2c13f529f9
Update INSTALL
2023-02-05 09:40:14 +01:00
85038d0175
Merge pull request #149 from anka-213/ghc-9.2
...
Add support for ghc-9.2.4
2022-10-10 12:00:40 +02:00
Inari Listenmaa