From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 10 Oct 94 10:00:11 +0100 Received: from concorde.inria.fr by pauillac.inria.fr; Fri, 7 Oct 94 21:44:33 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id VAA25066 for ; Fri, 7 Oct 1994 21:44:27 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.8/8.6.6) with ESMTP id VAA05944; Fri, 7 Oct 1994 21:44:24 +0100 Received: from research.att.com (research.att.com [192.20.225.3]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id VAA25060; Fri, 7 Oct 1994 21:44:24 +0100 Received: by research.att.com; Fri Oct 7 16:39 EDT 1994 Received: by hunny.research.att.com (/\==/\ Smail3.1.25.1 #25.1) id ; Fri, 7 Oct 94 16:39 EDT Received: by ergo.research.att.com (/\==/\ Smail3.1.25.1 #25.1) id ; Fri, 7 Oct 94 16:39 EDT Message-Id: From: sestoft@research.att.com (Peter Sestoft) Subject: Re: Anyone recompiled CAML-LITE for DOS? To: tuinstra@sun.mcs.clarkson.edu (Dwight Tuinstra) Date: Fri, 7 Oct 1994 16:39:48 -0400 (EDT) Cc: caml-list@margaux.inria.fr, tuinstra@margaux.inria.fr In-Reply-To: <9410061724.AA02769@sun.mcs.clarkson.edu> from "Dwight Tuinstra" at Oct 6, 94 01:24:49 pm X-Mailer: ELM [version 2.4 PL13] Content-Type: text/plain Sender: weis@pauillac.inria.fr > I understand that a bug in gcc introduces a bug into > the compiled code for CAML-LITE for DOS: stack space > is not properly reclaimed. Furthermore, the DOS > version of CAMLLEX does not properly recognize the > end of strings. The problems were discovered and fixed in connection with the development of Moscow SML, which is implemented in Caml Light and uses its runtime system. Hence it will suffice to obtain the version of camlrun distributed with Moscow SML. It is safest to use that of the old version (1.03), which is available for ftp from dina.kvl.dk:/pub/Peter.Sestoft/mosml/old/1.03/mos1bin.zip -- Peter Sestoft sestoft@research.att.com Currently: AT&T Bell Labs, Mountain Avenue, Murray Hill, NJ 07974, USA After May 1995: Royal Veterinary and Agricultural University, Denmark