From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <David.Teller@univ-orleans.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id BADBABC82
	for <caml-list@yquem.inria.fr>; Tue,  5 Feb 2008 14:33:29 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAJLpp0fBMVMQk2dsb2JhbACQKwEBAQEHBAYJIJw0
X-IronPort-AV: E=Sophos;i="4.25,307,1199660400"; 
   d="scan'208";a="7622257"
Received: from minbis.univ-orleans.fr (HELO min.univ-orleans.fr) ([193.49.83.16])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Feb 2008 13:45:02 +0100
Received: from smtps.univ-orleans.fr (localhost [127.0.0.1])
	by min.univ-orleans.fr (Postfix) with ESMTP id AC17212B3C1
	for <caml-list@yquem.inria.fr>; Tue,  5 Feb 2008 13:45:01 +0100 (CET)
Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110])
	by smtps.univ-orleans.fr (Postfix) with ESMTP id 2D6B036E5B
	for <caml-list@yquem.inria.fr>; Tue,  5 Feb 2008 13:45:03 +0100 (CET)
Subject: Revised syntax error messages ?
From: David Teller <David.Teller@univ-orleans.fr>
To: Caml <caml-list@yquem.inria.fr>
Content-Type: text/plain
Date: Tue, 05 Feb 2008 13:45:01 +0100
Message-Id: <1202215501.6226.33.camel@Blefuscu>
Mime-Version: 1.0
X-Mailer: Evolution 2.12.1 
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; syntax:01 univ-orleans:01 syntax:01 toplevel:01 ocamlc:01 toplevel:01 ocamlc:01 -pp:01 camlp:01 univ-orleans:01 lifo:01 liquidations:98 beginners:01 typing:01 match:02 

   Hi everyone,
 At the moment, when using the revised syntax, the toplevel prints
typing error messages with the revised syntax but ocamlc seems to print
them with the original syntax, which may be confusing.

For instance, in the toplevel :

# match [] with [ Some _ -> 1 | None -> 2 ];
                       ^
This pattern matches values of type option 'a
but is here used to match values of type list 'b


With ocamlc :

yoric@Blefuscu:/tmp$ ocamlc -pp camlp4rf test.ml 
File "test.ml", line 1, characters 21-22:
This pattern matches values of type 'a option
but is here used to match values of type 'b list

This may be quite confusing for beginners. Is there a way to get the
revised syntax error messages with ocamlc ?

Thanks,
 David

-- 
David Teller
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations.