"Simon Marlow" <[EMAIL PROTECTED]> writes:
> Summary: 2 programs failed to compile due to type errors (anna, gg).
> One program did 19% more allocation, a few other programs increased
> allocation very slightly (<2%).
I wonder how many programs would fail to compile if local identifier
bindings without type signatures would be treated as pattern bindings
(monomorphic, no matter whether overloaded or not) and global ones as
polymorphic. This is the solution I would make.
--
__("< Marcin Kowalczyk
\__/ [EMAIL PROTECTED]
^^ http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
