Commit graph

5 commits

Author SHA1 Message Date
Christopher Zimmermann
f02f291c7a Create CCEqualLabels 2018-10-13 19:09:36 -05:00
Christopher Zimmermann
c6a3fe86eb Create CCArray_sliceLabels 2018-10-13 19:09:35 -05:00
Christopher Zimmermann
7822f3a045 Create CCStringLabels
CAVE: there is a breaking interface change for String.is_sub
2018-10-13 19:09:35 -05:00
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
3b1de9a1c8 chore(build): migrate to dune 1.0 2018-09-16 19:53:40 -05:00