Issues · curry / curry-frontend · GitLab

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