[Haskell-cafe] Binding of an integer variable

[Henning Thielemann]

On Thu, 28 Jul 2011, Brandon Allbery wrote:

> On Thu, Jul 28, 2011 at 14:52, Henning Thielemann <lemming at 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.