Changes between Version 5 and Version 6 of Ticket #12708


Ignore:
Timestamp:
Oct 15, 2016 1:54:19 AM (3 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12708 – Description

    v5 v6  
    110110   Main.Num :: TYPE k -> Constraint
    111111
    112 >>> :set -Wprint-explicit-runtime-rep
    113 >>> :kind Main.Num
    114 Main.Num :: forall (k :: RuntimeRep). TYPE k -> Constraint
    115 
    116 
     112-- >>> :set -Wprint-explicit-runtime-rep
     113Prelude.Num :: * -> Constraint
     114   Main.Num :: forall (k :: RuntimeRep). TYPE k -> Constraint
    117115}}}