From: Martin Jambon <martin_jambon@emailuser.net>
To: Martin Jambon <martin_jambon@emailuser.net>
Cc: Matt Gushee <matt@gushee.net>, caml-list@inria.fr
Subject: Re: [Caml-list] Testing Camlp4-generated code
Date: Sun, 6 Nov 2005 14:16:38 -0800 (PST) [thread overview]
Message-ID: <Pine.LNX.4.63.0511061415160.10145@droopy> (raw)
In-Reply-To: <Pine.LNX.4.63.0511061401180.9295@droopy>
On Sun, 6 Nov 2005, Martin Jambon wrote:
> On Sat, 5 Nov 2005, Matt Gushee wrote:
>
>> I have developed a tool that generates a module using Camlp4, and I
>> would like to be able to test the output. The structure is fairly small
>> and simple, so it should be sufficient to verify that a generated module
>> is equivalent to a certain hand-coded module ... but is there a reliable
>> way to do that?
>
> My 2 cents:
> camlp4o pa_yourextension.cmo pr_o.cmo input.ml > auto.ml
> camlp4o manual.ml > manual2.ml
I meant reindenting:
camlp4o pr_o.cmo manual.ml > manual2.ml
> diff auto.ml manual2.ml
>
> Of course if you have a lot of automatic identifiers, that's not very
> convenient. But at least you will get the same indentation if your
> identifiers have the same length.
>
>
>> If it makes a difference, the output consists mainly of two values: a
>> data structure which is of an abstract type, and an object. The former
>> is implemented as follows:
>>
>> type data = S of string | L of string list | D of t
>> and t = {
>> data : (string, data) Hashtbl.t;
>> mutable locked : bool;
>> }
>>
>> and the latter is an immediate object, but it inherits from a class
>> defined in another module. The object is associated with two instances
>> of the above type, has public methods that get and set values, and may
>> contain one or more sub-objects similar to itself.
>>
>> Thanks in advance for any suggestions.
>>
>> --
>> Matt Gushee
>> Englewood, CO, USA
>>
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>
>
> --
> Martin Jambon, PhD
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
Martin Jambon, PhD
Store and share your bioinformatics tips at http://wikiomics.org
next prev parent reply other threads:[~2005-11-06 21:18 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-11-05 22:33 Matt Gushee
2005-11-06 22:10 ` [Caml-list] " Martin Jambon
2005-11-06 22:16 ` Martin Jambon [this message]
2005-11-07 9:10 ` Hendrik Tews
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.4.63.0511061415160.10145@droopy \
--to=martin_jambon@emailuser.net \
--cc=caml-list@inria.fr \
--cc=matt@gushee.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).