Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000035OCamlOCaml generalpublic2000-02-08 10:112000-02-08 10:12
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000035: alias du type float
DescriptionFull_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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000306)
administrator (administrator)
2000-02-08 10:12

Fixed in 3.00

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker