You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1623 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
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
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;;
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;;
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
The text was updated successfully, but these errors were encountered: