Inari Listenmaa
65e85c5a3c
Merge pull request #175 from inariksit/new-ghc
...
Changes to make it work with newer stack/GHC:
- unix library changed API in 2.8
- Monad of no return & Semigroup as a superclass of Monoid
- import Control.Monad (join, when, (<=<))
- fixed CI issues
2025-08-02 18:59:07 +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
e81d668605
higher upper bound for base,mtl,ghc-prim,json,time
2025-08-02 16:39:31 +02:00
Inari Listenmaa
155b9da861
choose openFd based on version of unix
2025-08-02 16:39:31 +02:00
Inari Listenmaa
ab0f09e9f7
build-depends for unix depending on ghc version
2025-08-02 16:39:31 +02:00
Inari Listenmaa
9fa8ac934a
add stack file for GHC 9.6.6
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
Krasimir Angelov
4c8549d6dd
a simple selection operation
2025-06-11 08:48:04 +00:00
Krasimir Angelov
b993931820
change the semantics of bubbling and add the len construction
2025-06-10 17:27:30 +00:00
Krasimir Angelov
09e98ed323
Merge pull request #180 from phantamanta44/majestic
...
majestic: fix bubbling + type annotations for option metadata
2025-06-08 09:28:00 +02:00
Krasimir Angelov
ceb07da0c0
leftover change
2025-06-06 16:57:29 +00:00
Krasimir Angelov
6664914b7e
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
2025-06-06 16:55:22 +00:00
Krasimir Angelov
04639d2c6b
allow multiple tags inside control and top-level opers
2025-06-06 06:21:32 +00:00
Krasimir Angelov
21b44e3c55
control structure concat'
2025-06-05 11:58:25 +00:00
Krasimir Angelov
a59967d5f9
added value2float, exported value2float, value2int
2025-06-05 11:57:31 +00:00
Krasimir Angelov
68bab72cd3
remove redundant variants
2025-05-28 19:17:45 +00:00
Krasimir Angelov
2c427b69fe
avoid using withState
2025-05-28 14:20:16 +00:00
Krasimir Angelov
52eb5899d4
added zonkValue
2025-05-28 14:02:06 +00:00
Eve
f64d6b045b
Revert bubble re-implementation
2025-05-26 18:21:04 +02:00
Eve
9c422c8224
Type annotations for option labels + new bubble impl
2025-05-26 18:16:49 +02:00
Eve
6429ed7148
Choice-splitting versions of mapVariants and mapConstVs
2025-05-26 18:13:11 +02:00
Krasimir Angelov
a0faa48537
progress on Finnish
2025-05-23 15:11:00 +02:00
Krasimir Angelov
f82b8b6e11
missing cases in collectOp
2025-05-22 20:06:50 +02:00
Krasimir Angelov
9e6885c901
fix for VInts
2025-05-22 11:55:29 +02:00
Krasimir Angelov
9a3cb2369d
added missing cases for VInts
2025-05-22 11:54:17 +02:00
Krasimir Angelov
9c038ceb7c
more updates to get English compile
2025-05-22 11:48:21 +02:00
Krasimir Angelov
c61315465d
ditch the old typechecker completely
2025-05-21 14:55:13 +02:00
Krasimir Angelov
054ebf066a
more precise subtype/supertype for nondependent functions
2025-05-21 14:35:55 +02:00
Krasimir Angelov
548e4c8549
more updates for typechecking the RGL
2025-05-21 14:32:53 +02:00
Krasimir Angelov
6f8654716e
ignore the lock field when checking for subsumption
2025-05-21 13:56:45 +02:00
Krasimir Angelov
8b93f80c52
don't typecheck record fields that are going to be discarded
2025-05-21 13:56:19 +02:00
Krasimir Angelov
fd27a2ebd3
minimal set of changes to make Bulgarian compile with the new typechecker
2025-05-21 13:39:03 +02:00
Krasimir Angelov
6f9f187c70
two hacks for backwards compatibility
2025-05-19 13:08:54 +02:00
Krasimir Angelov
68ae919afa
avoid unnecessary variants
2025-05-18 07:46:56 +02:00
Krasimir Angelov
3a1990fd1d
switch to using the new type checker by default
2025-05-18 07:20:12 +02:00
Krasimir Angelov
e54f748efa
serialization for Markup and Reset
2025-05-18 07:08:11 +02:00
Krasimir Angelov
03421f6bc7
fix in the typechecking of one and default
2025-05-09 19:15:28 +02:00
Krasimir Angelov
d54fab0bbf
fix typo
2025-05-09 19:10:51 +02:00
Krasimir Angelov
3d7c8ade17
a draft for the generalized control operators
2025-05-09 18:58:27 +02:00
Krasimir Angelov
544bbd9049
special handling for empty variants in the bubbling
2025-05-05 11:46:50 +02:00
Krasimir Angelov
d5e3e8f649
whitespace
2025-05-03 07:32:06 +02:00
Krasimir Angelov
4c0644fd55
another bug in the typechecker
2025-05-03 07:31:44 +02:00
Krasimir Angelov
188b77b083
improvement on the typechecker
2025-05-02 13:52:17 +02:00
Krasimir Angelov
dbfa9e4faf
type inference for lambda abstractions
2025-04-16 12:29:50 +02:00
Krasimir Angelov
a9d4fecd33
added export for EPatt
2025-04-15 08:40:30 +02:00
Krasimir Angelov
cc4d07f168
Export a grammar in source format to JSON
2025-04-14 11:16:27 +02:00
Krasimir Angelov
3432e6f571
serialization for expressions in daison
2025-04-13 08:36:25 +02:00
Inari Listenmaa