15 Aug
2008
15 Aug
'08
1:50 p.m.
On Fri, Aug 15, 2008 at 09:27:16AM -0400, Isaac Dupree wrote:
Haskell-98 specifies that module import cycles work automatically with cross-module type inference.
It has some weird interactions with defaulting and the monomorphism restriction. In Haskell-prime we're planning on removing artificial monomorphism, but defaulting will still be necessary (and can still be set differently per module).
I'm not sure if defaulting actually makes this worse, but regardless, I think we should seriously consider removing defaulting anyway: http://hackage.haskell.org/trac/haskell-prime/wiki/Defaulting#Proposal4-remo... Thanks Ian