Re: GenerateFold

[Joel Reymont <joelr1@gmail.com>]

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