#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: | -------------------------------------+------------------------------------- Description changed by j.waldmann: @@ -11,0 +11,8 @@ + + (but is it really? I don't see default rules for `Fractional` + in the ghc docs + https://downloads.haskell.org/~ghc/latest/docs/html/users_guide + /interactive-evaluation.html#extended-default-rules or in the language + standard https://www.haskell.org/onlinereport/decls.html#sect4.3.4 ) + + How can I find the defaulted type in `ghci`? New description: This does not look right: {{{ Prelude> :set +t Prelude> 1e1000 Infinity it :: Fractional t => t }}} because the type actually is (defaulted to) `Double`? (but is it really? I don't see default rules for `Fractional` in the ghc docs https://downloads.haskell.org/~ghc/latest/docs/html/users_guide /interactive-evaluation.html#extended-default-rules or in the language standard https://www.haskell.org/onlinereport/decls.html#sect4.3.4 ) How can I find the defaulted type in `ghci`? -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11994#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler