Merge requests · curry / curry-frontend

Add support for implied language extensions (and let NoImplicitPrelude imply NoDataDeriving)

!57 · created Jun 19, 2022 by Fredrik Wieczerkowski
- MERGED
- 0
updated Jul 08, 2022
Implement warning for shadowed imported names (-Wimport-name-shadowing) 3 of 3 checklist items completed

!54 · created Mar 03, 2022 by Fredrik Wieczerkowski Enhancement Feature
- MERGED
- Approved
- 1
updated Nov 22, 2022
Improve frontend usability as a library

!58 · created Jul 13, 2022 by Kai Prott
- MERGED
- 1
- 4
updated Nov 22, 2022
Make stack path configurable in Makefile

!52 · created Mar 02, 2022 by Fredrik Wieczerkowski Enhancement
- MERGED
- 0
updated Nov 22, 2022
Add CI pipeline 2 of 2 checklist items completed

!51 · created Mar 01, 2022 by Fredrik Wieczerkowski Enhancement
- MERGED
- 0
updated Nov 22, 2022
Replace remaining uses of 'cymake' with 'frontend'

!59 · created Nov 22, 2022 by Fredrik Wieczerkowski
- MERGED
- 0
updated Dec 13, 2022
Add .DS_Store to gitignore

!60 · created Dec 20, 2022 by Fredrik Wieczerkowski
- MERGED
- 0
updated Jan 30, 2023
Default to using kielExtensions and deprecate --extended

!61 · created Feb 05, 2023 by Fredrik Wieczerkowski
- MERGED
- 0
updated Feb 06, 2023