Inari Listenmaa
9325c8f9fb
add import Control.Monad when generating .hs with GADTs
2025-08-13 13:38:23 +02:00
Arianna Masciolini
3ecb75d7d8
remove accidental file
2025-08-08 20:57:13 +02:00
Arianna Masciolini
5935119050
more specific instructions for different macs
2025-08-08 20:43:15 +02:00
Inari Listenmaa
d07646e753
Merge pull request #192 from GrammaticalFramework/build-timestamp
...
Add build timestamps to GF prompt
2025-08-08 19:32:52 +02:00
Inari Listenmaa
3b69a28dbd
Delete src/runtime/python/pgf.egg-info directory
...
remove files that were committed by accident
2025-08-08 19:29:44 +02:00
Inari Listenmaa
aa004246d2
Merge pull request #190 from GrammaticalFramework/pgf-1.1
...
Publish PGF 1.1
2025-08-08 19:14:01 +02:00
Arianna Masciolini
dcae5f929e
fix typo
2025-08-08 18:20:47 +02:00
Andreas Källberg
b02bb08532
Fix warnings for ghc-9.6 about multiplicity syntax
2025-08-08 18:12:39 +02:00
Inari Listenmaa
c7e26d7cd2
also add the 9.6 compatibility fixes to PGF2
2025-08-08 18:12:26 +02:00
Inari Listenmaa
4fea7cf37f
Update release scripts for 3.12
2025-08-08 18:11:52 +02:00
Herbert Lange
9e5701b13c
hide ambiguous function
2025-08-08 18:06:03 +02:00
Herbert Lange
78beac7598
change date/time formating
2025-08-08 18:02:59 +02:00
Herbert Lange
1c4cde7c66
updating formating for git info
2025-08-08 17:43:56 +02:00
Herbert Lange
e0ad7594dd
add build time and git info to BuildInfo
2025-08-08 17:36:03 +02:00
Inari Listenmaa
a218903a2d
use setuptools (so it works for 3.12+) + bump version to 1.1
2025-08-03 17:26:26 +02:00
Arianna Masciolini
d983255326
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
2025-08-02 23:01:29 +02:00
Arianna Masciolini
288984d243
fix compatibility with newer gcc versions
2025-08-02 23:01:20 +02:00
Inari Listenmaa
3e0c0fa463
define default depths for shell and server only once
2025-08-02 21:46:13 +02:00
Arianna Masciolini
5170668ff2
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into hleiss/master
2025-08-02 19:02:30 +02:00
Inari Listenmaa
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
Inari Listenmaa
155b9da861
choose openFd based on version of unix
2025-08-02 16:39:31 +02:00
Inari Listenmaa
e84826ed2a
explicitly import join, when, (<=<) from Control.Monad
2025-08-02 16:39:31 +02:00
Inari Listenmaa
bbf12458c7
use openFd from unix >= 2.8
2025-08-02 16:39:31 +02:00
Inari Listenmaa
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
Inari Listenmaa
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
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
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
2f31bbab23
Apply gt to all arguments when piped
2024-03-15 12:43:17 +01:00
aarneranta
7e707508a7
showExpr and linearize now refresh the printed variables if needed
2024-03-01 09:17:08 +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
o1lo01ol1o
2c98075a0b
support ghc9.4
2023-11-15 12:04:41 -06: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
Inari Listenmaa
318b710a14
Merge pull request #160 from anka-213/prettier-syntax-errors
...
Improve syntax error messages
2023-09-13 08:24:07 +02:00
Andreas Källberg
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
Krasimir Angelov
096b36c21d
Update jit.c
2023-09-07 17:37:25 +02:00
Krasimir Angelov
86af7b12b3
the jitter should still read the absfuns even for EMSCRIPTEN and aarch64
2023-08-11 10:47:29 +02:00
Krasimir Angelov
e2c2763d59
One more place with __aarch64__
2023-08-09 10:59:53 +02:00
Krasimir Angelov
fae2fc4c6c
Try with __aarch64__
2023-08-09 10:58:50 +02:00
Krasimir Angelov
5131fadd1f
lightning.h not included on aarch64
2023-08-08 16:18:49 +02:00
Krasimir Angelov
0e1cbfaa7e
Disable the jit on aarch64
2023-08-04 15:01:31 +02:00
Krasimir Angelov
95e5976b03
Create funcs.h
2023-08-04 14:49:55 +02:00
Krasimir Angelov
9dee033e2c
Create Create aarch64/fp.h
2023-08-04 14:49:22 +02:00
Krasimir Angelov
83a4a0525e
Create aarch64/core.h
2023-08-04 14:48:58 +02:00
Krasimir Angelov
f58697f31f
Create aarch64/asm.h
2023-08-04 14:48:01 +02:00
Krasimir Angelov
8f6dc916b6
added aarch64 configure.ac
2023-08-04 14:46:27 +02:00
Krasimir Angelov
8190d9fe49
export BindType(..)
2023-03-01 09:57:48 +01:00
Krasimir Angelov
2c13f529f9
Update INSTALL
2023-02-05 09:40:14 +01:00
Inari Listenmaa
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