Commit graph

4 commits

Author SHA1 Message Date
Christopher Zimmermann
f6e1d81ed7 Generate unlabelled interfaces from labelled ones
* add unlabel.ml which parses interfaces and removes labels in function declarations and docstrings. This is a quick hack, but it does the job.
 * an attribute [@keep_label] can be added to the labelled arguments to mark labels like ~cmp which should stay in the "unlabelled" interface
 * While augmenting the labelled interfaces I stumbled across some inconsistencies between the currend labelled / non-labelled interfaces. I used the labelling that made most sense to me and added a "FIXME" comment.
 * Maybe we should break backwards compatibility at some point and name the comparison arguments to the sorting functions in CCArrayLabels.ml ~cmp instead of ~f ?
2018-10-13 19:09:35 -05:00
Simon Cruanes
b47d622f66 test: add compatibility checks between CCArray{,Labels} 2018-04-08 18:40:40 -05:00
Simon Cruanes
968edffc03 fix 2018-02-01 09:22:41 -06:00
Simon Cruanes
9f48725a06 remove qtest makefile and use a script instead 2018-01-31 08:49:52 -06:00