CasePrune.stderr 428 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2

CasePrune.hs:14:31:
3 4 5 6 7 8 9
    No instance for (GHC.Types.Coercible (T Int) (T A))
      because the first type argument of ‛T’ has role Nominal,
      but the arguments ‛Int’ and ‛A’ differ
      arising from a use of ‛GHC.Prim.coerce’
    In the expression: GHC.Prim.coerce (ic :: T Int) :: T A
    In an equation for ‛ic’: ic = GHC.Prim.coerce (ic :: T Int) :: T A
    In the instance declaration for ‛C A’