Reply to comment

Automatic Ocaml Types for Cduce

A minor limitation of cduce is that all ocaml types must be declared in cduce. This is cumbersome when trying to use an ocaml library from cduce.

I've created a small patch to cduce to allow to use ocaml types directly in a cduce program.

The patch is available in my personal darcs repository and pending to be integrated in the main tree.

The repository is here: http://web-cduce.pps.jussieu.fr/cgi-bin/darcsweb.cgi

and the patch http://web-cduce.pps.jussieu.fr/cgi-bin/darcsweb.cgi?r=cduce;a=commit;h=20070621141511-6a509-90fe027988c1d5f12efe21e9cfd7a826aa5a5527.gz

and the tree can be retrived via darcs with

darcs get http://web-cduce.pps.jussieu.fr/darcs/cduce

Average: 1.1 (57 votes)

Reply

The content of this field is kept private and will not be shown publicly.
CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
4
p
L
b
F
n
Enter the code without spaces and pay attention to upper/lower case.