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
Front end crashes when importing RankNTypes
#45
· created
Sep 17, 2019
by
Michael Hanus
Bug
CLOSED
1
updated
Sep 17, 2019
Avoid use of absolute path names for style file copying
#44
· created
Aug 12, 2019
by
Michael Hanus
Bug
CLOSED
2
updated
Oct 07, 2019
Type signatures are not correctly checked against inferred types with negative type variables
#43
· created
Aug 04, 2019
by
Jan-Hendrik Matthes
Bug
CLOSED
1
0
updated
Oct 21, 2020
[RankNTypes] Compilation error
#42
· created
Jul 29, 2019
by
Finn Teegen
Bug
CLOSED
4
updated
Jul 30, 2019
Error when compiling a class definition with `NoImplicitPrelude`
#41
· created
Jul 23, 2019
by
Jan-Hendrik Matthes
Bug
1
updated
Oct 07, 2019
[RankNTypes] Prelude.!!: index too large
#40
· created
Jul 18, 2019
by
Kai Prott
Bug
CLOSED
2
updated
Jul 25, 2019
Type-Check fails with internal error for instance declarations with ambiguous funtion names
#39
· created
Apr 03, 2019
by
Kai Prott
Bug
CLOSED
1
1
updated
Apr 04, 2019
Missing span when re-exporting module
#38
· created
Mar 28, 2019
by
Kai Prott
CLOSED
1
2
updated
Mar 29, 2019
Add support for MonadFail in desugaring of do-notation
#37
· created
Mar 20, 2019
by
Kai Prott
CLOSED
1
updated
Nov 08, 2019
Simplify generated FlatCurry when the specific type of a class function is known
#36
· created
Mar 20, 2019
by
Kai Prott
Feature
1
updated
Mar 25, 2019
Error or fail for missing class methods?
#35
· created
Jan 09, 2019
by
Kai Prott
CLOSED
0
updated
Oct 28, 2019
Problems with modular Prelude
#34
· created
Jan 09, 2019
by
Kai Prott
1
updated
Oct 07, 2019
Refactor addition of built-in types to compiler environments
#33
· created
Dec 20, 2018
by
Kai Prott
Refactoring
0
updated
Dec 20, 2018
Show an error when desugaring of language constructs fails
#32
· created
Dec 17, 2018
by
Kai Prott
Bug
To Do
0
updated
Nov 08, 2019
Properly represent a missing module header in the AST
#31
· created
Dec 17, 2018
by
Kai Prott
Feature
Refactoring
0
updated
Dec 17, 2018
Refactor implicit Prelude-Import
#30
· created
Dec 17, 2018
by
Kai Prott
Refactoring
0
updated
Dec 17, 2018
Remove the `ExistentialQuantification` extension
#29
· created
Dec 17, 2018
by
Kai Prott
Refactoring
CLOSED
1
0
updated
May 19, 2019
Add ifThenElse-Construct to AbstractCurry
#28
· created
Dec 17, 2018
by
Kai Prott
Feature
0
updated
Dec 17, 2018
Extend support for disabling optimizations
#27
· created
Dec 17, 2018
by
Kai Prott
Feature
0
updated
Dec 17, 2018
Fix desugaring of record patterns
#26
· created
Aug 16, 2018
by
Finn Teegen
Bug
CLOSED
0
updated
Oct 09, 2018
Prev
1
2
3
4
5
6
7
Next