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
A Question About Types and Inlining
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-12-09 (00:55)
From: Eric Cooper <ecc@c...>
Subject: Re: [Caml-list] A Question About Types and Inlining
On Fri, Dec 08, 2006 at 03:13:40PM -0800, Jim Grundy wrote:
> [...] 
> The signatures of these modules currently contain lines like this:
> type variable (* = int *)
> [...]
> 1/ Is there some way I can reveal this representation to the parts of 
> the system that clearly need it for effective optimization, without 
> opening this up for general use.

You can use
  type variable = Variable of int
in your signatures.

This makes the representation visible for optimization purposes,
incurs no representation overhead, but will catch most typing

Eric Cooper             e c c @ c m u . e d u