Re: suppress warning "Defined but not used: type variable ‘x’" in GHC-8.0

2016-01-11 Thread Richard Eisenberg
On Jan 9, 2016, at 6:44 PM, Henning Thielemann wrote: > > instance (Natural n) => Num.Integer (Un n) where >type Repr (Un _n) = Unary > > > GHC-7.6.3 and GHC-7.4.2 complain: >Type indexes must match class instance head >Found `Un _n' but expected

Re: suppress warning "Defined but not used: type variable ‘x’" in GHC-8.0

2016-01-11 Thread Henning Thielemann
On Mon, 11 Jan 2016, Richard Eisenberg wrote: On Jan 9, 2016, at 6:44 PM, Henning Thielemann wrote: instance (Natural n) => Num.Integer (Un n) where type Repr (Un _n) = Unary GHC-7.6.3 and GHC-7.4.2 complain: Type indexes must match class instance