1. 23 Jul, 2020 1 commit
  2. 12 Jul, 2020 2 commits
    • Fredrik Wieczerkowski's avatar
      Re-apply 'remove-exist-quant' · 58e3e833
      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's avatarFinn Teegen <fte@informatik.uni-kiel.de>
      58e3e833
    • Fredrik Wieczerkowski's avatar
      Re-apply 'explicit-layout-info' · a4c373d8
      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: default avatarKai Prott <kai.prott@hotmail.de>
      a4c373d8
  3. 09 Jul, 2020 1 commit
  4. 28 Jan, 2020 1 commit
  5. 24 Jan, 2020 1 commit
  6. 21 Jan, 2020 1 commit
  7. 14 Dec, 2019 2 commits
  8. 08 Dec, 2019 1 commit
  9. 02 Dec, 2019 1 commit
  10. 19 Nov, 2019 1 commit
  11. 18 Nov, 2019 1 commit
  12. 04 Nov, 2019 2 commits
  13. 01 Nov, 2019 1 commit
  14. 31 Oct, 2019 1 commit
  15. 28 Oct, 2019 1 commit
  16. 20 Oct, 2019 2 commits
  17. 18 Oct, 2019 1 commit
  18. 16 Oct, 2019 2 commits
  19. 15 Oct, 2019 1 commit
  20. 09 Oct, 2019 2 commits
  21. 08 Oct, 2019 1 commit
  22. 30 Sep, 2019 1 commit
  23. 04 Aug, 2019 1 commit
  24. 02 Aug, 2019 1 commit
  25. 24 Jul, 2019 1 commit
  26. 18 Jun, 2019 1 commit
  27. 11 Jun, 2019 3 commits
  28. 08 Jun, 2019 1 commit
  29. 30 May, 2019 1 commit
  30. 19 May, 2019 1 commit
  31. 16 May, 2019 2 commits