Issues · curry / curry-frontend · GitLab

Provide quick fixes for error/warning messages

#92 · opened Jun 10, 2020 by Fredrik Wieczerkowski Enhancement
- 0
updated Jun 10, 2020
Update the readme file

#91 · opened Apr 04, 2020 by Fredrik Wieczerkowski Enhancement
- CLOSED
- 1
- 1
- 0
updated Jul 21, 2020
Provide span information in warning/error messages

#90 · opened Apr 03, 2020 by Fredrik Wieczerkowski Doing Refactoring
- 1
- 0
updated May 04, 2020
Create a cabal.project file and make the build "non-stateful"

#89 · opened Mar 27, 2020 by Fredrik Wieczerkowski Enhancement
- 1
- 0
updated Mar 27, 2020
Split curry-frontend into library and executable

#88 · opened Mar 27, 2020 by Fredrik Wieczerkowski Refactoring
- 1
- 0
updated Mar 27, 2020
GHC-like line snippets in warning messages

#87 · opened Feb 10, 2020 by Fredrik Wieczerkowski Doing Enhancement
- 1
- 0
updated Jun 10, 2020
Split multi-branch unreachability warnings

#86 · opened Feb 10, 2020 by Fredrik Wieczerkowski Doing Enhancement
- 1
- 0
updated Jun 22, 2020
Wrong warning for missing pattern with qualified Type

#85 · opened Feb 08, 2020 by Kai Prott Bug To Do
- 1
- 1
updated Jun 23, 2020
Improve locations when warning for unreachable/overlapping patterns

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

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

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

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

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

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

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

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

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

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

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

#73 · opened Dec 09, 2019 by Finn Teegen Bug To Do
- 0
updated Feb 12, 2020

Prev
1
2
3
4
5
Next