Changes between Version 1 and Version 2 of Ticket #11252


Ignore:
Timestamp:
Dec 18, 2015 1:35:24 PM (4 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11252 – Description

    v1 v2  
    1515Ok, modules loaded: Main.
    1616*Main> :kind Proxy1
    17 :kind Proxy1
    1817Proxy1 :: k -> *
    1918*Main> :kind Proxy2
    20 :kind Proxy2
    2119Proxy2 :: k -> *
    2220}}}