From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA32402 for caml-red; Wed, 7 Jun 2000 20:23:35 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA04812 for ; Wed, 7 Jun 2000 12:23:45 +0200 (MET DST) Received: from fecit.fr (door.fecit.fr [195.25.240.200]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e57ANhj01422 for ; Wed, 7 Jun 2000 12:23:44 +0200 (MET DST) Received: from fecit.fr (phobos [192.168.1.218]) by fecit.fr (8.9.1b+Sun/8.8.8) with ESMTP id MAA06157 for ; Wed, 7 Jun 2000 12:24:03 +0100 (GMT) Message-ID: <393E0606.7BEB8A78@fecit.fr> Date: Wed, 07 Jun 2000 10:21:26 +0200 From: didier@fecit.fr X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.14-15mdk i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: about partial functions Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Hello, Congratulation for the last version of Ocaml ... Finally OCaml introduces structural inclusion for variant types ... --- Actually i develop a functional language with regular types (for XML data types introduction)and i try to detect partial functions during the type checking pass ! X. Leroy suggests the introduction of these detections during the compilation in "The ZINC experiment, an economical implementation of the ML language" technical report and this is done during the OCaml pattern matching compilation pass ... Why this is not done during the typing pass ? . Non conventional type checking rules ? . Not a task for the type checker because it's a control based on possible data flows ? . No structural inclusion for classical variant types ? Thank you ... D. Plaindoux