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
[Caml-list] unused variables warning
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-04-29 (08:19)
From: Vitaly Lugovsky <vsl@o...>
Subject: Re: [Caml-list] unused variables warning
On Sat, 28 Apr 2001, Pixel wrote:

> Is there any way to ask ocamlc for an "unused variable" warning?
> let f x =
>    let x' = <...> in
>    x
> would issue something like
> File "test.ml", line 2, characters 3-18:
> Unused variable x'

 It's "unused" and can be optimized out only when <...> is a pure
functional statement (not changing global state). There is no clean way to
figure this out, since we can use foreign functions, and "purity" is not
specified in a module signature. 'tis a very interesting suggestion:
specify pure functional and state-changing functions in signatures
(automaticaly or manualy), and use this info for a better optimizations.

To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr