ranges

Timeline
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

43 check-ins

2020-05-18
19:59
We have a SRFI number. Update library name everywhere. Leaf check-in: ca68a023b5 user: Zipheir tags: trunk
2020-05-17
16:34
Swap range-fold[-right] arguments and update all related code. check-in: b5557ac5e6 user: Zipheir tags: trunk
2020-05-14
23:20
Add note about type checking in range. check-in: cbd10579e1 user: Zipheir tags: trunk
23:14
Update NOTES to reflect recent spec changes. check-in: 689b283c68 user: Zipheir tags: trunk
22:55
Remove hard dependencies on SRFIs 1 and 145. check-in: 60265affe1 user: Zipheir tags: trunk
22:48
Add dummy version of SRFI 78's check-report. Call check-all at end of test.scm. check-in: c8b7ec21dc user: Zipheir tags: trunk
20:06
Amend note. check-in: 7e3c986541 user: Zipheir tags: trunk
20:05
Markdown: no italics within code formatting. check-in: f72e4d19f0 user: Zipheir tags: trunk
20:00
Amend note for grammar and correctness. check-in: cc30106fa8 user: Zipheir tags: trunk
19:22
Add constructor tests. check-in: 390ae77dd6 user: Zipheir tags: trunk
19:11
Give a more rigorous implementation of `range'. check-in: 62a84afdff user: Zipheir tags: trunk
19:02
Updates and minor improvements to predicate and accessor tests. check-in: 96eb03bc7f user: Zipheir tags: trunk
18:52
Trying to construct a numeric range with a non-natural-number length is an error. Add a note of this. check-in: 15ecaca49b user: Zipheir tags: trunk
17:11
Add checks for conversion procedures. Add check-all. check-in: 975ad3248c user: Zipheir tags: trunk
16:52
Tests for the range-X-while-right functions. check-in: c51b68b03b user: Zipheir tags: trunk
04:10
Implement `range-start' in terms of `range-ref'. In the presence of `range-reverse', the lower bound of a range can't be assumed to be the same as the 0th element. check-in: 26a4f9e500 user: Zipheir tags: trunk
04:08
Add tests for `range-reverse'. check-in: c09f58f7ff user: Zipheir tags: trunk
03:52
Add `range-reverse'. check-in: fe40e74933 user: Zipheir tags: trunk
2020-05-13
22:46
Add tests for most searching procedures. check-in: a8d6c43d9b user: Zipheir tags: trunk
22:44
Correct `range-drop-while'. check-in: f54f484e6e user: Zipheir tags: trunk
00:08
Add most of the iteration tests. check-in: 7e05f81e4d user: Zipheir tags: trunk
2020-05-12
23:46
Fix error in `range->generator'. check-in: 045fe49d4d user: Zipheir tags: trunk
23:36
Fix errors in several iterators. check-in: 4eb98dae8b user: Zipheir tags: trunk
23:25
Fix `range-any'. Add comment on `range-split-at'. check-in: 0d24e09fdc user: Zipheir tags: trunk
21:30
Add split test. check-in: a7f50fa7a6 user: Zipheir tags: trunk
17:16
Add more tests, and change implementation of range-includes?. (See notes.) check-in: a837196a2a user: Zipheir tags: trunk
02:57
Tests, initial import. check-in: 9a9129b0c0 user: Zipheir tags: trunk
2020-05-11
22:35
Add license and README. check-in: 9e22a62d54 user: Zipheir tags: trunk
20:00
Add `range-any' and `range-every'. check-in: a8f5f4f384 user: Zipheir tags: trunk
19:40
Rename NOTES. check-in: 252d3dcd23 user: Zipheir tags: trunk
19:35
Minor refactor of `range-take-right'. check-in: 33eb245b0a user: Zipheir tags: trunk
19:27
Add right versions of `take/drop-while'. check-in: d37660f7b2 user: Zipheir tags: trunk
18:29
Fix error in `range-take-right'. check-in: 111efc5721 user: Zipheir tags: trunk
18:22
Add left-to-right searching procedures. Add `range->generator'. check-in: cc637ad898 user: Zipheir tags: trunk
03:05
Add a bunch of iterators. check-in: 84da0c1f8f user: Zipheir tags: trunk
02:03
Use the natural reals comparator. check-in: f7413c9ac5 user: Zipheir tags: trunk
01:58
Add `range-take-right' and `range-drop-right'. check-in: 58d572a162 user: Zipheir tags: trunk
01:38
Use `exact', for now. check-in: be6f7d7d43 user: Zipheir tags: trunk
01:36
Add license blurb. check-in: 975b3b21a7 user: Zipheir tags: trunk
01:28
Implement `range-take' and `range-drop'. Add check for invalid index in `range-split-at'. Add NOTES. check-in: e4fcaecfe1 user: Zipheir tags: trunk
01:26
Add initial exports. check-in: 98951454eb user: Zipheir tags: trunk
2020-05-10
21:39
Initial import. check-in: 70cd4c876e user: Zipheir tags: trunk
21:10
initial empty check-in check-in: c6621ee819 user: Zipheir tags: trunk