Joey Hess
103dab702b
better data types
2014-02-17 00:38:33 -04:00
Joey Hess
e806152f77
split out types
2014-02-17 00:18:57 -04:00
Joey Hess
d7a95098fb
tricky view refining code that keeps track of whether the view is widenening or narrowing
2014-02-16 22:44:28 -04:00
Joey Hess
410f603383
support globs when built w/o TDFA, just slower
2014-02-16 21:26:57 -04:00
Joey Hess
613f8f02e3
add another quickcheck property, and several edge cases handled
2014-02-16 21:00:12 -04:00
Joey Hess
81628d24c8
simplify type
2014-02-16 17:46:52 -04:00
Joey Hess
9633c67842
filter branches (incomplete)
...
Promosing work toward metadata driven filter branches. A few methods
to construct them are stubbed out; all the data types and pure code
seems good.
This commit was sponsored by Walter Somerville.
2014-02-16 17:39:54 -04:00
