Tony Garnock-Jones
|
a86a0cd326
|
Remove redundant and wrong clause in match-values
|
2014-07-18 19:58:08 -07:00 |
Tony Garnock-Jones
|
d39beee8a1
|
Full subtraction. Drastic simplifications all round based on new invariants.
|
2014-07-16 19:58:24 -07:00 |
Tony Garnock-Jones
|
35ccad13d2
|
Initial steps toward refactoring erase-path into subtract
|
2014-07-16 14:02:27 -07:00 |
Tony Garnock-Jones
|
41666ff408
|
Canonicalize matchers to permit quick equality testing
|
2014-07-16 11:13:45 -07:00 |
Tony Garnock-Jones
|
8bce94c2e3
|
fold in the #f-checks from merge to walk, like js-marketplace does
|
2014-07-15 13:55:53 -07:00 |
Tony Garnock-Jones
|
b3db1dd464
|
Tweak to projection->gestalt; expose projection-spec; catch capture-in-pattern error
|
2014-06-18 20:18:23 -04:00 |
Tony Garnock-Jones
|
77f876c737
|
Use write for keys rather than display in pretty-print-matcher
|
2014-06-17 21:53:09 -04:00 |
Tony Garnock-Jones
|
25ee780598
|
Detail in matcher-erase-path cofinite situation.
|
2014-06-17 17:15:44 -04:00 |
Tony Garnock-Jones
|
867afdbf63
|
matcher->pretty-string
|
2014-06-17 17:15:34 -04:00 |
Tony Garnock-Jones
|
9b05906efb
|
Simplify matcher-project
|
2014-06-14 20:50:34 -04:00 |
Tony Garnock-Jones
|
1faa122c49
|
Changes from code review
|
2014-06-14 20:50:34 -04:00 |
Tony Garnock-Jones
|
3a5e6c8e29
|
Notes and improvements from code review
|
2014-06-14 20:50:34 -04:00 |
Tony Garnock-Jones
|
18d625af45
|
Mostly cosmetic; improvements from yesterday's code review
|
2014-06-14 20:50:34 -04:00 |
Tony Garnock-Jones
|
289a7351df
|
Documentation in the code
|
2014-06-10 13:54:10 -04:00 |
Tony Garnock-Jones
|
a2ee741832
|
matcher-key-set/single
|
2014-06-02 14:12:20 -04:00 |
Tony Garnock-Jones
|
58a0af38a6
|
Adjust projection to yield multiple values instead of a vector
|
2014-05-28 20:10:55 -04:00 |
Tony Garnock-Jones
|
96b92cf2d4
|
Support for embedding matchers in patterns
|
2014-05-28 17:11:36 -04:00 |
Tony Garnock-Jones
|
060e587fbf
|
matcher->jsexpr, jsexpr->matcher
|
2014-05-28 15:53:04 -04:00 |
Tony Garnock-Jones
|
6b94074a41
|
Convert from pair-based to list-based matching.
|
2014-05-28 15:24:26 -04:00 |
Tony Garnock-Jones
|
3b2e2ad538
|
Another test
|
2014-05-26 06:29:06 -04:00 |
Tony Garnock-Jones
|
139adf074c
|
Improved elision of wildcard-sequence cases in erase-path
|
2014-05-26 06:22:35 -04:00 |
Tony Garnock-Jones
|
5058330e80
|
More tests of projection; change to default matcher-union-successes
|
2014-05-25 13:22:49 -04:00 |
Tony Garnock-Jones
|
77a7620bdc
|
Fix bug in projection against wildcards
|
2014-05-22 22:34:24 -04:00 |
Tony Garnock-Jones
|
9a5d9cb579
|
Move rseq* to test code, as it is otherwise unused
|
2014-05-22 19:13:02 -04:00 |
Tony Garnock-Jones
|
a8fa384985
|
Reminder to perhaps remove the parameters again, as they may be slow
|
2014-05-21 23:41:01 -04:00 |
Tony Garnock-Jones
|
d37eaa1236
|
Introduce parameters controlling route success merges; Ensure "minimal" path erasure
|
2014-05-21 23:20:49 -04:00 |
Tony Garnock-Jones
|
bfa9c9cfcb
|
projection->pattern
|
2014-05-21 21:02:38 -04:00 |
Tony Garnock-Jones
|
6649689b8f
|
Make captures able to express and-patterns.
|
2014-05-21 20:54:36 -04:00 |
Tony Garnock-Jones
|
3bd9b338b5
|
Fix error messages
|
2014-05-21 19:59:06 -04:00 |
Tony Garnock-Jones
|
e5ba41d8a3
|
Reformulate gestalts (again). Back to metalevel/level/pattern rather than metalevel/pattern/level.
|
2014-05-21 16:28:38 -04:00 |
Tony Garnock-Jones
|
513eec3b7b
|
Correct comment (it was left behind when erase-path's args were flipped)
|
2014-05-20 23:32:07 -04:00 |
Tony Garnock-Jones
|
b750a01e78
|
Switch gestalt representations to accommodate n<m filtering.
The previous format separated out the different levels too much.
The new format pushes the level representation *under* the routing
matcher.
|
2014-05-20 21:50:19 -04:00 |
Tony Garnock-Jones
|
36b38dc757
|
Further API tweaks, and new tests
|
2014-05-19 19:57:02 -04:00 |
Tony Garnock-Jones
|
2ccd066012
|
matcher->finite-set -> matcher-key-set
|
2014-05-19 18:58:27 -04:00 |
Tony Garnock-Jones
|
cad1dbbbca
|
Generalize route.rkt's mapped-to values from sets. Also flip arg order of matcher-erase-path.
|
2014-05-19 18:41:59 -04:00 |
Tony Garnock-Jones
|
649b1b8e82
|
Avoid construction of intermediate list
|
2014-05-15 11:41:40 -04:00 |
Tony Garnock-Jones
|
6a609f4491
|
Optimizations for intersection and related operations.
|
2014-05-14 16:29:02 -04:00 |
Tony Garnock-Jones
|
2013f67341
|
Oops. Correct stupid error.
|
2014-05-14 16:28:47 -04:00 |
Tony Garnock-Jones
|
1a0c5fcd62
|
Bugfix in matcher-match-matcher
|
2014-05-14 00:02:07 -04:00 |
Tony Garnock-Jones
|
ca9bab153c
|
Provide pretty-print-matcher
|
2014-05-14 00:01:43 -04:00 |
Tony Garnock-Jones
|
ebc798c0aa
|
Correct type error
|
2014-05-13 23:12:57 -04:00 |
Tony Garnock-Jones
|
8210272054
|
Handle empty matcher in matcher-match-value
|
2014-05-13 23:11:50 -04:00 |
Tony Garnock-Jones
|
4711069f36
|
matcher-project and matcher->finite-set
|
2014-05-13 22:18:40 -04:00 |
Tony Garnock-Jones
|
67d1b3b6db
|
Move tests together
|
2014-05-13 19:35:03 -04:00 |
Tony Garnock-Jones
|
469f18503b
|
WIP
|
2014-05-10 19:27:26 -04:00 |
Tony Garnock-Jones
|
f46e95c933
|
Add matcher-match-matcher
|
2014-05-10 19:27:17 -04:00 |
Tony Garnock-Jones
|
1aed7450cb
|
Export "wildcard?"
|
2014-05-10 19:26:51 -04:00 |
Tony Garnock-Jones
|
9cdbd38ba0
|
Let matcher-intersect flexibly combine success-values; add matcher-relabel
|
2014-05-07 22:00:46 -04:00 |
Tony Garnock-Jones
|
7c11b3ace2
|
Renamings and better exports
|
2014-05-07 19:23:11 -04:00 |
Tony Garnock-Jones
|
4a142b62b2
|
More temporary exports
|
2014-05-06 21:23:59 -04:00 |