Re: [Caml-list] Re: GenerateFold

["Nicolas Pouillard" <nicolas.pouillard@gmail.com>]

I've fixed the fold generation for record types in the CVS.

On 6/1/07, Nicolas Pouillard <nicolas.pouillard@gmail.com> wrote:
> Ok there is a bug in the fold generation we using records, but the
> previous example (without records) compiled fine for me. So
> records+fold is buggy for now.
>
> On 6/1/07, Joel Reymont <joelr1@gmail.com> wrote:
> > Doesn't work!
> >
> > On Jun 1, 2007, at 2:30 PM, Nicolas Pouillard wrote:
> >
> > > Got it:
> > >
> > > There is the solution available for meditation :)
> >
> > To be precise, I don't know if it works or not. I think the fold
> > generator bombs out.
> >
> > I have no idea how to debug this but, again, it has nothing to do
> > with the implementation of is_fun_arg.
> >
> > Simply using GenerateFold triggers the error. Notice that everything
> > but class fold = ... is commented out. I'm including everything
> > needed to reproduce the error, just in case.
> >
> > ocamlbuild c.byte
> > + /usr/local/bin/ocamlc.opt -c -I +camlp4 -pp 'camlp4of -I src -
> > filter map -filter fold -filter trash ' -o b.cmo b.ml
> > File "ghost-location", line 1, characters 0-0:
> > This expression has type
> >    < array : 'b. ('a -> 'b -> 'a) -> 'b array -> 'a; bool : bool -> 'a;
> >      expr : A.expr -> 'a; float : float -> 'a; id : A.id -> 'a;
> >      input_decl : A.input_decl -> 'a; int : int -> 'a;
> >      list : 'c. ('a -> 'c -> 'a) -> 'c list -> 'a;
> >      option : 'd. ('a -> 'd -> 'a) -> 'd option -> 'a; order :
> > A.order -> 'a;
> >      order_type : A.order_type -> 'a; program : A.program -> 'a;
> >      ref : 'e. ('a -> 'e -> 'a) -> 'e ref -> 'a;
> >      statement : A.statement -> 'a; string : string -> 'a;
> >      subscript : A.subscript -> 'a; ty : A.ty -> 'a; .. >
> >    as 'a
> > but is here used with type A.order_type
> >
> > cat b.ml
> > open A
> >
> > class fold = Camlp4Filters.GenerateFold.generated;;
> >
> > (*
> > let is_fun_arg = object
> > inherit fold as super
> > val found = false
> > method found = found
> > method input_decl x =
> >     match x with
> >       | `FunArgDecl _ -> {< found = true >}
> >       | _             -> super#input_decl x
> > end
> >
> > let is_fun x = (is_fun_arg#statement x)#found;;
> > *)
> >
> > module Camlp4Trash = struct
> >    INCLUDE "a.ml";;
> > end;;
> >
> > cat a.ml
> > type id = string
> >
> > and program = statement list
> >
> > and ty =
> >      [
> >      | `TyAny
> >      ]
> >
> > and statement =
> >      [
> >      | `Skip
> >      | `InputDecls of input_decl list
> >      ]
> >
> > and subscript = expr list
> >
> > and input_decl =
> >      [
> >      | `InputDecl of id * ty * expr
> >      | `FunArgDecl of id * ty * subscript
> >      ]
> >
> > and expr =
> >      [
> >      | `Int of int
> >      | `Float of float
> >      | `Str of string
> >      ]
> >
> > and order = {
> >    order_type: order_type;
> > }
> >
> > and order_type =
> >      [
> >      | `Buy
> >      | `Sell
> >      | `Short
> >      | `Cover
> >      ]
> >
> > cat c.ml
> > open A
> > open B
> >
> > cat _tags
> > "b.ml": use_camlp4, pp(camlp4of -I src -filter map -filter fold -
> > filter trash )
> >
> >
> > --
> > http://topdog.cc      - EasyLanguage to C# translator
> > http://wagerlabs.com  - Blog
> >
> >
> >
> >
> >
> >
>
>
> --
> Nicolas Pouillard
>


-- 
Nicolas Pouillard