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
I think the attached patch fixes the issue. I may merge it on my next merge window.
PS: when reporting format issues it helps if you can test whether it was present on the pre-GADT implementation (4.01 or before) -- if it is clearly a regression of the new engine, the fact that fixing it is a good idea is a no-brainer. It is in this case.
Original bug ID: 6824
Reporter: @alainfrisch
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:48:57Z)
Resolution: fixed
Priority: normal
Severity: minor
Target version: 4.02.2+dev / +rc1
Fixed in version: 4.02.2+dev / +rc1
Category: standard library
Tags: patch
Monitored by: @dbuenzli
Bug description
As illustrated by the code below:
let f = Format.asprintf "[%i]";;
val f : int -> string =
f 1;;
f 2;;
which is at odds with:
let f = Format.sprintf "[%i]";;
val f : int -> string =
f 1;;
f 2;;
File attachments
The text was updated successfully, but these errors were encountered: