projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 700dad7) | patch
Fix Trac #783: improve short-cutting literals in the type checker
authorsimonpj@microsoft.com <unknown>
Thu, 6 Mar 2008 13:47:34 +0000 (13:47 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 6 Mar 2008 13:47:34 +0000 (13:47 +0000)
commit0a8ad35fdcee761755e53270b2474c9b13a055dd
treeb6571dc88380427e9001cec715babe8fcf79dc70tree | snapshot
parent700dad75ea40342455b7f75d348e1dcd83fc3755commit | diff
Fix Trac #783: improve short-cutting literals in the type checker

The Inst.shortCutIntLit mechanism in the type checker was missing cases
where a floating-point literal was given without an explicit decimal point.

As a result, programs with lots of floating-point literals (without decimals)
ended up with massive Static Reference Tables.  This is not cool.  See
comments with Trac #783 for details.
compiler/typecheck/Inst.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)