 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 |
|
|
Krasimir Angelov
|
c2d64efe68
|
cannonical export now may contain some resource modules with parameters
|
2025-04-11 10:47:43 +02:00 |
|
|
Krasimir Angelov
|
aa3a03e7af
|
Merge pull request #179 from phantamanta44/majestic
majestic: predef evaluation + option..of construct
|
2025-04-06 17:25:16 +02:00 |
|
|
Krasimir Angelov
|
f0b42f4783
|
Merge pull request #178 from EkaterinaVoloshina/majestic
Create ServerInstructions.md
|
2025-03-31 19:07:43 +02:00 |
|
|
Eve
|
b29ec2a47a
|
Option evaluation + basic repl support for option manipulation
|
2025-03-31 17:56:36 +02:00 |
|