Remove an unused variable

This commit is contained in:
Tim Emiola 2018-08-25 10:01:15 +09:00
parent 46973b7ccf
commit e50dcbaa63

View file

@ -866,7 +866,6 @@ instance {-# OVERLAPPABLE #-}
t = Proxy :: Proxy '[ct] t = Proxy :: Proxy '[ct]
method' = reflectMethod (Proxy :: Proxy method) method' = reflectMethod (Proxy :: Proxy method)
status = fromInteger $ natVal (Proxy :: Proxy status) status = fromInteger $ natVal (Proxy :: Proxy status)
p = Proxy :: Proxy a
instance {-# OVERLAPPING #-} instance {-# OVERLAPPING #-}
(ToSample a, AllMimeRender (ct ': cts) a, KnownNat status (ToSample a, AllMimeRender (ct ': cts) a, KnownNat status