From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA28390 for caml-redistribution; Thu, 28 Sep 1995 09:22:09 +0100
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id OAA14300; Wed, 27 Sep 1995 14:05:14 +0100
Received: from muppet42.cs.chalmers.se (raffalli@muppet42.cs.chalmers.se [129.16.225.143]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id OAA06232; Wed, 27 Sep 1995 14:05:12 +0100
Received: (from raffalli@localhost) by muppet42.cs.chalmers.se (8.6.11/8.6.9) id OAA02246; Wed, 27 Sep 1995 14:05:01 +0100
Date: Wed, 27 Sep 1995 14:05:01 +0100
Message-Id: <199509271305.OAA02246@muppet42.cs.chalmers.se>
From: Christophe Raffalli <raffalli@cs.chalmers.se>
To: caml-light@pauillac.inria.fr
CC: caml-list@pauillac.inria.fr
In-reply-to: <199509201505.RAA16403@pauillac.inria.fr> (message from Xavier
	Leroy on Wed, 20 Sep 1995 17:05:12 +0200 (MET DST))
Subject: Re: Caml Special Light 1.07
Sender: weis


Bonjour,

J'ai essaye CSL, et dans l'esemble je suis tres content d'avoir enfin un
compilateur petit et rapide.

J'ai remarque plus d'incompatibilite avel Caml-light que le document html ne
le dit (il serait bon de les y ajouter) :

  - where rec a disparu ?
  - fun ne marche qu'avec une seul cas de matching ?
  - == dans les definition de type remplace par = (le script convert ne fait
       pas cette transformation automatiquement)
  - le pattern matching sur les streams. C'est dans le document html, mais le
    point d'interrogation m'inquiete car j'ai un gros parser qui ne peut
    s'ecrire avec yacc et que je n'ai pas tres envie de reecrire ....
  - le matching sur les constructeurs a plus d'un arguments a change ?

   #type b = B of int * int;;
   type b = B of int * int
   #let f (B c) = c;;
   The constructor B expects 2 argument(s), but is here 
   applied to 1 argument(s)

   je pense comprendre pourquoi ce changement (le cout cache de la
   construction de la paire ?). Mais alors pourquoi ne pas ecrire les
   constructeurs a plus d'un argument sous forme "uncurried" (et aussi pouquoi
   ne pas autoriser l'application partielle d'un constructeur) ?

A par ca, 
Encore merci a toute l'equipe ...
Christophe Raffalli