Issues · curry / curry-frontend

New issue

Type-annotated FlatCurry is not generated if it is the only target

#123 · created Dec 14, 2020 by Finn Teegen Bug To Do
- CLOSED
- 0
updated Dec 14, 2020
Missing Data context for non-linear as-patterns

#121 · created Dec 10, 2020 by Finn Teegen Bug To Do
- CLOSED
- 0
updated Dec 10, 2020
Wrong desugaring of type synonyms

#117 · created Nov 29, 2020 by Finn Teegen Bug To Do
- CLOSED
- 1
updated Nov 29, 2020
Remove type synonyms completely in desugaring

#115 · created Nov 29, 2020 by Finn Teegen Bug Enhancement To Do
- CLOSED
- 2
updated Nov 29, 2020
Frontend crash during parsing

#113 · created Nov 26, 2020 by Finn Teegen Bug To Do
- CLOSED
- 1
- 4
updated Nov 26, 2020
Remove renaming from type syntax check

#112 · created Nov 26, 2020 by Finn Teegen Enhancement To Do
- CLOSED
- 0
updated Nov 26, 2020
Generate TypedFlatCurry via TypeAnnotatedFlatCurry

#57 · created Oct 28, 2019 by Kai Prott Refactoring
- CLOSED
- 1
- 0
updated Nov 24, 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
Deriving fails for empty data types

#101 · created Nov 19, 2020 by Finn Teegen Bug Doing
- CLOSED
- 0
updated Nov 23, 2020
Fix error message for explicitly derived Data

#102 · created Nov 19, 2020 by Fredrik Wieczerkowski Bug
- CLOSED
- 0
updated Nov 19, 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
Add parameter for output dir

#97 · created Nov 05, 2020 by Michael Hanus
- CLOSED
- 1
- 0
updated Nov 06, 2020
Improve spans for error messages

#93 · created Oct 26, 2020 by Finn Teegen Enhancement To Do
- CLOSED
- 1
- 0
updated Oct 30, 2020
Split curry-frontend into library and executable

#88 · created Mar 27, 2020 by Fredrik Wieczerkowski Refactoring
- CLOSED
- 2
- 0
updated Oct 26, 2020
Merge curry-base and curry-frontend

#70 · created Dec 09, 2019 by Kai Prott Refactoring
- CLOSED
- 1
- 0
updated Oct 26, 2020
Create a cabal.project file and make the build "non-stateful"

#89 · created Mar 27, 2020 by Fredrik Wieczerkowski Enhancement
- CLOSED
- 1
- 0
updated Oct 23, 2020
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
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
Split multi-branch unreachability warnings

#86 · created Feb 10, 2020 by Fredrik Wieczerkowski Doing Enhancement
- CLOSED
- 1
- 0
updated Oct 20, 2020