From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2B8C4Ox023406 for ; Sun, 11 Mar 2012 09:12:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtACAB1eXE/RVaG2kGdsb2JhbABBtDcCgQAIIgEBAQEJCQ0HFAQjggAFHQIsARseAxIIAQddAREBBQEiNYUmCIIoEppcgl0Ki3iCcYQbP4h0AQULiz+FNwSIToUqh1SORT2ECQ X-IronPort-AV: E=Sophos;i="4.73,566,1325458800"; d="scan'208";a="148673191" Received: from mail-gx0-f182.google.com ([209.85.161.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Mar 2012 09:11:53 +0100 Received: by ggnk4 with SMTP id k4so2601201ggn.27 for ; Sun, 11 Mar 2012 00:11:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=sUITNcepJyDPBiYg81nY0m2RC1OuvzevMO2MX/nycDo=; b=XlpSY1ClpCYfQgEu3MwcaS/4zYuRqTee0hDPXVe1i5AbI04Lv7ChYrGFxtsj98hvAf AGBPi7w5Y4B0poXIuWmdJRYRtIY1y6wdpeDveUmu59wwgG9QbzVjcIE4QcELRrHS2QLf SsMMpruvWnZgaZid9Xf3F0JjT0UxMteIjyW5PVaxdgDa9fUnuH7eWA0bIEkXyXwXVISe 4jYY9+CGPvTxgNdYbPFokLqO84gsR9A8h9ImgzTNp4so5/tkSZNcBzgqnzteoxxPbHJV QzEG/VpzGMZPB5xkPhpc2zhtOJmw8tbAibAcCk4J9RN/mE/9HA/5g6lkTKosw6Z1k1kr Wqag== MIME-Version: 1.0 Received: by 10.236.76.198 with SMTP id b46mr9123812yhe.25.1331453511678; Sun, 11 Mar 2012 00:11:51 -0800 (PST) Received: by 10.236.78.231 with HTTP; Sun, 11 Mar 2012 00:11:51 -0800 (PST) Date: Sun, 11 Mar 2012 12:11:51 +0400 Message-ID: From: SerP To: caml-list Content-Type: multipart/alternative; boundary=20cf300fb3a7993b7904baf32d60 Subject: [Caml-list] Very slow compilation --20cf300fb3a7993b7904baf32d60 Content-Type: text/plain; charset=ISO-8859-1 We encountered a problem of a slow compilation. When the project grew up, the time of compilation increased considerably. We have many classes and objects, and the type checking of objects and classes performs very slowly. I have Core i3 3GHz iMac, and the average compilation time of one module is 7-13 seconds. The entire projet is compiled within 10-15 minutes. The major part of the time is taken by "Typemod.type_implementation", which include many calls of Ctype.unify (80% of compilation time). Now, it is getting hard and slow to develop the projetct, are there any ways to accelarate it? It is difficult to get all fine points, but I wish I could make the process faster. Thanks for any help or comments. Looking forward to your reply --20cf300fb3a7993b7904baf32d60 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

We encountered a problem of a slow compilation. When the pr= oject grew up, the time of compilation increased considerably. We have many= classes and objects, and the=A0type checking of objects and classes perfor= ms very slowly. I have=A0Core i3 3GHz iMac, and the average compilation tim= e of one module is 7-13 seconds. The entire projet is compiled within 10-15= minutes. The major part of the time is taken by=A0"Typemod.type_imple= mentation", which include many calls of=A0Ctype.unify=A0(80% of compil= ation time). Now, it is getting hard and slow to develop the projetct, are = there any ways to accelarate it? It is difficult to get all fine points, bu= t I wish I could make the process faster. Thanks for any help or comments. = Looking forward to your reply

--20cf300fb3a7993b7904baf32d60--