Commit graph

1231 commits

Author SHA1 Message Date
Fardale
2fa12665dd change type of CCDeque
Change the definition of the type in CCDeque to remove the Zero cell.
This new type enforce one invariant.
2019-11-04 21:47:09 -06:00
Simon Cruanes
b3ce398624 fix: remove dep from vec to list 2019-10-30 14:28:17 -05:00
Fardale
0dafceb708 Adding to_string (#270)
* add `CCArray.to_string`
* add `CCArrayLabels.to_string`
* add `CCList.to_string`
* add `CCListLabels.to_string`
* add `CCChar.to_string`
* add `CCPair.to_string`
* add `CCHeap.to_string`
* add `CCSet.to_string`
* add `CCVector.to_string`
2019-10-30 14:26:52 -05:00
Simon Cruanes
c1704d71ff style: improve new code 2019-10-29 21:50:22 -05:00
Fardale
509dacb96f add CCDeque.{remove_*;update_*}
functions added:
CCDeque.remove_back
CCDeque.remove_front
CCDeque.update_back
CCDeque.update_front
2019-10-26 17:28:51 -05:00
Fardale
a33963c335 add CCDeque.{*_opt}
Functions added:
CCDeque.peek_front_opt
CCDeque.peek_back_opt
CCDeque.take_back_opt
CCDeque.take_front_opt
2019-10-23 19:16:07 -05:00
Fardale
035aac9a72 add invariant in CCDeque.ml 2019-10-23 19:16:07 -05:00
Simon Cruanes
1b8d9ca9a6 style: small fix 2019-10-22 18:14:59 -05:00
Simon Cruanes
c4631b78dc add CCDeque.{filter,filter_map} 2019-10-22 18:14:59 -05:00
Simon Cruanes
546cbd85fd add CCDeque.filter_in_place 2019-10-22 18:14:59 -05:00
Simon Cruanes
70d7dd234d add CCBool.{to,of}_int 2019-10-21 10:34:26 -05:00
Simon Cruanes
df9bbb8746 add Result.flatten_l to turn a list of results into a result of list 2019-10-16 12:22:55 -05:00
Simon Cruanes
0c23e3ba88
Merge pull request #266 from c-cube/wip-264-improve
improve on #264
2019-10-11 17:44:42 -05:00
Simon Cruanes
b25cf1ea00 fix: forgot const 2019-10-11 17:05:34 -05: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
d63bdbc0eb fix syntax error in ArrayLabels.mli 2019-10-11 16:29:50 -05:00
Simon Cruanes
6d02200429 fix syntax error in Array.mli 2019-10-11 16:29:50 -05:00
narimiran
3658864a5a add CCArray.Infix 2019-10-11 16:29:50 -05:00
Christopher Zimmermann
6a51830305 Don't use raise_with_backtrace in backward-compatible Fun.protect 2019-10-07 14:07:11 +02:00
Christopher Zimmermann
5fcd1a506e add shim for backward-compatibility Fun module 2019-10-07 13:42:48 +02:00
Christopher Zimmermann
858af75ee8 Make use new Stdlib.Fun to extend / replace CCFun 2019-10-07 12:28:22 +02:00
Christopher Zimmermann
2d5f0e3e8d Document behaviour of Fun.finally when finaliser raises 2019-10-07 12:26:21 +02:00
Simon Cruanes
080f81a9dd fix(parse): error in many 2019-09-06 14:12:08 -05:00
Kate
e7c265bcf9 Fix Containers.Stdlib on OCaml 4.07 2019-07-05 11:08:55 -05:00
Simon Cruanes
21feaaf1ca fix compilation on < 4.08 2019-06-19 10:02:55 -05:00
Simon Cruanes
7ff5aa0d18 fix: add shims for CCArray 2019-06-18 23:10:26 -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
Simon Cruanes
fa0290061b doc: fix bad example in CCIO 2019-05-31 09:27:42 -05:00
JPR
8e3dc5e006 Small typos 2019-05-14 11:14:12 -05:00
rymdhund
05e49a27e7 Remove unused reference 2019-04-29 09:58:29 -05:00
Simon Cruanes
3712db3a5b chore: use iter, not sequence, in tests 2019-04-13 03:20:56 -05:00
Simon Cruanes
0d6c922eb1 fix: use same evaluation order as stdlib for CCList.init
close #256
2019-04-13 03:10:38 -05:00
Simon Cruanes
1654f8c826 test: add regression test for #256 2019-04-13 03:10:29 -05:00
Christopher Zimmermann
bb4d8a89f3 don't use Compenv.module_of_filename
this simple implementation is good enough for us.
2019-03-07 23:15:24 +00:00
Simon Cruanes
bfa5d9adde breaking: make Array.random_choose raise invalid_arg instead of not_found 2019-02-19 18:46:08 -06:00
Simon Cruanes
f190964cfd fix: make Array.random_choose fail on empty array at creation time
see #246
2019-02-18 20:41:17 -06:00
Simon Cruanes
c893716c1a feat: add remove function to het map/tbl 2019-02-16 16:15:24 -06:00
Simon Cruanes
3236d3c8b9 fix: missing type annotation for specializing int.compare 2019-02-04 13:33:52 -06:00
Simon Cruanes
c10ad46fbd prepare for 2.5 2019-02-02 14:03:22 -06:00
Simon Cruanes
83251c9efa Merge branch 'br-2.4.1' 2019-02-02 14:01:08 -06:00
Simon Cruanes
b60fe99365 perf: annotate types in monomorphic/float/int to help specialize builtins
close #245
2019-01-30 21:33:39 -06:00
Calascibetta Romain
052e607c5c CCFQueue.t must be covariant 2019-01-21 17:53:26 +00:00
Calascibetta Romain
23f759b984 Use GADT to discard impossible case on CCFQueue. 2019-01-21 17:53:26 +00:00
Simon Cruanes
d0f0bf7024 doc: small fix 2018-12-21 17:47:35 -06:00
Simon Cruanes
91adde9743 minor fix 2018-12-21 09:44:28 -06:00
Fardale
23d7ea20f6 [WIP] Work on documentation (#242)
`CCResult` add doc for map_l
2018-12-21 15:43:36 +00:00
Simon Cruanes
f8d9e33900 fix(funvec): expose pop, fix off by one error
close #241
2018-12-11 22:57:06 -06:00
Simon Cruanes
6a90cb25e7 wip: fix retrocompat issues in cclist 2018-12-03 19:59:41 -06:00
Simon Cruanes
ef8d19ac65 some typos in unlabel 2018-12-03 09:47:35 -06:00
Simon Cruanes
197b4e7f1b prepare for 2.4 2018-11-30 10:40:13 -06:00