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: 6727 Reporter: Vassili Karpov Status: closed (set by @damiendoligez on 2014-12-24T19:58:21Z) Resolution: fixed Priority: normal Severity: minor Platform: Any OS: Any Version: 4.02.1 Fixed in version: 4.02.2+dev / +rc1 Category: standard library Monitored by:@hcarty
Bug description
let t = 1000001. in t, float_of_string (Printf.sprintf "%F" t);;
: float * float = (1000001., 1000000.)
This used to work properly before GADT implementation of formatting.
Steps to reproduce
let t = 1000001. in t, float_of_string (Printf.sprintf "%F" t);;
in repl
Original bug ID: 6727
Reporter: Vassili Karpov
Status: closed (set by @damiendoligez on 2014-12-24T19:58:21Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: Any
OS: Any
Version: 4.02.1
Fixed in version: 4.02.2+dev / +rc1
Category: standard library
Monitored by: @hcarty
Bug description
let t = 1000001. in t, float_of_string (Printf.sprintf "%F" t);;
This used to work properly before GADT implementation of formatting.
Steps to reproduce
let t = 1000001. in t, float_of_string (Printf.sprintf "%F" t);;
in repl
File attachments
The text was updated successfully, but these errors were encountered: