Yes indeed; see http://hackage.haskell.org/trac/ghc/ticket/3202 http://hackage.haskell.org/trac/ghc/ticket/3217 One-line summary: we have a spec, but no volunteer. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Yitzchak Gale | Sent: 10 January 2010 19:41 | To: Dmitry Tsygankov | Cc: glasgow-haskell-users | Subject: Re: Type families and type inference - a question | | Daniel Fischer wrote: | > (Note: Surprisingly (?), if you load a module with | > {-# LANGUAGE NoMonomorphismRestriction #-} | > , the monomorphsm restriction is still enabled at the ghci prompt, so we | > have to disable it for that again - or we could have loaded the module with | > $ ghci -XNoMonomorphismRestriction Movie) | | IMHO, the monomorphism restriction does not make sense at the | GHCi prompt in any case, no matter what you have or haven't | loaded, and no matter what your opinion of MR in general. | | I recommend that you create a file called ".ghci" | in your home directory, and put into it the line: | | :set -XNoMonomorphismRestriction | | Then you won't be bothered by this anymore for things | that you type in at the prompt. | | I think this may be scheduled to be fixed in a coming version | of GHCi. | | Regards, | Yitz | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users