[Timber] Bindings

[Andrey Kruglyak]

Hi!

This must be a bug (and one that should be fixed ASAP), not only because it's not how we define bindings (a name can only be bound once), but also because if we separate the two definitions of "temp" we do get a compile error "duplicate variable":

import POSIX

root :: RootType
root w = do
  temp = "12"
  env = new posix w 
  temp = "abc"
  env.stdout.write (show temp)

I hope that Johan can fix it soon.

Regards,
Andrey

On May 2, 2010, at 23:41, Per Lindgren wrote:

> Hi
> 
> Consider:
> -------------
> module Err1 where
> 
> import POSIX
> 
> root :: RootType
> root w = do
>        env = new posix w 
>        temp = "12"
>        temp = "abc"
>        env.stdout.write (show temp)
> 
> What is the defined behavior?
> 
> (The result using timberc is no compiler error and the output "12" when executed. If that is what's intended, then we might be in for some confused programmers. )
> 
> /Per
> 
> 
> _______________________________________________
> Timber mailing list
> Timber at haskell.org
> http://www.haskell.org/mailman/listinfo/timber

------------------------------------------------------------------------
Andrey Kruglyak
PhD student

http://www.andreykruglyak.com

Dept. of Computer Science and Electrical Engineering
Lulea University of Technology, Lulea, Sweden
T +46 920 49 23 57 (office)
T +46 706 16 76 03 (mobile)
Office A2314 (A-huset)