[GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

[GHC]

#3202: Make XNoMonomorphismRestriction the default in GHCi
------------------------------+---------------------------------------------
 Reporter:  YitzGale          |          Owner:                  
     Type:  feature request   |         Status:  new             
 Priority:  normal            |      Milestone:                  
Component:  GHCi              |        Version:  6.10.2          
 Severity:  normal            |     Resolution:                  
 Keywords:                    |       Testcase:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
------------------------------+---------------------------------------------
Comment (by YitzGale):

 Replying to [comment:1 MigMit] and [comment:2 abutterfield]:
 > > Personally, I think it would be very confusing to find out suddenly
 that some function, while working perfectly well in GHCi, gives an error
 message when compiled.

 The error message is very clear - you need to add a type signature because
 of MR.
 I don't think that's confusing. It's natural, you always have more type
 signatures
 in source code than at the GHCi prompt, only in this case it happens to be
 required.

 > I think it's a good idea - GHCi could give a warning if a function
 didn't satsify MR

 A warning in GHCi would be disruptive and annoying to me. I don't
 think it's needed at all. If such warnings are added, please make sure
 that there is a way to turn them off.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3202#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler