[jhc] (->) not working too well...

John Meacham john at repetae.net
Mon Mar 17 18:44:21 EDT 2008


Hrmm... that might not work so well. We actually need the kind
overloaded sort for (->) and I wouldn't want an incorrect definition
there. No matter what some treating of it specially will have to happen
in the code proper, the internal representation of (->) just isn't a
data constructor. (a -> b) is actually shorthand for π(_∷a).b

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈


More information about the jhc mailing list