Issues · curry / curry-frontend · GitLab

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
Improve locations when warning for unreachable/overlapping patterns

#84 · created Jan 31, 2020 by Finn Teegen Doing Enhancement
- CLOSED
- 1
- 0
updated Apr 01, 2020
Transform type expressions into weak prenex normal form

#83 · created Jan 28, 2020 by Finn Teegen Enhancement
- CLOSED
- 1
updated Jan 31, 2020
Reduce dependencies between compilation phases

#82 · created Jan 28, 2020 by Finn Teegen Enhancement To Do
- 0
updated Jan 28, 2020
Parametrize AST with location information

#81 · created Jan 28, 2020 by Finn Teegen Enhancement To Do
- 0
updated Jan 28, 2020
Translate user's type annotations correctly

#80 · created Jan 28, 2020 by Finn Teegen Bug To Do
- 0
updated Jan 28, 2020
Remove TypedFlatCurry format

#79 · created Jan 28, 2020 by Finn Teegen Enhancement To Do
- 0
updated Jan 28, 2020
Add flag options similar to the GHC

#78 · created Jan 27, 2020 by Finn Teegen Enhancement To Do
- 0
updated Jan 27, 2020
Type variable escapes when encoding existential types

#77 · created Jan 23, 2020 by Finn Teegen Bug Doing
- 1
- 1
updated Jul 13, 2020
Remove type synonyms from FlatCurry

#76 · created Jan 21, 2020 by Finn Teegen Refactoring To Do
- 0
updated Jan 21, 2020
Fix that -Wunused-global-bindings reports some exported bindings

#75 · created Dec 16, 2019 by Kai Prott Bug Doing
- CLOSED
- 1
updated Dec 16, 2019
Drop support for OPTIONS_CYMAKE pragma

#74 · created Dec 13, 2019 by Finn Teegen Refactoring To Do
- 3
updated Dec 16, 2019
Fix pretty printing of OPTIONS pragma

#73 · created Dec 09, 2019 by Finn Teegen Bug To Do
- 0
updated Feb 12, 2020
Fix type inference for ApLhs

#72 · created Dec 09, 2019 by Finn Teegen Bug
- CLOSED
- 0
updated Feb 08, 2020
Move caseModeCheck before TypeCheck

#71 · created Dec 09, 2019 by Kai Prott Refactoring
- CLOSED
- 1
updated Feb 08, 2020
Merge curry-base and curry-frontend

#70 · created Dec 09, 2019 by Kai Prott Refactoring
- CLOSED
- 1
- 0
updated Oct 26, 2020
SpanInfo for language and options pragmas

#69 · created Dec 09, 2019 by Kai Prott Feature
- CLOSED
- 1
updated May 04, 2020
Make recompilation robust w.r.t. different compilers

#68 · created Nov 18, 2019 by Finn Teegen Refactoring To Do
- 0
updated Nov 18, 2019
Use explicit ForallTypes in FlatCurry representation

#67 · created Nov 18, 2019 by Finn Teegen Refactoring
- 1
- 0
updated Nov 25, 2019
Add support for the `ExplicitForall` language extension

#66 · created Nov 18, 2019 by Jan-Hendrik Matthes Feature
- CLOSED
- 1
- 0
updated Nov 19, 2019

Prev
1
2
3
4
5
6
7
Next