Disallow non-nullary constraint synonyms on class.

Authored by ezyang on Feb 27 2017, 5:52 PM.

Description

Disallow non-nullary constraint synonyms on class.

Test Plan: validate

Reviewers: simonpj, bgamari, austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D3230

Details

Committed
ezyangMar 2 2017, 5:58 PM
Differential Revision
D3230: Disallow non-nullary constraint synonyms on class.
Parents
rGHC4aada7a6c137: More comments on role subtyping, unsoundness fix.
Branches
Unknown
Tags
Unknown