Merge requests · curry / curry-frontend

Merge curry-base

!34 · created Oct 23, 2020 by Fredrik Wieczerkowski Enhancement Refactoring
- MERGED
- 0
updated Nov 12, 2020
Add parameter for output directory

!38 · created Nov 05, 2020 by Fredrik Wieczerkowski Enhancement
- MERGED
- 0
updated Nov 06, 2020
Improve message spans in TypeCheck

!37 · created Oct 29, 2020 by Fredrik Wieczerkowski Enhancement
- MERGED
- 0
updated Oct 30, 2020
Disable newtype desugaring by default

!36 · created Oct 28, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 29, 2020
Improve multi-line span previews

!35 · created Oct 24, 2020 by Fredrik Wieczerkowski Enhancement
- MERGED
- 3
updated Oct 28, 2020
Revert higher rank polymorphism for now

!31 · created Jul 13, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 21, 2020
Add kind information to type declarations in FlatCurry

!32 · created Oct 17, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 21, 2020
Perform qualified type constructor lookup in WarnCheck

!30 · created Jun 23, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 20, 2020
Split warnings for unreachable case branches

!29 · created Jun 22, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 20, 2020
Provide GHC-like line snippets in messages

!28 · created Jun 09, 2020 by Fredrik Wieczerkowski Enhancement
- MERGED
- 0
updated Oct 20, 2020
Provide span information in messages 121 of 121 checklist items completed

!26 · created Apr 03, 2020 by Fredrik Wieczerkowski Refactoring
- MERGED
- 0
updated Oct 20, 2020
Update the readme file

!27 · created Apr 06, 2020 by Fredrik Wieczerkowski Enhancement
- MERGED
- 0
updated Jul 21, 2020
Add support for higher-rank polymorphism 13 of 13 checklist items completed

!14 · created May 19, 2019 by Jan-Hendrik Matthes Feature
- MERGED
- 2
updated Jul 13, 2020
Remove support for existential quantified type variables in data type declarations

!13 · created Apr 27, 2019 by Jan-Hendrik Matthes
- MERGED
- 2
updated Jul 13, 2020
Emit correct locations for warnings about unreachable case branches

!22 · created Feb 04, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Apr 01, 2020
Version3

!16 · created Nov 04, 2019 by Kai Prott
- MERGED
- 0
updated Feb 03, 2020
Fix guarded wildcard case warnings

!21 · created Jan 29, 2020 by Fredrik Wieczerkowski
- MERGED
- 2
updated Feb 03, 2020
Add Kind information to explicitly bound type variables

!20 · created Jan 24, 2020 by Kai Prott
- MERGED
- 0
updated Jan 28, 2020
Add support for the `ExplicitForAll` language extension

!17 · created Nov 19, 2019 by Jan-Hendrik Matthes Feature
- MERGED
- 2
updated Nov 19, 2019
Add support for dark mode in the HTML output

!15 · created Oct 30, 2019 by Jan-Hendrik Matthes Feature
- MERGED
- 1
updated Nov 01, 2019