From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2DGwBD1031525 for ; Tue, 13 Mar 2012 17:58:12 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAH57X09QRFuw/2dsb2JhbABDtWOBB4IJAQEFOj8QCxgcEhQoIYghvFCFOYpJYwSVT5AkgmU X-IronPort-AV: E=Sophos;i="4.73,577,1325458800"; d="scan'208";a="135867344" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 13 Mar 2012 17:58:06 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1S7V2z-0007DQ-UQ; Tue, 13 Mar 2012 16:58:05 +0000 Date: Tue, 13 Mar 2012 16:58:05 +0000 From: "Richard W.M. Jones" To: SerP Cc: caml-list Message-ID: <20120313165805.GC23811@annexia.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Very slow compilation On Sun, Mar 11, 2012 at 12:11:51PM +0400, SerP wrote: > 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 I have seen slow compilation with OCaml, but for me it only happened for very large (generated) source files, about 60,000 lines of code. Avoiding very large source files may help. Rich. -- Richard Jones Red Hat