From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Fri, 27 Jan 95 17:47:43 +0100 Received: from concorde.inria.fr by pauillac.inria.fr; Wed, 25 Jan 95 18:19:11 +0100 Received: from lorraine.loria.fr (lorraine.loria.fr [152.81.1.17]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id SAA13147 for ; Wed, 25 Jan 1995 18:19:11 +0100 Received: from haxo.loria.fr (haxo.loria.fr [152.81.5.142]) by lorraine.loria.fr (8.6.9/8.6.9) with ESMTP id SAA13835 for ; Wed, 25 Jan 1995 18:19:10 +0100 From: Linda Djezzar Received: from localhost (djezzar@localhost) by haxo.loria.fr (8.6.4/8.6.4) id SAA00970 for caml-list@pauillac.inria.fr; Wed, 25 Jan 1995 18:19:09 +0100 Message-Id: <199501251719.SAA00970@haxo.loria.fr> Subject: Re: camlLight sur PC (fwd) To: caml-list@pauillac.inria.fr Date: Wed, 25 Jan 1995 18:19:09 +0100 (MET) X-Mailer: ELM [version 2.4 PL24] Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Sender: weis@pauillac.inria.fr Bonjour, On veut enseigner CAMlLight sur PC. Pour faciliter l'utilisation aux etudiants (qui sont debutants), on a cree deux fenetres DOS sous Windows, dans l'une les pgms sont edites et dans l'autre ils sont interpretes. Ca marche bien sur tous les PC DX mais sur les SX il y a un pb : ou bien blocage de la machine , ou bien tout calcul en float rend 0 ou NaN. A noter que si on travaille uniquement sous DOS (sans lancer Windows) ca marche bien sur les SX. Avez vous des solutions a` me proposer ? (surtout ne me demandez pas de changer les microprocesseurs). Merci d'avance pour toute aide. Linda Djezzar e-mail: djezzar@loria.fr