Timothy Clem
278e6890cd
Fix up the tests
2018-09-25 11:18:51 -05:00
Rick Winfrey
54bc2a9521
🔥 unused exports
2018-08-13 15:43:23 -07:00
joshvera
c71dd783fb
Add EscapeSequence Listable
2018-08-10 13:02:06 -04:00
Charlie Somerville
d00fced1bb
Merge branch 'master' into charliesome/context
2018-08-01 11:45:46 +10:00
Charlie Somerville
b364c6637a
implement the right type classes for This
2018-07-24 16:23:44 +10:00
Josh Vera
7b025c6e49
Merge branch 'master' into bump-tree-sitter
2018-07-23 19:55:21 -04:00
joshvera
322db1dd89
Merge remote-tracking branch 'origin/master' into add-python
2018-07-23 18:21:01 -04:00
Timothy Clem
8484f477ce
Extra Listable instances
2018-07-23 15:09:44 -07:00
joshvera
dbcf2638b0
Add Listable instances for QualifiedName and Import
2018-07-23 13:59:56 -04:00
Rob Rix
4ef85b3d91
These instances aren’t orphaned.
2018-07-20 10:07:53 -04:00
Rob Rix
d6eb959726
We don’t need DeriveAnyClass or StandaloneDeriving for these.
2018-07-20 10:07:24 -04:00
Rob Rix
d3fc6478fd
Derive a bunch of Mergeable instances.
2018-07-20 09:54:57 -04:00
Rob Rix
3fa75423d6
Move Mergeable into the tests.
2018-07-20 09:52:43 -04:00
joshvera
a0d27311bb
Add a ListableF2
2018-07-17 18:59:54 -04:00
joshvera
51d873f81e
Add Listable instances for Join These Blob
2018-07-16 17:05:56 -04:00
joshvera
d3c912784b
Fix tests
2018-06-22 14:19:01 -04:00
joshvera
cf709a7edb
Rename listable instances for RegexMatch and BooleanOperator
2018-06-21 13:19:09 -04:00
joshvera
7084b7f7ed
Add Listable instances for Ruby.Syntax
2018-06-20 13:41:59 -04:00
joshvera
05361742a1
Add statements to output
2018-06-20 11:57:53 -04:00
joshvera
82e1de7fde
Add roundtrip tests for json syntax
2018-06-11 17:10:29 -04:00
joshvera
99ce0482e7
Merge origin/master into grpc-trees
2018-06-06 13:02:44 -04:00
Rob Rix
54150552b3
Merge branch 'master' into 🔥 -galign
2018-05-29 08:53:37 -04:00
Rob Rix
18b2cfc89f
Merge branch 'master' into decompose-values
2018-05-18 14:14:55 -04:00
Rob Rix
81951d7bcc
Fix the Listable instance for Name.
2018-05-18 13:05:46 -04:00
Patrick Thomson
322f348103
inj -> inject
2018-05-16 18:25:02 -04:00
Patrick Thomson
6b0198cb00
Remove otiose -Sum prefixes from all Data.Sum operations.
...
There are no modules where we use both Union.inj and Sum.injectSum; as
such, it seems clumsy for such ubiquitous functions as inj and prj to
have such long names when there is no ambiguity. This restores the
codebase to much how it looked before we switched back to a richer
Data.Union.
2018-05-16 15:27:08 -04:00
Rob Rix
243fb331fc
Fix stale references to inj in the tests.
2018-05-02 15:55:10 -04:00
Rob Rix
152fe6a6a8
Fix the ambiguity around Sum.
2018-05-02 13:14:51 -04:00
Rob Rix
ebc8e01cc4
Use our own local definition of Sum.
2018-05-02 12:00:15 -04:00
Timothy Clem
95b7fd5888
Resolve module import paths that walk up directory structure (e.g. ../)
2018-04-17 14:13:01 -07:00
Rob Rix
d863d282b1
🔥 the Mergeable spec.
2018-04-09 16:38:28 -04:00
Patrick Thomson
c36256e943
Standardize and fix floating-point parsing.
...
The existence of #1705 showed me that it's time to remove the bandaid
of a fix that was `normalizeFloatString` in #1537 . This patch
introduces a proper Attoparsec parser for Scientific values that
handles the vaguaries of cross-language floating-point syntax. We
already depended on Attoparsec indirectly, so adding it as an explicit
dependency is fine.
A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-03 17:02:56 -04:00
joshvera
fdfca338f5
unused constraint
2018-03-22 13:07:32 -04:00
Patrick Thomson
da2a3fc7a8
Initial pass fixing errors raised by weeder
.
...
This fixes a lot of unnecessary exports in the specs, removes a couple
otiose imports (comonads and semigroups are provided by base, I beleive),
and removes a duplicated function.
2018-03-09 12:07:34 -05:00
Timothy Clem
24a470ba7a
FreeVariable Name as NonEmpty List
2018-03-08 09:34:09 -08:00
Timothy Clem
835e8f5980
Major updates to identifiers: free variables can be qualified names
...
(break all the tests too 😁 )
2018-03-07 17:01:47 -08:00
Rob Rix
a112fca6f3
Merge branch 'master' into 🔥 -monolithic-syntax
2017-12-18 15:07:00 -05:00
Rick Winfrey
d649a514af
Update tests
2017-12-01 13:36:38 -08:00
Rick Winfrey
df52854ef0
Merge branch 'master' into cyclomatic-complexity-decorator
2017-12-01 11:23:15 -08:00
Rob Rix
ecfd121575
Merge branch 'master' into 🔥 -monolithic-syntax
2017-12-01 12:28:19 -05:00
Rob Rix
4ccf265c4e
Opt the tests into using record syntax.
2017-11-30 11:12:23 -05:00
Rob Rix
2bbd4e7a49
Test that derived & generic showsPrec agree for infix constructors.
2017-11-30 10:47:53 -05:00
Rob Rix
6ce7ba6b2a
Rename the record test.
2017-11-30 10:45:52 -05:00
Rob Rix
517843b603
Test that generic Show1 shows record selectors.
2017-11-30 10:44:32 -05:00
Rob Rix
4b928a6c4e
Test that derived & generic showsPrec agree.
2017-11-30 10:41:26 -05:00
Rob Rix
221a88f452
Test that derived & generic equality agree.
2017-11-30 10:38:46 -05:00
Rob Rix
67f251e223
Combine the generic Eq1, Ord1, & Show1 implementations into a single module.
2017-11-30 10:24:48 -05:00
Rob Rix
f1c4b58797
Merge branch 'musical-modules' into 🔥 -monolithic-syntax
2017-11-28 11:59:38 -05:00
Rob Rix
41020b7eae
Extract the Declaration algebras into a new module.
2017-11-28 09:17:41 -05:00
Rob Rix
87d533cc2b
Rename Language to Data.Language.
2017-11-27 14:17:48 -05:00
Rob Rix
a442bfeea1
Rename the Term spec.
2017-11-27 14:02:03 -05:00
Rob Rix
80fce5b41e
Rename the Diff spec.
2017-11-27 13:59:44 -05:00
Rob Rix
f4960b0a0d
Rename the Source spec.
2017-11-27 13:49:52 -05:00
Rob Rix
266bd1199a
Rename the RWS spec.
2017-11-27 13:48:43 -05:00
Rob Rix
a8e8489fcb
Rename the assignment spec.
2017-11-27 13:47:04 -05:00
Rob Rix
3ebb972bd8
Move the Node datatype & AST synonym into Data.AST.
2017-11-27 13:45:37 -05:00
Rob Rix
fd31babd62
Rename Decorator to Decorating.Decorator.
2017-11-27 13:36:00 -05:00
Rob Rix
3a3ed72f96
Rename Renderer to Rendering.Renderer.
2017-11-27 13:30:38 -05:00
Rob Rix
9bfd64905d
Rename Data.Syntax.Assignment to Assigning.Assignment.
2017-11-27 13:19:20 -05:00
Rob Rix
bb21a24a93
Rename RWS to Diffing.Algorithm.RWS.
2017-11-27 11:51:39 -05:00
Rob Rix
cdefcdb33d
Rename Interpreter to Diffing.Interpreter.
2017-11-27 11:45:08 -05:00
Rob Rix
cfd27ec20c
Rename Algorithm -> Diffing.Algorithm.
2017-11-27 11:42:57 -05:00
Rob Rix
3a06686361
Rename Data.Syntax.Algebra to Decorator.
2017-11-22 17:21:22 -05:00
Rob Rix
99c7b5ac6e
Merge branch 'master' into 🔥 -monolithic-syntax
2017-11-21 12:37:45 -05:00
Rob Rix
7b291087cc
Merge branch 'master' into 🔥 -monolithic-syntax
2017-11-15 10:52:30 -05:00
Timothy Clem
772762ecef
Merge remote-tracking branch 'origin/master' into generate-tags-with-context
2017-11-08 13:16:07 -08:00
Timothy Clem
1c701f9775
Merge remote-tracking branch 'origin/master' into generate-tags-with-context
2017-10-27 11:33:09 -07:00
Timothy Clem
957448518d
Pass language around for easy use later
2017-10-27 11:16:05 -07:00
Timothy Clem
6ad5700116
Refactor renderToTags to not go through JSONSummary
2017-10-27 10:18:21 -07:00
Rob Rix
d50731552c
🔥 the test of dimensionality.
2017-10-26 19:45:23 -04:00
Rob Rix
9c1dce7ab9
🔥 the Context/Empty Listable instances.
2017-10-23 11:53:42 -04:00
Rob Rix
c0d833f361
🔥 the Context/Empty tests of the Mergeable laws.
2017-10-23 11:53:36 -04:00
Rob Rix
6a0321c401
Test the Mergeable laws against a Union.
2017-10-23 10:40:33 -04:00
Rob Rix
8245e337ce
Define a Listable instance for Union.
2017-10-23 10:36:53 -04:00
Rob Rix
395678bcb3
Test the Mergeable laws against Context & Empty.
2017-10-23 10:32:48 -04:00
Rob Rix
0184f57713
Define Listable instances for Context & Empty.
2017-10-23 10:32:32 -04:00
joshvera
2f26a09905
fix tests
2017-10-19 21:32:27 -04:00
Rick Winfrey
2dad14e33e
Add Listable instance for CyclomaticComplexity
2017-10-16 14:24:49 -07:00
Rob Rix
ed8e08ef26
Migrate a bunch of the tests away from Syntax.
2017-10-10 13:18:11 -04:00
Rob Rix
44fafdbd9a
Define a Listable instance for Unions.
2017-10-10 13:10:57 -04:00
Rob Rix
ac5e0b3e9f
🔥 the Listable instances for Category & Syntax.
2017-10-10 13:00:26 -04:00
Rob Rix
27758821e8
Use the comparableTerms relation in the RWS tests.
2017-10-03 15:10:11 -04:00
Rob Rix
b85aa53af9
Spacing.
2017-10-03 09:29:15 -04:00
Rob Rix
ac3646f925
Test that genericLiftCompare gives equivalent behaviour to compare for recursive types.
2017-10-03 09:29:06 -04:00
Rob Rix
5a024b40f7
Test that genericLiftCompare gives equivalent behaviour to compare for sum types.
2017-10-03 09:25:39 -04:00
Rob Rix
7e034fa4c1
Test that genericLiftCompare gives equivalent behaviour to compare for product types.
2017-10-03 09:23:44 -04:00
Rob Rix
6f4539cdce
Stub in a module for generically-implemented Ord1 specs.
2017-10-03 09:15:45 -04:00
joshvera
b3667104fb
Merge remote-tracking branch 'origin/master' into typescript-assignment
2017-09-28 14:24:57 -07:00
Rob Rix
26d44ae2f0
Merge the Decorators module into Data.Syntax.Algebra.
2017-09-27 12:54:01 -04:00
Rob Rix
b31043a3eb
Rename the Diff module to Data.Diff.
2017-09-27 12:41:41 -04:00
Rob Rix
9bd0b02ac9
Rename the Term module to Data.Term.
2017-09-27 12:37:37 -04:00
Rob Rix
e8b7e89dca
Rename the Patch module to Data.Patch.
2017-09-27 12:29:07 -04:00
Rob Rix
01e8e1725f
Move the listable Syntax synonym into Data.Functor.Listable.
2017-09-26 09:48:59 -04:00
Rob Rix
c9e4968d93
Migrate the RWS tests to à la carte syntax.
2017-09-26 09:44:42 -04:00
Rob Rix
8e674538e3
Define Listable1 instances for Functions & Methods.
2017-09-25 19:25:14 -04:00
Rob Rix
f274a9dd7d
Define a Listable1 instance for Context.
2017-09-25 19:20:01 -04:00
Rob Rix
aae77f6e0e
Define a Listable1 instance for Comment.
2017-09-25 19:19:51 -04:00
Rob Rix
b0c79efa9b
Define a Listable1 instance for NonEmpty.
2017-09-25 19:19:37 -04:00
Rob Rix
b32a911484
Define Listable instances for Return and Empty.
2017-09-25 19:14:00 -04:00
Rob Rix
909e199e72
Define Listable instances for If and Identifier.
2017-09-25 19:12:44 -04:00
Rob Rix
468a874168
Define Listable instances for non-empty Unions.
2017-09-25 19:08:55 -04:00
Timothy Clem
7107aec6db
Add a equivalency check for terms
2017-09-19 09:36:12 -07:00
Rob Rix
7789e83875
Correct the RWS tests.
2017-09-14 11:49:57 -04:00
Rob Rix
bfc0b9d0b0
Give Diff a pair of type parameters for the annotation types.
2017-09-14 09:41:52 -04:00
Rob Rix
cf9d752d43
Parameterize Patch by before and after types.
2017-09-13 21:37:23 -04:00
Rob Rix
9de429be45
🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.
2017-09-13 19:14:01 -04:00
Rob Rix
20e0943c72
🔥 the Sum inside Patch nodes.
2017-09-13 16:07:22 -04:00
Rob Rix
0ec9584a6d
Correct the tests.
2017-09-13 16:03:27 -04:00
Rob Rix
a0eda2396a
Correct the tests.
2017-09-13 11:19:06 -04:00
Rob Rix
e36034455c
Correct the tests.
2017-09-13 09:45:10 -04:00
Rob Rix
ecb19530d6
Correct most of the tests.
2017-09-12 10:49:45 -04:00
Rob Rix
a140d2f4c4
Correct the Listable1 instance for Diff.
2017-09-12 10:47:50 -04:00
Rob Rix
d0a1d31c68
Correct the Listable2 instance for DiffF.
2017-09-12 10:46:49 -04:00
Rob Rix
b3b81846b3
Define a Listable1 instance for BindingF.
2017-09-12 10:44:19 -04:00
Rob Rix
57f578618c
Define Listable1 instances for Sum & Product.
2017-09-12 10:43:31 -04:00
Rob Rix
c2f4ef3572
Merge branch 'relocate-json-fields' into directed-acyclic-diffs
2017-09-11 16:20:57 -04:00
Rob Rix
2c83e7e283
Merge branch 'master' into specialized-terms-and-diffs
2017-09-11 16:01:20 -04:00
Rob Rix
1cd6dd2899
Update the tests.
2017-09-11 15:48:58 -04:00
Rob Rix
110be2449c
Update the tests.
2017-09-09 21:44:15 +01:00
Rob Rix
41baef6c9d
Listing diffs does not produce metavariables or bindings.
2017-09-09 18:24:05 +01:00
Rob Rix
2a7a937a7e
🔥 a bunch more redundant imports.
2017-09-09 14:58:07 +01:00
Rob Rix
10b262e069
🔥 a stray import.
2017-09-09 14:54:49 +01:00
Rob Rix
24914eeb05
Move the remaining Listable instances into the tests.
2017-09-09 14:51:37 +01:00
Rob Rix
3ad5374b94
Move all the Listable stuff into the tests.
2017-09-09 14:44:57 +01:00
Rob Rix
a1bfea611f
Update all the tests.
2017-09-09 14:18:08 +01:00
Rob Rix
e2ffba2401
Rename headF to termAnnotation.
2017-09-09 11:50:29 +01:00
Rob Rix
32b2f90316
🔥 a couple of obsolete tests.
2017-09-01 11:54:45 -04:00
Rob Rix
1270bb41c4
Correct the <|>/distributivity through children rules test.
2017-09-01 11:53:40 -04:00
Rob Rix
bad1c832f0
Correct precedence.
2017-09-01 11:51:18 -04:00
Rob Rix
5366bfff3c
🔥 obsolete tests of catchError/repetitions.
2017-09-01 11:50:48 -04:00
Rob Rix
c2f30feff2
Test that exhaustiveness errors are uncaught.
2017-09-01 11:50:10 -04:00
Rob Rix
2110d7d076
Slight improvement to the unexpected end of branch test.
2017-09-01 11:49:46 -04:00
Rob Rix
a640b48ddc
Test that unexpected end of branch errors are uncaught.
2017-09-01 11:47:38 -04:00
Rob Rix
7fc97f6b9d
Rename a test.
2017-09-01 11:33:33 -04:00
Rob Rix
6afe2b5ae9
Test that handlers can error.
2017-09-01 11:32:57 -04:00
Rob Rix
eb65bd9622
Test the inverse case.
2017-09-01 11:28:59 -04:00
Rob Rix
99b4d5037a
🔥 unnecessary parens.
2017-09-01 11:28:41 -04:00
Rob Rix
70cfa6e070
Rename & correct a catchError test.
2017-09-01 11:26:46 -04:00
Rob Rix
de318561dd
Correct a test’s expectation.
2017-09-01 11:25:30 -04:00
Rob Rix
773644d040
We limit the call stacks now.
2017-08-18 10:41:14 -04:00
Rob Rix
9e2abcaa13
🔥 a redundant import.
2017-08-17 17:57:06 -04:00
Rob Rix
7b4fcec381
Fix the tests up.
2017-08-17 17:56:01 -04:00
Rob Rix
3c7f471607
Test that eof matches before anonymous nodes at the end of branches.
...
Currently failed.
2017-08-16 08:55:26 -04:00
Rob Rix
8265390933
Test that eof matches at the end of branches.
2017-08-16 08:52:29 -04:00
Rob Rix
f8ab5f2ae3
Update the imports.
2017-08-11 08:02:30 -04:00
Rob Rix
ff9e58c95f
Derive a Bounded instance.
2017-08-08 08:43:49 -04:00
Rob Rix
9530b95a37
🔥 the state in error results.
2017-08-07 12:15:02 -04:00
Rob Rix
8faf9f60be
Correct the tests.
2017-08-06 19:40:45 -04:00
Rob Rix
6c1e9afbb0
Errors hold Spans now.
2017-08-06 19:32:38 -04:00
Rob Rix
1ab9a13c6d
Ignore the state in the error callback spec.
2017-08-06 19:31:44 -04:00