Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
curry
curry-frontend
Issues
Open
64
Closed
61
All
125
New issue
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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Wrong warning for missing pattern with qualified Type
#85
· created
Feb 08, 2020
by
Kai Prott
Bug
To Do
CLOSED
1
1
updated
Oct 20, 2020
Improve locations when warning for unreachable/overlapping patterns
#84
· created
Jan 31, 2020
by
Finn Teegen
Doing
Enhancement
CLOSED
1
0
updated
Apr 01, 2020
Transform type expressions into weak prenex normal form
#83
· created
Jan 28, 2020
by
Finn Teegen
Enhancement
CLOSED
1
updated
Jan 31, 2020
Reduce dependencies between compilation phases
#82
· created
Jan 28, 2020
by
Finn Teegen
Enhancement
To Do
0
updated
Jan 28, 2020
Parametrize AST with location information
#81
· created
Jan 28, 2020
by
Finn Teegen
Enhancement
To Do
0
updated
Jan 28, 2020
Translate user's type annotations correctly
#80
· created
Jan 28, 2020
by
Finn Teegen
Bug
To Do
0
updated
Jan 28, 2020
Remove TypedFlatCurry format
#79
· created
Jan 28, 2020
by
Finn Teegen
Enhancement
To Do
0
updated
Jan 28, 2020
Add flag options similar to the GHC
#78
· created
Jan 27, 2020
by
Finn Teegen
Enhancement
To Do
0
updated
Jan 27, 2020
Type variable escapes when encoding existential types
#77
· created
Jan 23, 2020
by
Finn Teegen
Bug
Doing
1
1
updated
Jul 13, 2020
Remove type synonyms from FlatCurry
#76
· created
Jan 21, 2020
by
Finn Teegen
Refactoring
To Do
0
updated
Jan 21, 2020
Fix that -Wunused-global-bindings reports some exported bindings
#75
· created
Dec 16, 2019
by
Kai Prott
Bug
Doing
CLOSED
1
updated
Dec 16, 2019
Drop support for OPTIONS_CYMAKE pragma
#74
· created
Dec 13, 2019
by
Finn Teegen
Refactoring
To Do
3
updated
Dec 16, 2019
Fix pretty printing of OPTIONS pragma
#73
· created
Dec 09, 2019
by
Finn Teegen
Bug
To Do
0
updated
Feb 12, 2020
Fix type inference for ApLhs
#72
· created
Dec 09, 2019
by
Finn Teegen
Bug
CLOSED
0
updated
Feb 08, 2020
Move caseModeCheck before TypeCheck
#71
· created
Dec 09, 2019
by
Kai Prott
Refactoring
CLOSED
1
updated
Feb 08, 2020
Merge curry-base and curry-frontend
#70
· created
Dec 09, 2019
by
Kai Prott
Refactoring
CLOSED
1
0
updated
Oct 26, 2020
SpanInfo for language and options pragmas
#69
· created
Dec 09, 2019
by
Kai Prott
Feature
CLOSED
1
updated
May 04, 2020
Make recompilation robust w.r.t. different compilers
#68
· created
Nov 18, 2019
by
Finn Teegen
Refactoring
To Do
0
updated
Nov 18, 2019
Use explicit ForallTypes in FlatCurry representation
#67
· created
Nov 18, 2019
by
Finn Teegen
Refactoring
1
0
updated
Nov 25, 2019
Add support for the `ExplicitForall` language extension
#66
· created
Nov 18, 2019
by
Jan-Hendrik Matthes
Feature
CLOSED
1
0
updated
Nov 19, 2019
Prev
1
2
3
4
5
6
7
Next