Rob Rix
|
9bd0b02ac9
|
Rename the Term module to Data.Term.
|
2017-09-27 12:37:37 -04:00 |
|
Rob Rix
|
9de429be45
|
🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.
|
2017-09-13 19:14:01 -04:00 |
|
Rob Rix
|
7da8799e08
|
🔥 Prologue & protolude.
|
2017-07-28 14:37:02 -04:00 |
|
Rob Rix
|
d6beb353fa
|
🔥 unused imports.
|
2017-07-23 16:08:05 -04:00 |
|
Rob Rix
|
aa8ebfcd73
|
Remove the leaf type parameter from SyntaxTerm.
|
2017-07-23 15:56:08 -04:00 |
|
Rob Rix
|
4cc81c552b
|
Migrate the Term property test to leancheck.
|
2017-01-07 23:21:22 -05:00 |
|
Rick Winfrey
|
a4c5a26533
|
Add pretty diff expectations to semantic diff tests
|
2016-09-14 16:45:23 -05:00 |
|
Rob Rix
|
f91860d68f
|
🔥 DataKinds here, too.
|
2016-07-05 10:11:29 -04:00 |
|
Rob Rix
|
c70c936d60
|
Use shouldBe instead of == .
|
2016-06-27 13:21:32 -04:00 |
|
Rob Rix
|
346bec0d0b
|
Clean up redundant imports and use Text, not String.
|
2016-06-27 13:16:56 -04:00 |
|
Rob Rix
|
85f39fd5a8
|
Move some tests out of TermSpec into Diff.Spec.
|
2016-06-27 13:15:03 -04:00 |
|
Rob Rix
|
ad4a34ebb0
|
🔥 a redundant import.
|
2016-06-27 13:12:37 -04:00 |
|
Rob Rix
|
0b37ae936b
|
Diff terms of records.
|
2016-06-23 16:30:43 -04:00 |
|
Rob Rix
|
a18b5bb4f0
|
🔥 a redundant import.
|
2016-06-06 13:04:35 -04:00 |
|
Rob Rix
|
c9763c43ba
|
Use the sizing functions in TermSpec.
|
2016-06-06 12:26:06 -04:00 |
|
Rob Rix
|
29a725b125
|
Move ArbitraryDiff into semantic-diff proper.
|
2016-06-06 12:07:07 -04:00 |
|
Rob Rix
|
a613fa0369
|
Merge branch 'push-benchmarks-to-graphite' into benchmark-alignment
|
2016-06-06 11:36:48 -04:00 |
|
Rob Rix
|
f39e3df33b
|
Pass a DiffConstructor to diffTerms.
|
2016-06-03 02:59:48 -04:00 |
|
Rob Rix
|
43757e8a61
|
🔥 Categorizable.
This reverts commit be59b0c161362baae63308478177819828be7e1b.
|
2016-06-02 19:10:41 -04:00 |
|
Rob Rix
|
ef47e435aa
|
Merge branch 'master' into benchmark-alignment
# Conflicts:
# test/TermSpec.hs
|
2016-06-01 16:22:02 -04:00 |
|
Rob Rix
|
d1884c2908
|
Put the term generator sizing test into its own group.
|
2016-06-01 12:30:05 -04:00 |
|
Rob Rix
|
6a7ec24640
|
Test that we generate terms of the specified size.
|
2016-06-01 11:52:43 -04:00 |
|
Rob Rix
|
2064d3af8a
|
Depend on semantic-diff’s definition of ArbitraryTerm in the tests.
|
2016-06-01 09:16:47 -04:00 |
|
Rob Rix
|
36168c1698
|
Rename unTerm to toTerm.
|
2016-05-31 20:29:12 -04:00 |
|
joshvera
|
55f286d8be
|
Replace instance of comparable
|
2016-05-31 17:01:01 -04:00 |
|
joshvera
|
ed144bbb1f
|
Fix tests
|
2016-05-26 13:11:34 -04:00 |
|
Rob Rix
|
1a22eaebf6
|
Correct the tests.
|
2016-04-12 04:54:32 -04:00 |
|
Matt Diephouse
|
170b7c6e1e
|
Rename Categorizable module to Category
|
2016-02-04 13:59:33 -05:00 |
|
Rob Rix
|
271d47f8f4
|
Remove the main function from TermSpec.
|
2016-01-05 11:26:49 -05:00 |
|
Rob Rix
|
801d0e1d54
|
Remove some redundant imports from TermSpec.
|
2016-01-05 11:26:43 -05:00 |
|
Rob Rix
|
0590af9bc9
|
Allow all of the tests to run in parallel.
|
2016-01-05 10:38:51 -05:00 |
|
joshvera
|
28e5b60bbc
|
fix tests
|
2015-12-29 15:24:13 -05:00 |
|
joshvera
|
a3051c531d
|
Merge remote-tracking branch 'origin/master' into use-text
|
2015-12-29 15:13:57 -05:00 |
|
Rob Rix
|
38a317156b
|
Move arbitrary term generation into its own module.
|
2015-12-22 12:53:31 -05:00 |
|
joshvera
|
9617e7a842
|
import Data.Text.Arbitrary in SplitSpec/TermSpec
|
2015-12-18 15:03:54 -05:00 |
|
joshvera
|
09faaf9b4e
|
clean up
|
2015-12-17 13:10:12 -05:00 |
|
joshvera
|
0223de4145
|
Enable autodiscovery of tests
Also splits up tests into different specs
|
2015-12-17 13:08:47 -05:00 |
|