Skip to content
GitLab
Explore
Sign in
Register
Open
5
Merged
63
Closed
10
All
78
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Add parameter for output directory
!38
· created
Nov 05, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
updated
Nov 06, 2020
Improve message spans in TypeCheck
!37
· created
Oct 29, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
updated
Oct 30, 2020
Disable newtype desugaring by default
!36
· created
Oct 28, 2020
by
Fredrik Wieczerkowski
Merged
updated
Oct 29, 2020
Improve multi-line span previews
!35
· created
Oct 24, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
3
updated
Oct 28, 2020
Merge curry-base
!34
· created
Oct 23, 2020
by
Fredrik Wieczerkowski
Enhancement
Refactoring
Merged
updated
Nov 12, 2020
Fix: Add unqualified type constructor lookup as fallback in WarnCheck
!33
· created
Oct 20, 2020
by
Fredrik Wieczerkowski
Closed
1
updated
Oct 21, 2020
Add kind information to type declarations in FlatCurry
!32
· created
Oct 17, 2020
by
Fredrik Wieczerkowski
Merged
updated
Oct 21, 2020
Revert higher rank polymorphism for now
!31
· created
Jul 13, 2020
by
Fredrik Wieczerkowski
Merged
updated
Oct 21, 2020
Perform qualified type constructor lookup in WarnCheck
!30
· created
Jun 23, 2020
by
Fredrik Wieczerkowski
Merged
updated
Oct 20, 2020
Split warnings for unreachable case branches
!29
· created
Jun 22, 2020
by
Fredrik Wieczerkowski
Merged
updated
Oct 20, 2020
Provide GHC-like line snippets in messages
!28
· created
Jun 09, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
updated
Oct 20, 2020
Update the readme file
!27
· created
Apr 06, 2020
by
Fredrik Wieczerkowski
Enhancement
Merged
updated
Jul 21, 2020
Provide span information in messages
121 of 121 checklist items completed
!26
· created
Apr 03, 2020
by
Fredrik Wieczerkowski
Refactoring
Merged
updated
Oct 20, 2020
Add library target and specify Git-dependency on curry-base
!25
· created
Mar 27, 2020
by
Fredrik Wieczerkowski
Enhancement
Closed
1
updated
Oct 23, 2020
Clean up the .cabal file
!24
· created
Mar 22, 2020
by
Jan-Hendrik Matthes
Enhancement
Closed
1
updated
Oct 23, 2020
WIP: Improve handling of predicated function arguments
!23
· created
Feb 28, 2020
by
Jan-Hendrik Matthes
Emit correct locations for warnings about unreachable case branches
!22
· created
Feb 04, 2020
by
Fredrik Wieczerkowski
Merged
updated
Apr 01, 2020
Fix guarded wildcard case warnings
!21
· created
Jan 29, 2020
by
Fredrik Wieczerkowski
Merged
2
updated
Feb 03, 2020
Add Kind information to explicitly bound type variables
!20
· created
Jan 24, 2020
by
Kai Prott
Merged
updated
Jan 28, 2020
WIP: Add support for the `ScopedTypeVariables` language extension
!19
· created
Dec 02, 2019
by
Jan-Hendrik Matthes
Feature
updated
Dec 25, 2019
Prev
1
2
3
4
Next