Original bug ID: 1623
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Christophe Poucet
Version: 3.06
OS: Windows
Submission from: ncasse01.telenet-ops.be (213.224.83.38)

When using ref's sometimes it will change the type specification of the
monomorphic type yet not add the given param, perhaps this will explain better:

let x = ref[];;

val x : '_a list ref = {contents = []}

x := (function y -> y)::!x;;

x;;

• : ('_a -> '_a) list ref = {contents = []}

x := (function f -> f f)::!x;;

Characters 22-23:
x := (function f -> f f)::!x;;
^
This expression has type 'a -> 'b but is here used with type 'a

x;;

• : (('_a -> '_b) -> '_a -> '_b) list ref = {contents = []}

It -does- change the type of x, yet it doesn't add the function to the list....

Is this a bug, or am I missing something?

Christophe Poucet