[GHC] #9299: GHCi type inference error

GHC ghc-devs at haskell.org
Tue Jul 15 08:12:43 UTC 2014


#9299: GHCi type inference error
-------------------------------------+-------------------------------------
              Reporter:  erikd       |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  GHCi        |           Version:  7.6.3
            Resolution:              |          Keywords:
Differential Revisions:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  Other
  Unknown/Multiple                   |         Test Case:
            Difficulty:  Unknown     |          Blocking:
            Blocked By:              |
       Related Tickets:              |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 It's fine actually.
  * GHCi maintains two sets of flags, one for the interactive REPL and one
 for loading module (see
 [http://www.haskell.org/ghc/docs/latest/html/users_guide/ghci-set.html
 #ghci-interactive-options the manual 2.8.3]).
  * The interactive flags has `-XNoMonomorphismRestriction` applied
 ''after'' initialising from the .ghci file.
  * The release notes mean that only the interactive flags have
 `-XNoMonomorphismRestriction`.  The loading flages are unaffected.

 I'll clarify the documentation which isn't great I agree.

 Simon

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


More information about the ghc-tickets mailing list