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-removedefaulting Thanks Ian _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
