- 21 Oct, 2020 2 commits
-
-
Finn Teegen authored
Add kind information to type declarations in FlatCurry See merge request !19
-
Finn Teegen authored
Remove higher rank polymorphism extensions for now See merge request !18
-
- 20 Oct, 2020 9 commits
-
-
Fredrik Wieczerkowski authored
See !19 (comment 8669) for rationale.
-
Fredrik Wieczerkowski authored
Add Kind information to explicitly bound type variables in FlatCurry See merge request !15
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
Include the removal of ExistentialQuantification again.
-
Fredrik Wieczerkowski authored
- Merge branch 'fix-warnings' into 'master' Fix some compiler warnings in the syntax modules See merge request !10 - Merge branch 'remove-exist-quant' into 'master' Remove support for existential quantified type variables in data type declarations See merge request !11 - Update Pretty and Binary instances for ConstrDecl Co-authored-by:
Finn Teegen <fte@informatik.uni-kiel.de>
-
Fredrik Wieczerkowski authored
- (WIP) Include information about Layout in SpanInfo - Add LayoutInfo while parsing, but don't print it on file export (yet) - Parse QualTypeExprs again - Add Binary instances for AST (WIP) - Fix parsing issues with empty where clauses (WIP) - Do not insert a virtual semicolon when it is followed by a where - Fixes failure on where-blocks that are immediately after do-blocks with the same indentation - Add even more binary instances - Properly add already available test cases - Use Pretty class from Curry.Base.Pretty (WIP) - Merge remote-tracking branch 'origin/data-class' into version3 - Fix haddoc comment - Fix SpanInfos for Idents and where-clauses - Merge branch 'explicit-layout-info' - Fix remaining compilation issues Co-Authored-By:
Kai Prott <kai.prott@hotmail.de>
-
Fredrik Wieczerkowski authored
-
Finn Teegen authored
Add functions for generating span previews See merge request !17
-
Finn Teegen authored
Provide span information in messages Closes #17 See merge request !16
-
- 23 Jul, 2020 1 commit
-
-
Fredrik Wieczerkowski authored
...instead of from the start to the end column, since those may no longer be in order in multi-line spans. This change thus fixes the previews for multi-line spans.
-
- 09 Jun, 2020 9 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 02 May, 2020 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 03 Apr, 2020 2 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 02 Apr, 2020 2 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
Change msgPos :: Position to msgSpanInfo :: SpanInfo, migrate to the new span-based messages and add utility functions, e.g. for converting positions to single-character spans.
-
- 01 Apr, 2020 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 28 Jan, 2020 1 commit
-
-
Finn Teegen authored
Add Kind information to explicitly bound type variables in FlatCurry See merge request !15
-
- 24 Jan, 2020 1 commit
-
-
Kai-Oliver Prott authored
-
- 21 Jan, 2020 1 commit
-
-
Finn Teegen authored
-
- 14 Dec, 2019 2 commits
-
-
Kai-Oliver Prott authored
-
Kai-Oliver Prott authored
-
- 08 Dec, 2019 1 commit
-
-
Kai-Oliver Prott authored
-
- 02 Dec, 2019 1 commit
-
-
Jan-Hendrik Matthes authored
-
- 19 Nov, 2019 1 commit
-
-
Finn Teegen authored
Add support for the `ExplicitForAll` language extension See merge request !13
-
- 18 Nov, 2019 1 commit
-
-
Jan-Hendrik Matthes authored
-
- 04 Nov, 2019 2 commits
-
-
Kai-Oliver Prott authored
-
- 01 Nov, 2019 1 commit
-
- 31 Oct, 2019 1 commit
-
-
Kai-Oliver Prott authored
-