Issues · curry / curry-frontend

New issue

Allow Data instances for external data types

#110 · created Nov 25, 2020 by Finn Teegen Bug Enhancement To Do
- 0
updated Nov 25, 2020
Wrong transformation of some type class instances

#109 · created Nov 23, 2020 by Finn Teegen Bug To Do
- 13
updated Dec 01, 2020
Make specialization in dictionary transformation an optional optimization

#108 · created Nov 23, 2020 by Finn Teegen Enhancement To Do
- CLOSED
- 0
updated Nov 23, 2020
Check which information of instances needs to be considered

#107 · created Nov 23, 2020 by Finn Teegen Enhancement To Do
- 1
updated Nov 25, 2020
Unqualify built-in types

#106 · created Nov 20, 2020 by Finn Teegen Enhancement To Do
- 8
updated Nov 27, 2020
Add option to disable automatic deriving of Data

#105 · created Nov 20, 2020 by Finn Teegen Enhancement To Do
- 0
updated Nov 20, 2020
Do not exceed 80 characters in frontend messages

#104 · created Nov 19, 2020 by Finn Teegen Enhancement To Do
- 0
updated Nov 19, 2020
Add support for EmptyDataDeriving

#103 · created Nov 19, 2020 by Finn Teegen Enhancement To Do
- 1
updated Nov 19, 2020
Fix error message for explicitly derived Data

#102 · created Nov 19, 2020 by Fredrik Wieczerkowski Bug
- CLOSED
- 0
updated Nov 19, 2020
Deriving fails for empty data types

#101 · created Nov 19, 2020 by Finn Teegen Bug Doing
- CLOSED
- 0
updated Nov 23, 2020
Prelude is not imported in FCY

#100 · created Nov 17, 2020 by Michael Hanus Bug
- CLOSED
- 0
updated Nov 17, 2020
Fix generation of AbstractCurry

#99 · created Nov 14, 2020 by Michael Hanus Bug
- CLOSED
- 0
updated Nov 17, 2020
Set Haskell case mode as default

#98 · created Nov 11, 2020 by Finn Teegen Enhancement To Do
- 0
updated Nov 11, 2020
Add parameter for output dir

#97 · created Nov 05, 2020 by Michael Hanus
- CLOSED
- 1
- 0
updated Nov 06, 2020
Perform general refactoring

#96 · created Nov 04, 2020 by Fredrik Wieczerkowski Refactoring
- 0
updated Nov 04, 2020
Emit colored messages

#95 · created Oct 29, 2020 by Fredrik Wieczerkowski Enhancement
- 0
updated Oct 29, 2020
Remove double errors

#94 · created Oct 27, 2020 by Finn Teegen Enhancement To Do
- 2
updated Oct 30, 2020
Improve spans for error messages

#93 · created Oct 26, 2020 by Finn Teegen Enhancement To Do
- CLOSED
- 1
- 0
updated Oct 30, 2020
Provide quick fixes for error/warning messages

#92 · created Jun 10, 2020 by Fredrik Wieczerkowski Enhancement
- 0
updated Apr 15, 2021
Update the readme file

#91 · created Apr 04, 2020 by Fredrik Wieczerkowski Enhancement
- CLOSED
- 1
- 1
- 0
updated Jul 21, 2020