Test performance impact

[Marcin 'Qrczak' Kowalczyk]

"Simon Marlow" <simonmar at microsoft.com> 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
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/