I've put a wiki page with a summary of this discussion here:
http://hackage.haskell.org/cgi-bin/haskell-prime/trac.cgi/wiki/Monomorph
ismRestriction
Hopefully I've captured most of the important points, please let me know
if there's anything I missed, or misrepresented. I'll add a ticket
shortly.
Given the new evidence that it's actually rather hard to demonstrate any
performance loss in the absence of the M-R with GHC, I'm attracted to
the option of removing it in favour of a warning.
Cheers,
Simon
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime
