Changes between Version 48 and Version 49 of Typeable


Ignore:
Timestamp:
Feb 22, 2017 11:58:09 AM (2 years ago)
Author:
Iceland_jack
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Typeable

    v48 v49  
    361361'''RAE:''' How can we get a `TTyCon` for a known-at-compile-time tycon? I want something like `tyConRep @(->)` that will give something of type `TTyCon (->)`. The problem is that the type argument to `tyConRep` might not be a bare type constructor... but I would hate to have such a function return a `Maybe`, as it would be very annoying in practice, and it could be checked at compile time. I almost wonder if a new highly-magical language primitive would be helpful here.
    362362
     363'''Iceland_jack''': I recall a conversation about making `:~:` a pattern synonym for `:~~:`
     364
    363365== Kind-polymorphism ==
    364366