Skip to content
GitLab
Explore
Sign in
Register
curry
curry-frontend
Merge requests
Open
5
Merged
57
Closed
10
All
72
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Use .afcy for type-annotated FlatCurry files
!43
· created
Feb 04, 2021
by
Fredrik Wieczerkowski
Merged
0
updated
Dec 13, 2021
Fix the tuple constructor identification in the interface syntax check
!47
· created
Jul 01, 2021
by
Leif-Erik Krüger
Bug
Merged
Approved
0
updated
Jul 05, 2021
Allow Type Variables to be Applied to Multiple Types in Constraints
!48
· created
Jul 02, 2021
by
Leif-Erik Krüger
Bug
Merged
0
updated
Jul 05, 2021
Fix `Binary` instance for `NewtypeDecl`
!46
· created
Apr 27, 2021
by
Leif-Erik Krüger
Bug
Merged
Approved
0
updated
Jul 01, 2021
Place bounds on all dependencies
!45
· created
Feb 10, 2021
by
Fredrik Wieczerkowski
Merged
0
updated
Feb 11, 2021
Update stack resolver to LTS-16.9 (GHC 8.8)
!44
· created
Feb 09, 2021
by
Fredrik Wieczerkowski
Merged
0
updated
Feb 10, 2021
Handle out-of-bounds lines in span previews
!42
· created
Nov 26, 2020
by
Fredrik Wieczerkowski
Merged
0
updated
Nov 26, 2020
Update FlatCurry generation pipeline
!41
· created
Nov 24, 2020
by
Fredrik Wieczerkowski
Refactoring
Merged
0
updated
Nov 24, 2020
Bump AbstractCurry version to 3.0
!39
· created
Nov 16, 2020
by
Finn Teegen
Merged
Approved
0
updated
Nov 17, 2020
Merge curry-base
!34
· created
Oct 23, 2020
by
Fredrik Wieczerkowski
Enhancement
Refactoring
Merged
0
updated
Nov 12, 2020
Add parameter for output directory
!38
· created
Nov 05, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
0
updated
Nov 06, 2020
Improve message spans in TypeCheck
!37
· created
Oct 29, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
0
updated
Oct 30, 2020
Disable newtype desugaring by default
!36
· created
Oct 28, 2020
by
Fredrik Wieczerkowski
Merged
0
updated
Oct 29, 2020
Improve multi-line span previews
!35
· created
Oct 24, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
3
updated
Oct 28, 2020
Revert higher rank polymorphism for now
!31
· created
Jul 13, 2020
by
Fredrik Wieczerkowski
Merged
0
updated
Oct 21, 2020
Add kind information to type declarations in FlatCurry
!32
· created
Oct 17, 2020
by
Fredrik Wieczerkowski
Merged
0
updated
Oct 21, 2020
Perform qualified type constructor lookup in WarnCheck
!30
· created
Jun 23, 2020
by
Fredrik Wieczerkowski
Merged
0
updated
Oct 20, 2020
Split warnings for unreachable case branches
!29
· created
Jun 22, 2020
by
Fredrik Wieczerkowski
Merged
0
updated
Oct 20, 2020
Provide GHC-like line snippets in messages
!28
· created
Jun 09, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
0
updated
Oct 20, 2020
Provide span information in messages
121 of 121 checklist items completed
!26
· created
Apr 03, 2020
by
Fredrik Wieczerkowski
Refactoring
Merged
0
updated
Oct 20, 2020
Prev
1
2
3
Next
