Commit graph

13 commits

Author SHA1 Message Date
Fardale
27e39a0fc8 chore: remplace which' by command -v'
Using `which' to test the existance of a program is deprecated in
debian. Debian recommand to use `command -v' instead.
2021-09-20 14:15:44 +02:00
Simon Cruanes
1f92564f83 try to fix build 2021-06-08 21:43:17 -04:00
Simon Cruanes
93c0a9af0d fix qtest generation 2021-04-03 17:42:17 -04:00
Simon Cruanes
d60bea1a98 fix build for 4.11 by working around -nolabels 2020-07-30 10:02:16 -04:00
Simon Cruanes
a767e4618d wip(3.0): remove deprecated functions, in particular sequence 2020-04-24 20:16:53 -04:00
Simon Cruanes
a2d07e4028 chore: update tests to accomodate for split into several libs 2020-04-24 19:27:06 -04:00
Simon Cruanes
ab5b3aa6af refactor: remove stdlib's code, simple reimplementation of Stdlib.Fun
keep the whole codebase BSD.
2019-10-11 16:59:22 -05:00
Simon Cruanes
0867583209 test: fix qtest generation to ignore the stdlib's fun module 2019-10-11 16:45:39 -05:00
Simon Cruanes
96ed8a37ab feat: introduce shim modules for 4.08 compat
- also make `unlabel` an explicit operation
- use `Stdlib` instead of `Pervasives`
- remove some warnings in Format
2019-06-14 18:26:14 -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
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