1. 21 Mar, 2020 1 commit
    • Richard Eisenberg's avatar
      Update core spec to reflect changes to Core. · 9a96ff6b
      Richard Eisenberg authored
      Key changes:
       * Adds a new rule for forall-coercions over coercion variables, which
      was implemented but conspicuously missing from the spec.
       * Adds treatment for FunCo.
       * Adds treatment for ForAllTy over coercion variables.
       * Improves commentary (including restoring a Note lost in
      03d48526) in the source.
      
      No changes to running code.
      9a96ff6b
  2. 29 Feb, 2020 1 commit
  3. 26 Feb, 2020 4 commits
  4. 21 Feb, 2020 2 commits
  5. 14 Feb, 2020 4 commits
  6. 07 Jan, 2020 2 commits
  7. 26 Dec, 2019 1 commit
  8. 17 Dec, 2019 1 commit
  9. 11 Dec, 2019 2 commits
  10. 02 Dec, 2019 2 commits
  11. 15 Nov, 2019 1 commit
  12. 30 Oct, 2019 1 commit
  13. 29 Oct, 2019 2 commits
  14. 23 Sep, 2019 1 commit
  15. 13 Sep, 2019 1 commit
  16. 29 Aug, 2019 1 commit
  17. 23 Jul, 2019 1 commit
  18. 14 Jul, 2019 1 commit
  19. 11 Jul, 2019 2 commits
  20. 10 Jul, 2019 1 commit
    • Ömer Sinan Ağacan's avatar
      Testsuite tweaks and refactoring · d7423f10
      Ömer Sinan Ağacan authored
      - Rename requires_th to req_th for consistency with other req functions
        (e.g. req_interp, req_profiling etc.)
      
      - req_th (previously requires_th) now checks for interpreter (via
        req_interp). With this running TH tests are skipped when running the
        test suite with stage=1.
      
      - Test tweaks:
          - T9360a, T9360b: Use req_interp
          - recomp009, T13938, RAE_T32a: Use req_th
      
      - Fix check-makefiles linter: it now looks for Makefiles instead of .T
        files (which are actually Python files)
      d7423f10
  21. 05 Jul, 2019 1 commit
  22. 15 Jun, 2019 2 commits
  23. 13 Jun, 2019 1 commit
  24. 12 Jun, 2019 1 commit
  25. 13 Apr, 2019 1 commit
  26. 12 Apr, 2019 1 commit
  27. 09 Apr, 2019 1 commit