From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 33E49BC0B for ; Wed, 17 Jan 2007 14:33:03 +0100 (CET) Received: from postar.fmf.uni-lj.si (vega.fmf.uni-lj.si [193.2.67.45]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0HDX2OX014871 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 17 Jan 2007 14:33:03 +0100 Received: from localhost (unknown [192.168.5.1]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id 2B935F0C2D; Wed, 17 Jan 2007 14:33:00 +0100 (CET) X-Virus-Scanned: amavisd-new at spam.fmf.uni-lj.si Received: from postar.fmf.uni-lj.si ([192.168.5.5]) by localhost (spam.fmf.uni-lj.si [192.168.5.1]) (amavisd-new, port 10024) with ESMTP id EErFb3SRmgIl; Wed, 17 Jan 2007 14:44:00 +0100 (CET) Received: from [193.2.67.88] (unknown [193.2.67.88]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id EA13699490; Wed, 17 Jan 2007 14:32:59 +0100 (CET) Message-ID: <45AE25D1.1000706@fmf.uni-lj.si> Date: Wed, 17 Jan 2007 14:34:09 +0100 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Icedove 1.5.0.9 (X11/20061220) MIME-Version: 1.0 To: skaller@users.sourceforge.net, caml-list@yquem.inria.fr Subject: Re: [Caml-list] Polymorphic Variants References: <20070117.111927.2004173151.garrigue@math.nagoya-u.ac.jp> <1169014142.8941.111.camel@rosella.wigram> In-Reply-To: <1169014142.8941.111.camel@rosella.wigram> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 45AE258E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 variants:01 annotations:01 compiler:01 cduce:01 polymorphic:01 wrote:01 caml-list:01 problem:05 cases:08 felix:09 bauer:09 bauer:09 early:11 skaller wrote: > You are not kidding .. and even type annotations don't always help. > I regularly get 100-200 line errors, even in cases where the compiler > clearly knows which tag is causing the problem. Pah, that's nothing. An early version of Cduce ocassionally gave me error messages that were 1GB (!) in legnth. Now can your Felix do THAT? Andrej