Constructor/reference bug?

From: John Skaller (skaller@maxtal.com.au)
Date: Wed Aug 11 1999 - 10:05:30 MET DST


Message-Id: <3.0.6.32.19990811180530.00985e40@mail.triode.net.au>
Date: Wed, 11 Aug 1999 18:05:30 +1000
To: caml-list@inria.fr
From: John Skaller <skaller@maxtal.com.au>
Subject: Constructor/reference bug?

I have some code like:

let g x =
let lineno = ref (1,"") in
let rec f x' = match x' with
| NEWLINE p :: t -> lineno := p; f t
| COLON :: t -> CTRL !lineno :: f t
| h :: t -> h :: f t
| [] -> []
in f x;;

The code doesn't work as I expected: every
CTRL value refers to the same lineno, the last one.
If I change the COLON line to read:

| COLON :: t -> let x = !lineno in CTRL x :: f t

the code works as expected -- the CTRL refers to the
value of lineno at the time the last NEWLINE was processed.

What's happening? Are coproduct constructors lazy?

[I tested some simpler samples by hand and my tests
worked as expected, so I'm confused]

-------------------------------------------------------
John Skaller email: skaller@maxtal.com.au
                http://www.maxtal.com.au/~skaller
                phone: 61-2-96600850
                snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:24 MET