25 Feb
2016
25 Feb
'16
4:25 a.m.
On Wed, Feb 24, 2016 at 3:53 PM, Manuel Gómez <targen@gmail.com> wrote:
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.