Issues · curry / curry-frontend

New issue

Error or fail for missing class methods?

#35 · created Jan 09, 2019 by Kai Prott
- CLOSED
- 0
updated Oct 28, 2019
cymake / curry-frontend does not have a man page

#5 · created Dec 21, 2016 by Mike Gabriel
- CLOSED
- 1
updated Oct 28, 2019
Fix reexport of modules imported with restrictions

#12 · created Mar 29, 2017 by Finn Teegen Bug
- CLOSED
- 2
updated Oct 19, 2019
(Re)export of record labels

#8 · created Mar 29, 2017 by Finn Teegen Bug
- CLOSED
- 3
updated Oct 19, 2019
Improve Error Message regarding export/import of record labels

#9 · created Mar 29, 2017 by Finn Teegen Bug
- CLOSED
- 4
updated Oct 19, 2019
Usage of non-unique record label yields internal error

#47 · created Oct 08, 2019 by Sandra Dylus Bug
- CLOSED
- 3
updated Oct 09, 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
Front end crashes when importing RankNTypes

#45 · created Sep 17, 2019 by Michael Hanus Bug
- CLOSED
- 1
updated Sep 17, 2019
[RankNTypes] Compilation error

#42 · created Jul 29, 2019 by Finn Teegen Bug
- CLOSED
- 4
updated Jul 30, 2019
[RankNTypes] Prelude.!!: index too large

#40 · created Jul 18, 2019 by Kai Prott Bug
- CLOSED
- 2
updated Jul 25, 2019
Remove the `ExistentialQuantification` extension

#29 · created Dec 17, 2018 by Kai Prott Refactoring
- CLOSED
- 1
- 0
updated May 19, 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 different syntax modes

#19 · created Mar 29, 2017 by Finn Teegen Feature
- CLOSED
- 1
updated Dec 06, 2018
Fix desugaring of record patterns

#26 · created Aug 16, 2018 by Finn Teegen Bug
- CLOSED
- 0
updated Oct 09, 2018
Duplicate error message for top-level patterns

#25 · created Jul 11, 2018 by Kai Prott
- CLOSED
- 1
- 0
updated Jul 11, 2018
Having a class method with the same name as a constructor results in an internal error

#24 · created Jul 11, 2018 by Kai Prott
- CLOSED
- 1
updated Jul 11, 2018
Declaration of type class with nullary class method yields internal error

#23 · created Jun 27, 2018 by Jan Rasmus Tikovsky
- CLOSED
- 1
updated Jun 27, 2018
Wrong type for free variables in TypedFlatCurry

#22 · created Apr 18, 2018 by Michael Hanus
- CLOSED
- 1
updated Apr 19, 2018
please tag release 0.4.0 in Git

#1 · created Oct 12, 2016 by Mike Gabriel
- CLOSED
- 0
updated May 21, 2017