#15646: ghci takes super long time to find the type of large fractional number -------------------------------------+------------------------------------- Reporter: Johannkokos | Owner: | JulianLeviston Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.4.3 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1):
a floating point literal like 1e100 means fromRational (n % d) where "the integers n and d are chosen so that n/d = f"
But finding the n and d should happen after type checking, no? Why idoes this even effect type checking time? Shouldn't `:t` just do type checking? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15646#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler