* Typing diff between 3.10.0 and 3.11.0
@ 2009-05-28 12:25 Julien Signoles
2009-05-28 12:43 ` [Caml-list] " Stéphane Glondu
0 siblings, 1 reply; 2+ messages in thread
From: Julien Signoles @ 2009-05-28 12:25 UTC (permalink / raw)
To: caml list
Hello all,
Does someone know why the following code compiles with ocaml 3.11.0 and
does not with ocaml 3.10.0? I find nothing in the documented ocaml
changes which could imply such a diff.
=====
let output =
print_endline ""; (* all is fine without this side effect *)
(fun fmt -> Format.printf fmt)
let () =
output "%s" "";
output ""
=====
Best regards,
Julien Signoles
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Typing diff between 3.10.0 and 3.11.0
2009-05-28 12:25 Typing diff between 3.10.0 and 3.11.0 Julien Signoles
@ 2009-05-28 12:43 ` Stéphane Glondu
0 siblings, 0 replies; 2+ messages in thread
From: Stéphane Glondu @ 2009-05-28 12:43 UTC (permalink / raw)
To: Julien Signoles; +Cc: caml list
Julien Signoles a écrit :
> Does someone know why the following code compiles with ocaml 3.11.0 and
> does not with ocaml 3.10.0? I find nothing in the documented ocaml
> changes which could imply such a diff.
>
> =====
> let output =
> print_endline ""; (* all is fine without this side effect *)
> (fun fmt -> Format.printf fmt)
>
> let () =
> output "%s" "";
> output ""
> =====
The code does compile with 3.10.2. The closest thing I can find in the
Changes file is PR#4354, fixed in 3.10.1. But this is just a quick guess.
HTH,
--
Stéphane
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-05-28 12:43 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-05-28 12:25 Typing diff between 3.10.0 and 3.11.0 Julien Signoles
2009-05-28 12:43 ` [Caml-list] " Stéphane Glondu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).