[mercury-users] HO-terms Re: Meta programming on exported module items?

[doug.auclair at logicaltypes.com]

Dear Ralph,

Thank you for your response.  Hm, quickcheck in need of a rewrite?  Anyway, you wrote (about testing predicates):

>If you want more specialised testing skeletons, can't you do this with higher order code?

Yes, there are any number of ways one could go about this, including higher-order combinators ... it appears to me that most of these approaches require user-intervention/guidance.  My Prolog test-generator is automatic, and I wish to convey that to a Mercury equivalent.  Ian's suggestion about embedding such a system into the compiler (as the compiler knows what the exported items of a module are, and knows the signature/modality/determinacy) therefore appeals to me (it's a question of when I need the item information, and I believe that this knowledge at compile-time is sufficient).

I'll take a look at both quickcheck and the compiler to see if I can put together something reasonable, useful and automatic.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------