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: 5608 Reporter: furuse Assigned to:@garrigue Status: closed (set by @garrigue on 2012-05-14T02:10:37Z) Resolution: fixed Priority: high Severity: major Fixed in version: 4.00.0+dev Category: ~DO NOT USE (was: OCaml general) Monitored by: furuse
Bug description
The following program is rejected by ocaml 4.01.0+dev2 (2012-04-17):
module X = struct
let x = 1
let x = 1.0
end
The compiler says:
module X = struct
let x = 1
let x = 1.0
end
The compiler says:
File "/tmp/x.ml", line 1:
Error: The implementation //toplevel//
does not match the interface (inferred signature):
In module X:
Modules do not match:
sig val x : int val x : float end
is not included in
sig val x : int val x : float end
In module X:
Values do not match: val x : float is not included in val x : int
File "/tmp/x.ml", line 2, characters 6-7: Expected declaration
File "/tmp/x.ml", line 3, characters 6-7: Actual declaration
The text was updated successfully, but these errors were encountered:
Original bug ID: 5608
Reporter: furuse
Assigned to: @garrigue
Status: closed (set by @garrigue on 2012-05-14T02:10:37Z)
Resolution: fixed
Priority: high
Severity: major
Fixed in version: 4.00.0+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: furuse
Bug description
The following program is rejected by ocaml 4.01.0+dev2 (2012-04-17):
module X = struct
let x = 1
let x = 1.0
end
The compiler says:
module X = struct
let x = 1
let x = 1.0
end
The compiler says:
File "/tmp/x.ml", line 1:
Error: The implementation //toplevel//
does not match the interface (inferred signature):
In module X:
Modules do not match:
sig val x : int val x : float end
is not included in
sig val x : int val x : float end
In module X:
Values do not match: val x : float is not included in val x : int
File "/tmp/x.ml", line 2, characters 6-7: Expected declaration
File "/tmp/x.ml", line 3, characters 6-7: Actual declaration
The text was updated successfully, but these errors were encountered: