24 Feb
2016
24 Feb
'16
8:25 p.m.
On Wed, Feb 24, 2016 at 3:53 PM, Manuel Gómez
2. to implement a language extension in GHC that allows source language to specify a certain instance will never be defined and a type error shall be thrown statically at any use site, or
I misspoke: this should read «at any instance definition site for the forbidden instance» or somesuch.