diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2020-03-17 15:13:38 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-20 20:44:17 -0400 |
| commit | 9a96ff6b1c19c9d0af9c9a39fb2c086f311c7239 (patch) | |
| tree | eaeb55c6af88f39be3be50fd8811a826440ca0be /.gitlab | |
| parent | faa36e5b3674a7b2cfc6b931eec27b3558fad33b (diff) | |
| download | haskell-9a96ff6b1c19c9d0af9c9a39fb2c086f311c7239.tar.gz | |
Update core spec to reflect changes to Core.
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
03d4852658e1b7407abb4da84b1b03bfa6f6db3b) in the source.
No changes to running code.
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/linters/check-cpp.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/linters/check-cpp.py b/.gitlab/linters/check-cpp.py index 5377fcb005..1b4b26a760 100755 --- a/.gitlab/linters/check-cpp.py +++ b/.gitlab/linters/check-cpp.py @@ -29,6 +29,8 @@ for l in linters: # Don't lint font files l.add_path_filter(lambda path: not path.parent == Path('docs','users_guide', 'rtd-theme', 'static', 'fonts')) + # Don't lint core spec + l.add_path_filter(lambda path: not path.name == 'core-spec.pdf') if __name__ == '__main__': run_linters(linters) |