type equality symbol

Bulat Ziganshin bulat.ziganshin at gmail.com
Wed Dec 5 11:56:58 EST 2007


Hello Simon,

Wednesday, December 5, 2007, 7:05:22 PM, you wrote:

> Anyway, while on this subject, I am considering making the following change:
>         make all operator symbols into type constructors
>         (currently they are type variables)

i like it. will the same apply to the type functions? i.e. will it be
possible to define +, *, etc type functions?


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com



More information about the Glasgow-haskell-users mailing list