Re: [Haskell-cafe] Binding of an integer variable

On Thu, 28 Jul 2011, Brandon Allbery wrote:

On Thu, Jul 28, 2011 at 14:52, Henning Thielemann <lemming@henning-thielemann.de> wrote: I have never used ':show bindings' before ... in other cases like   let x='a' and   let x=23::Int

Since you gave explicit types, x is bound to strict values directly; it's only when no type is given that GHCi needs to translate the constant per the Language Report to an invocation of fromInteger.

let x=23::Integer is left unevaluated, too. I do not understand, how fromInteger may change the state of evaluation.