Changes to Typeable

Ian Lynagh igloo at earth.li
Sat Feb 11 00:46:23 CET 2012


On Fri, Feb 10, 2012 at 03:30:02PM -0800, John Meacham wrote:
> 
> something I have thought about is perhaps a special syntax for Proxy, like
> {:: Int -> Int } is short for (Proxy :: Proxy (Int -> Int)). not sure whether
> that is useful enough in practice though, but could be handy if we are throwing
> around types a lot.

See also http://hackage.haskell.org/trac/ghc/ticket/4466


Thanks
Ian




More information about the Glasgow-haskell-users mailing list