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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 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 BE2B7BC6B for ; Thu, 31 May 2007 19:41:52 +0200 (CEST) Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.232]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4VHfpqH008355 for ; Thu, 31 May 2007 19:41:52 +0200 Received: by wr-out-0506.google.com with SMTP id 50so228769wra for ; Thu, 31 May 2007 10:41:51 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=PIF1Mk1xuS0w2XIyaCZEbQWH/4GZa5Vad8RRhHXeLDBVWdoT82ntxfUjLhQcjqERvOOHHn/LbsER1vnnKjKXxfUnEnksF6BXSBL6P67eZzubx5fV50ZACEhm5yh332aAzsropkrKsgRbeO0KCwvfowIGt1WZLgDod3bhIyhSeCk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=bDcTbwLWUzcnsJwyuSEf+kVzktVinBCOXMbyexZ8REBb4DjMl4pz+ILgsZduf5NdcqgnZeA8WiQtG0TPPdUtSgJ8CYJMjeFo2YJgDoJQ1GWlyBSWYy69MnRPiPbNDHjqocWZs+MeM/eCRQeJOpxcv3Gb5/hbQMghk2GibO3Wip0= Received: by 10.90.75.10 with SMTP id x10mr908211aga.1180633309984; Thu, 31 May 2007 10:41:49 -0700 (PDT) Received: from ?192.168.1.33? ( [81.32.170.248]) by mx.google.com with ESMTP id h7sm3378660nfh.2007.05.31.10.41.47; Thu, 31 May 2007 10:41:48 -0700 (PDT) In-Reply-To: References: <5F8F1647-A4A8-4C71-9958-9370C44ECB84@gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <40A0EB7D-8FE8-4547-989E-4779C4658F90@gmail.com> Cc: "OCaml List" Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: GenerateFold Date: Thu, 31 May 2007 18:41:54 +0100 To: "Nicolas Pouillard" X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 465F08DF.002 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 465F08DF.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlfind:01 ocamlc:01 -package:01 camlp:01 -pp:01 cmo:01 lexing:01 lexing:01 decl:01 decl:01 bool:01 bool:01 expr:01 exited:01 2007,:98 Nicolas, On May 31, 2007, at 4:29 PM, Nicolas Pouillard wrote: > You must use the object itself that is threaded through the traversal > (or use an exception in that simple case). How can I troubleshoot this resulting error? + ocamlfind ocamlc -package 'oUnit, dyp, extlib' -c -I +camlp4 -g -w a -pp 'camlp4of -I src -filter map -filter fold -filter trash ' -I src -o src/easy_type_check.cmo src/easy_type_check.ml File "ghost-location", line 1, characters 0-0: This expression has type < _Lexing_position : Lexing.position -> 'a; array : 'b. ('a -> 'b -> 'a) -> 'b array -> 'a; array_decl : Easy_ast.array_decl -> 'a; bar_prop : Easy_ast.bar_prop -> 'a; bars_ago : Easy_ast.bars_ago -> 'a; bool : bool -> 'a; color : Easy_ast.color -> 'a; cond : Easy_ast.cond -> 'a; direction : Easy_ast.direction -> 'a; exec_method : Easy_ast.exec_method -> 'a; expr : Easy_ast.price - > 'a; float : float -> 'a; id : Easy_ast.id -> 'a; input_decl : Easy_ast.input_decl -> 'a; instrument : Easy_ast.instrument -> 'a; int : int -> 'a; list : 'c. ('a -> 'c -> 'a) -> 'c list -> 'a; option : 'd. ('a -> 'd -> 'a) -> 'd option -> 'a; order : Easy_ast.order -> 'a; order_type : Easy_ast.order_type - > 'a; pos : Easy_ast.pos -> 'a; price : Easy_ast.price -> 'a; program : Easy_ast.program -> 'a; ref : 'e. ('a -> 'e -> 'a) -> 'e ref -> 'a; shares : Easy_ast.shares -> 'a; statement : Easy_ast.statement - > 'a; string : string -> 'a; style : Easy_ast.style -> 'a; subscript : Easy_ast.subscript -> 'a; ty : Easy_ast.ty -> 'a; var_decl : Easy_ast.var_decl -> 'a; .. > as 'a but is here used with type Easy_ast.order_type Command exited with code 2. -- http://topdog.cc - EasyLanguage to C# translator http://wagerlabs.com - Blog