English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Re: [Caml-list] Bug in typing polymorphic variants found
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Max Skaller <skaller@o...>
Subject: Re: [Caml-list] Bug in typing polymorphic variants found
[This is a bug report, please ignore if you are not interested,
apologies in advance ..]

Luc Maranget wrote:

>Typing of polymorphic variants has much changed in 3.XX versions.
>Pattern matching compilation of polymorphic variants included a
>serious bug in 3.01 (or in 3.02, 3.03 I do not remember) version, and the
>effect of this bug would be what you describe.
>[If you are interested, this is bug number 359, fixed]
>This PM bug is corrected in version 3.04.
I'll check the database. I can report that the specific bug  I had
in Ocaml 3.02 did NOT occur in 3.04. I know this because
I actually checked the code with both versions.

>Please consider that we do need running code that shows the erroneous
>behavior w .r. t. the current version of the compiler.
>Making assumpsions based upon the previous versions of the compiler
>is a bit delicate here, since two parts that look critical to your
>report underwent important modifications.
I must apologise for the delay responding, I had a serious ISP
problem (got cut off from the Internet entirely).

The complete source of my program is available from


See the web site:


for information on building.

To use the included build scripts, you must have Python installed.
After unpacking the tarball, type

     python script/maker noiscr test

and it should build the compiler and then crash running
some of the tests. If you try the whole process again,
using Ocaml 3.01 it should work.

I have commented out the lines that cause Ocaml 3.01 to
give a diagnostic message. If you wish to generate the
Ocaml 3.01 errors that Ocaml 3.04 does not report,
you will need to uncomment those lines.
Grep for


in the files


Would you please email me privately when you have the tarball,
as I may wish to upload a new version in  which the code has
been substantially changed.

I am running Ocaml 3.04 on Linux RH 7.2
built with gc 2.96 after applying the patch to correct
a gcc 2.96 bug.

I will do everything I can to help resolve this problem,
I'd like to use new ocaml features .. and of I am already
depending on


syntax in matches, which will not be supported in Ocaml 3.05.
I can't backtrack for that easily, and I'd hate to upgrade the syntax
only to find I can't compile my code under 3.05.

Thanks for your time, and of course, the excellent Ocaml system.

John Max Skaller, mailto:skaller@ozemail.com.au
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners