testsuite/tests/polykinds/T13393.hs · 49f69f50afbfd352f0e9645b4dbe87200e63b37e · Reinier Maas / GHC · GitLab

Snippets Groups Projects

Forked from Glasgow Haskell Compiler / GHC

5864 commits behind the upstream repository.

4 years ago
c8c63dde
Never Anyify during kind inference · c8c63dde
Richard Eisenberg authored 4 years ago and Marge Bot committed 4 years ago
```
See Note [Error on unconstrained meta-variables] in TcMType.

Close #17301
Close #17567
Close #17562
Close #15474
```
c8c63dde

History
Never Anyify during kind inference
Richard Eisenberg authored 4 years ago and Marge Bot committed 4 years ago
```
See Note [Error on unconstrained meta-variables] in TcMType.

Close #17301
Close #17567
Close #17562
Close #15474
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

T13393.hs 1.96 KiB