7 Mar
2007
7 Mar
'07
4:38 p.m.
On 07/03/07, Thomas Conway
Of course, what really gets me, is when I start trying to use $ in type signatures and declarations: ... Map ByteString $ foo (bar baz) qux ....
It's almost possible! GHC gives us infix type synonyms: type a $ b = a b (Probably needs -fglasgow-exts.) Sadly we don't have a fixity system for type operators :( -- -David House, dmhouse@gmail.com