#11994: ghci not applying defaulting when showing type -------------------------------------+------------------------------------- Reporter: j.waldmann | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): I don't think `-XMonoLocalBinds` is at issue here. That extension is implied by `-XTypeFamilies` and `-XGADTs` but is not on by default. What is at issue is the Dreaded Monomorphism Restriction, which is disabled by default in GHCi. If you want defaulting in GHCi, you may wish to see #10963. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11994#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler