Archives of the Caml mailing list > Message from Sam Steingold

Browse thread

compiling large file hogs RAM and takes a long time.

Sam Steingold
- Sam Steingold
  - Sam Steingold
  - Jacques Garrigue
    - Christophe Raffalli
      - Jacques Garrigue
    - Sam Steingold
    - Sam Steingold
    - Jacques Garrigue
      - Jon Harrop
        
        Jacques GARRIGUE
      - Sam Steingold
        
        Jon Harrop
  - skaller
    - Sam Steingold
- skaller
  - Sam Steingold
- Sam Steingold
  - Jacques Garrigue
    - skaller
    - Jacques Garrigue
      - Sam Steingold
        
        Jon Harrop
        
        Sam Steingold

Date:	-- (:)
From:	Sam Steingold <sds@g...>
Subject:	Re: large parametrized polymorphic variant type combinations take forever to compile

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Jacques Garrigue wrote:
> From: Sam Steingold <sds@gnu.org>
>> === f.ml ===
>> type ('a,'b,'c) t3 = [
>> | ('a,'b) F1.t1
>> | ('a,'b,'c) F2.t2
>> ]
>>
>> let f ~fa ~fb ~fc = function
>>   | # F1.t1 as x -> F1.f ~fa ~fb x
>>   | # F2.t2 as x -> F2.f ~fa ~fb ~fc x
>> === f.ml ===
> In particular, you may not be aware that #F1.t1 and #F2.t2 are
> actually expanded internally into huge or-patterns, which have to be
> type-checked. 

are there any type declarations that I could add to improve performance?


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGk5S0Pp1Qsf2qnMcRApD3AJ0RJvmUcPxFZd7B6GJNb+rmSQi32QCfaCHZ
l0ta9Bm7mv1gE8D1/yhSdwU=
=jOxd
-----END PGP SIGNATURE-----