From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tbourke@tbrk.org>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 18F4F801BE
	for <caml-list@sympa.inria.fr>; Sat,  8 Jul 2017 16:08:12 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.40,329,1496095200"; 
   d="asc'?scan'208";a="282615432"
Received: from lfbn-1-12092-138.w90-92.abo.wanadoo.fr (HELO mocuter) ([90.92.151.138])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Jul 2017 16:08:11 +0200
Received: by mocuter (Postfix, from userid 501)
	id C9BF2263C749; Sat,  8 Jul 2017 16:08:10 +0200 (CEST)
Date: Sat, 8 Jul 2017 16:08:10 +0200
From: Timothy Bourke <Timothy.Bourke@inria.fr>
To: caml-list@inria.fr
Message-ID: <20170708140810.vpglvvttlfbflus4@xocuter.home>
Mail-Followup-To: caml-list@inria.fr
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
	protocol="application/pgp-signature"; boundary="6vdsh7aldpvib5p4"
Content-Disposition: inline
X-PGP-Key: http://www.tbrk.org/pubkey.txt
User-Agent: NeoMutt/20170609 (1.8.3)
X-Validation-by: timothy.bourke@inria.fr
Subject: [Caml-list] ocamlc 4.03 -> 4.04: change in meaning of -i


--6vdsh7aldpvib5p4
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

I just noticed a change in the behaviour of ocamlc that adversely=20
affects a tool I maintain.

In 4.03.0 (and earlier), the -i option only applies to the .ml files=20
that follow it on the command line.

In 4.04.0 (and later), the -i option applies to all .ml files on the=20
command line.

Is this change in behaviour intentional?

Tim.

Longer explanation
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Given two files.

  a.ml:
    let f x =3D x + 1

  b.ml:
    open A
    let g x =3D f x

1. In 4.03.0 (and earlier), typing either
     ocamlc a.ml -i b.ml
   or
     ocamlc -c a.ml; ocamlc a.ml -i b.ml

   prints
     val g : int -> int

   and generates
     a.cmi
     a.cmo

2. In 4.04.0 (and later), typing
     ocamlc a.ml -i b.ml

   prints
     val f : int -> int
     File "b.ml", line 1, characters 5-6:
     Error: Unbound module A=20=20=20=20

   and does not generate anything.

3. In 4.04.0 (and later), typing
     ocamlc -c a.ml; ocamlc a.ml -i b.ml

   prints
     val f : int -> int
     val g : int -> int

   and generates
     a.cmi
     a.cmo


--6vdsh7aldpvib5p4
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAllg50gACgkQHQga2C8a
112Q3Af9EwWNjyslL/ZAw64aMLLLmD2EoEPNi9w2bnng8w+w+8kpoiPGDzsZ1voZ
JTg2Xrgc7cSrOcYWNfIRDOe/WoexKxRHjVs+dnOiAGZ4C2TGFnCBckDTT2UxkH65
hp3WR1P2jOqy+agvPx/HNG8oSkLbrZcfx+KL6faiiuDebOpgIK5AbkG6SjLLDOz9
fmqByhr4tQtrY1krdwgYxUQ6aLDyYqd4MIEwaYw87KLDhBhprIJXy5oSIKm5D4GA
nBA56+pigBcdN7vwCdkwedNGEDPoXbCkrSg0n9V909T6FEvdL3uPZ8OfSWNV3CRy
zElz2lg3ETbVyRVs2nVdunic3iuFnQ==
=j740
-----END PGP SIGNATURE-----

--6vdsh7aldpvib5p4--