[GHC] #11994: ghci not applying defaulting when showing type

[GHC]

#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