github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00
Code Issues Projects Releases Wiki Activity
26,414 Commits 19 Branches 16 Tags 46 MiB
5c4dde8d54
Commit Graph

448 Commits

Author SHA1 Message Date
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