Improve comments around injectivity checks
authorRichard Eisenberg <rae@richarde.dev>
Thu, 14 Mar 2019 17:29:17 +0000 (13:29 -0400)
committerBen Gamari <ben@well-typed.com>
Tue, 28 May 2019 04:24:50 +0000 (00:24 -0400)
commit9334467f5dd59f9ea7c231c5ff0b1987df4d1570
treee92553d0c65c1abecca0ac532b1947342282e5d6
parentdb8e3275080173cc36af9f8e51636ee506e7c872
Improve comments around injectivity checks
compiler/typecheck/FamInst.hs
compiler/typecheck/TcValidity.hs
compiler/types/FamInstEnv.hs