Rob Rix
|
54c86812f3
|
Merge branch 'master' into precompute-p,q-grams
|
2016-08-02 12:05:19 -04:00 |
|
joshvera
|
ce149af0f6
|
++js-test ++tree-sitter-parsers
|
2016-08-01 12:23:15 -04:00 |
|
joshvera
|
1c5f94631c
|
s/diffSummary/diffSummaries
|
2016-07-29 18:38:46 -04:00 |
|
joshvera
|
b354ed61d9
|
++js-test
|
2016-07-29 16:57:30 -04:00 |
|
joshvera
|
b242555021
|
++js-test
|
2016-07-29 16:34:09 -04:00 |
|
joshvera
|
04a976969e
|
++js-test
|
2016-07-29 16:16:58 -04:00 |
|
joshvera
|
380e980250
|
annotate sources
|
2016-07-29 14:34:28 -04:00 |
|
joshvera
|
1ba42a9d0f
|
Add Ranges to DiffSummarySpec
|
2016-07-29 14:31:02 -04:00 |
|
joshvera
|
aa99744db7
|
Remove SourceSpan from Record
|
2016-07-29 14:12:44 -04:00 |
|
joshvera
|
fbc9e335a3
|
Merge remote-tracking branch 'origin/master' into error-syntax
|
2016-07-29 11:44:38 -04:00 |
|
Rob Rix
|
e45185037c
|
Merge branch 'master' into precompute-p,q-grams
|
2016-07-29 01:52:14 -04:00 |
|
joshvera
|
5caa439bec
|
++js-test
|
2016-07-28 14:29:24 -04:00 |
|
joshvera
|
8b0f496b90
|
Merge remote-tracking branch 'origin/master' into error-syntax
|
2016-07-27 19:00:27 -04:00 |
|
joshvera
|
ba7d599aa3
|
Add SourceSpan to tests
|
2016-07-27 18:49:21 -04:00 |
|
Rob Rix
|
755d9877b4
|
pqGrams takes the label function before p and q.
|
2016-07-27 00:22:22 -04:00 |
|
Rob Rix
|
08f7d71791
|
Rename termCost to termCostDecorator.
|
2016-07-27 00:08:42 -04:00 |
|
joshvera
|
b5b3391786
|
add missing unwrap
|
2016-07-26 16:44:33 -04:00 |
|
joshvera
|
4bd4a93a0c
|
++js-test
|
2016-07-26 16:34:28 -04:00 |
|
joshvera
|
804a8457a5
|
++js-test for errors.js
|
2016-07-26 16:30:12 -04:00 |
|
joshvera
|
5eece69994
|
Use any
|
2016-07-26 16:29:46 -04:00 |
|
Rob Rix
|
d9de3545d8
|
Merge branch 'master' into precompute-p,q-grams
# Conflicts:
# src/Category.hs
# src/Diffing.hs
# src/TreeSitter.hs
|
2016-07-26 15:52:37 -04:00 |
|
Rob Rix
|
cfddd9ca75
|
Merge branch 'master' into sequenceable
|
2016-07-26 15:43:02 -04:00 |
|
Rob Rix
|
e5f9d1ed28
|
Test the Mergeable laws over lists.
|
2016-07-26 15:27:32 -04:00 |
|
Rob Rix
|
475ec475b6
|
Weaken the identity laws to be non-empty.
|
2016-07-26 15:27:16 -04:00 |
|
Rob Rix
|
dd0b0322fc
|
Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes .
|
2016-07-26 14:56:02 -04:00 |
|
Rob Rix
|
cfb7361b9c
|
Scale the list generator.
|
2016-07-26 14:44:25 -04:00 |
|
joshvera
|
044aa782c1
|
partially apply isBranchNode
|
2016-07-26 14:36:56 -04:00 |
|
joshvera
|
e7000b7de3
|
s/expression_statement/expression_statements
|
2016-07-26 14:26:31 -04:00 |
|
joshvera
|
799643147b
|
partially apply isBranchNode
|
2016-07-26 14:04:15 -04:00 |
|
joshvera
|
de925c533d
|
use Foldable.any
|
2016-07-26 13:55:05 -04:00 |
|
joshvera
|
84edc4b8ce
|
use bind
|
2016-07-26 13:45:50 -04:00 |
|
joshvera
|
4809ad0f2f
|
Use bind
|
2016-07-26 13:44:12 -04:00 |
|
Rob Rix
|
2ee68cc4b2
|
Add an identity law over merge.
|
2016-07-26 13:30:09 -04:00 |
|
Rob Rix
|
794fffbf47
|
Clean up the generator.
|
2016-07-26 13:25:16 -04:00 |
|
Rob Rix
|
b987a40377
|
sequenceAlt’s relationship with merge is the inverse of merge’s relationship with sequenceAlt.
|
2016-07-26 13:23:14 -04:00 |
|
Rob Rix
|
7ff92d968e
|
Run the merge laws over Syntax.
|
2016-07-26 13:17:33 -04:00 |
|
Rob Rix
|
e98844e937
|
Run the merge laws over Identity.
|
2016-07-26 13:17:13 -04:00 |
|
Rob Rix
|
7d4d14c99b
|
Run the merge laws over Maybe.
|
2016-07-26 13:16:46 -04:00 |
|
Rob Rix
|
8f25cbd473
|
🔥 some redundant constraints.
|
2016-07-26 13:13:45 -04:00 |
|
Rob Rix
|
f64164d872
|
Generalize a constraint away.
|
2016-07-26 13:12:32 -04:00 |
|
Rob Rix
|
a967e800bb
|
Move the alternative instances helper down.
|
2016-07-26 13:12:09 -04:00 |
|
Rob Rix
|
be973b5bae
|
Generalize out a helper function to validate laws against alternative instances.
|
2016-07-26 13:11:52 -04:00 |
|
Rob Rix
|
5430f45850
|
Verify the merge laws over []/Maybe.
|
2016-07-26 13:06:18 -04:00 |
|
Rob Rix
|
df4621622a
|
Formulate a merge law.
|
2016-07-26 13:03:13 -04:00 |
|
Rob Rix
|
475c97190c
|
Parallelize the Mergeable spec.
|
2016-07-26 12:47:38 -04:00 |
|
Rob Rix
|
5d6b1cd047
|
Test the sequenceAlt laws over Syntax.
|
2016-07-26 05:39:02 -04:00 |
|
Rob Rix
|
7af29fcf10
|
Define the identity law over pure .
|
2016-07-26 04:25:45 -04:00 |
|
Rob Rix
|
6806438949
|
Generalize the sequenceAlt laws over the inner alternative functor.
|
2016-07-26 04:23:03 -04:00 |
|
Rob Rix
|
f76b334b8c
|
Validate the sequenceAltLaws against the Identity instance.
|
2016-07-26 04:16:40 -04:00 |
|
Rob Rix
|
a0cf6ce702
|
Validate the relationship between sequenceAlt and merge.
|
2016-07-26 04:15:56 -04:00 |
|