Issues · curry / curry-frontend · GitLab

Provide span information in warning/error messages

#90 · created Apr 03, 2020 by Fredrik Wieczerkowski Doing Refactoring
- CLOSED
- 1
- 0
updated Oct 20, 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
Split curry-frontend into library and executable

#88 · created Mar 27, 2020 by Fredrik Wieczerkowski Refactoring
- CLOSED
- 2
- 0
updated Oct 26, 2020
GHC-like line snippets in warning messages

#87 · created Feb 10, 2020 by Fredrik Wieczerkowski Doing Enhancement
- CLOSED
- 1
- 0
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
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

Prev
1
2
3
4
5
6
7
Next