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: 35 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
[Xavier Leroy: bug report submitted 2000-01-03, fixed in 3.00,
put here for the record]
Un petit problème pour le code suivant
---8<------------------------------------------
module B = struct
type t = float
type p = { x : t }
let f = { x = 1000. }
end
module type S = sig
type t = float
type p = { x : float }
val f : p
end
module BS = (B:S)
let _ =
Printf.printf "%f %f\n" B.f.B.x BS.f.BS.x;;
---8<------------------------------------------
On obtient:
sepia[123]% ./a.out
1000.000000 0.000000
C'est apparemment l'erreur dans la déclaration du type p (float pour
t) dans la signature qui est responsable. Une histoire de flottant
boxé/non boxé dans la structure ?
--Pascal
The text was updated successfully, but these errors were encountered:
Original bug ID: 35
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Pascal Brisset
Version: 2.99
OS:
Submission from: estephe.inria.fr (128.93.11.95)
Submitted by: xleroy
[Xavier Leroy: bug report submitted 2000-01-03, fixed in 3.00,
put here for the record]
Un petit problème pour le code suivant
---8<------------------------------------------
module B = struct
type t = float
type p = { x : t }
let f = { x = 1000. }
end
module type S = sig
type t = float
type p = { x : float }
val f : p
end
module BS = (B:S)
let _ =
Printf.printf "%f %f\n" B.f.B.x BS.f.BS.x;;
---8<------------------------------------------
On obtient:
sepia[123]% ./a.out
1000.000000 0.000000
C'est apparemment l'erreur dans la déclaration du type p (float pour
t) dans la signature qui est responsable. Une histoire de flottant
boxé/non boxé dans la structure ?
--Pascal
The text was updated successfully, but these errors were encountered: