Skip to content
GitLab
Switch branch/tag
  1. 17 Jan, 2013 1 commit
  3. 18 Dec, 2012 3 commits
  5. 11 Dec, 2012 1 commit
  7. 07 Dec, 2012 1 commit
  9. 06 Dec, 2012 2 commits
  11. 15 Nov, 2012 1 commit
  13. 02 Nov, 2012 3 commits
  15. 24 Oct, 2012 1 commit
    • Björn Peemöller 's avatar
      Improved reporting of multiple type signatures · 53cbf3e7
      Björn Peemöller authored 
      Previously, only the existence of a duplicate signature was reported:

  ErrorMultipleSignature.curry, line 1.1:
      More than one type signature for `f'

Now, the occurrences are additionally reported:

  ErrorMultipleSignature.curry, line 1.1:
      More than one type signature for `f' at:
        ErrorMultipleSignature.curry, line 1.1
        ErrorMultipleSignature.curry, line 3.1
        ErrorMultipleSignature.curry, line 6.1
      53cbf3e7
  17. 17 Oct, 2012 2 commits
  19. 12 Oct, 2012 1 commit
  21. 10 Oct, 2012 3 commits
  23. 08 Oct, 2012 2 commits
  25. 05 Oct, 2012 3 commits
  27. 04 Oct, 2012 1 commit
  29. 01 Oct, 2012 4 commits
  31. 28 Sep, 2012 1 commit
  33. 25 Sep, 2012 4 commits
  35. 24 Sep, 2012 6 commits