Type families and type inference - a question

[Simon Peyton-Jones]

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 at haskell.org [mailto:glasgow-haskell-users-
| bounces at 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 at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users