[mercury-users] Meta programming on exported module items?

[Ralph Becket]

Hi Doug,

currently Mercury only supports type reflection, which allows you to
construct and deconstruct terms of arbitrary types (sort of - you can't
deconstruct a higher order value and get anything useful).  This is used
by io.read and io.write, for example.

Our qcheck implementation is in dire need of a rewrite (it was a summer-
student project and we never got around to polishing off the rough
edges).  If you want more specialised testing skeletons, can't you do
this with higher order code?

-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------