#10857: "ghci -XMonomorphismRestriction" doesn't turn on the monomorphism restriction -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: cocreature Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.10.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #3202, #3217 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by cocreature): Hey, I looked into this and it turns out it's actually not that easy to move it to an earlier point because those options should be in the interactive DynFlags which we set only after we have overwritten the DynFlags using the command line arguments. Now there is an easy solution which consists of just putting it in the standard DynFlags instead of the interactive ones. In fact we already do this for [https://github.com/ghc/ghc/blob/master/ghc/Main.hs#L182 another flag]. This works just fine but obviously some tests fail now since it is now not limited to the interactive flags. The other option is to set all of the interactive DynFlags earlier, but it looks like we then need to have two different set of flags, modify both of them by the command line arguments and then set them. This does not seem like a very nice solution either. If you are okay with putting it not in the interactive dynflags, then that's definitely the easiest solution, but as I am not really happy with that myself I'll think about it a bit more and try to come up with a less hacky solution. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10857#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler