Archives of the Caml mailing list > Message from skaller

Browse thread

[Caml-list] Single-case union types as strong typedefs

Nathaniel Gray
- Jacques Garrigue
  - David Brown
    - skaller
      - Nathaniel Gray
  - Nathaniel Gray
- Damien Doligez
  - Jacques Carette
    - Damien Doligez
      - Jacques Carette
        
        skaller
        
        Jon Harrop

Date:	-- (:)
From:	skaller <skaller@u...>
Subject:	Re: [Caml-list] Single-case union types as strong typedefs

On Wed, 2004-10-27 at 01:05, Jacques Carette wrote:

> I consider a linker to be an integral part of a compiler 'suite'. 
>  I could not care less when a particular code 
> optimization is done.  If it *has* to be done by the linker, then so be it.  
> I do not understand why link-time 
> optimizations seem to have been somehow less research-worthy 
> than other parts of the compiler.

Why do we need separate compilation 
and linkage in the style of C on modern systems?

Surely, we would like to have fast compilations, but 
why can't the compiler treat that as an automatic
optimisation, rather than a user managed one?

-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net