[Git][ghc/ghc][wip/top-level-kind-signatures] 3 commits: TLKSs instead of CUSKs in tests

Vladislav Zavialov gitlab at gitlab.haskell.org
Fri May 31 17:30:16 UTC 2019



Vladislav Zavialov pushed to branch wip/top-level-kind-signatures at Glasgow Haskell Compiler / GHC


Commits:
9a27f4e4 by Vladislav Zavialov at 2019-05-31T14:25:34Z
TLKSs instead of CUSKs in tests

- - - - -
af79e517 by Vladislav Zavialov at 2019-05-31T16:50:03Z
tlks029 test case (broken)

- - - - -
e9b1fddc by Vladislav Zavialov at 2019-05-31T17:27:54Z
Fix #16722: Lack of PolyKinds validity checking in TLKS kinds

- - - - -


30 changed files:

- compiler/rename/RnBinds.hs
- compiler/rename/RnExpr.hs
- compiler/rename/RnSource.hs
- compiler/rename/RnTypes.hs
- compiler/typecheck/TcHsType.hs
- testsuite/tests/dependent/should_compile/Dep2.hs
- testsuite/tests/dependent/should_compile/DkNameRes.hs
- testsuite/tests/dependent/should_compile/KindEqualities2.hs
- testsuite/tests/dependent/should_compile/RaeBlogPost.hs
- testsuite/tests/dependent/should_compile/RaeJobTalk.hs
- testsuite/tests/dependent/should_compile/T11711.hs
- testsuite/tests/dependent/should_compile/T12176.hs
- testsuite/tests/dependent/should_compile/T12442.hs
- testsuite/tests/dependent/should_compile/T14066a.hs
- testsuite/tests/dependent/should_compile/T14066a.stderr
- testsuite/tests/dependent/should_fail/T13780c.hs
- testsuite/tests/dependent/should_fail/T13780c.stderr
- testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot
- testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr
- testsuite/tests/patsyn/should_compile/T10997_1a.hs
- testsuite/tests/patsyn/should_compile/T12698.hs
- testsuite/tests/polykinds/T10670a.hs
- testsuite/tests/polykinds/T11362.hs
- testsuite/tests/polykinds/T11480a.hs
- testsuite/tests/polykinds/T11520.hs
- testsuite/tests/polykinds/T11520.stderr
- testsuite/tests/polykinds/T11523.hs
- testsuite/tests/polykinds/T12055.hs
- testsuite/tests/polykinds/T12055a.hs
- testsuite/tests/polykinds/T12055a.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/e1dd326f651c6de65984c23dce4c121ea3090bf1...e9b1fddc3fd0f33f1056d28b0a7c8e756828b2e8

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/e1dd326f651c6de65984c23dce4c121ea3090bf1...e9b1fddc3fd0f33f1056d28b0a7c8e756828b2e8
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20190531/6b6a4dc7/attachment.html>


More information about the ghc-commits mailing list