github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity
27,334 Commits 19 Branches 16 Tags 46 MiB
30ef3ab52b
Commit Graph

51 Commits

Author SHA1 Message Date
Patrick Thomson
f750f2952a Remove 'both' function. 2019-01-10 15:53:15 -05:00
Timothy Clem
57f284f847 Streamline the declarations for toc summaries 2018-11-08 08:33:26 -08:00
Rob Rix
898fa73969 Hide the import of Diff. 2018-10-29 11:19:40 -04:00
Rob Rix
90338e92fc Update the TOC spec for the new effect system. 2018-10-24 10:09:57 -04:00
Patrick Thomson
d3db754004 weirdness in tests 2018-10-16 23:04:39 -04:00
Timothy Clem
ac70c565cc Change up what Declarations we identify 2018-10-05 09:54:57 -07:00
Timothy Clem
35d77b505e Revert tableOfContentsBy removal of extra Maybe 2018-09-27 13:05:11 -05:00
Timothy Clem
44b8e9249a Align the things 2018-09-26 16:54:48 -05:00
Timothy Clem
1913277e74 Replace the annotation necessary for toc 
Includes span in Declaration, refactors toc functions to remove a layer of maybe
 2018-09-26 13:54:16 -05:00
Timothy Clem
f6f556fb32 TOC is the only thing with a custom annotation right now 2018-09-25 17:09:43 -05:00
Timothy Clem
278e6890cd Fix up the tests 2018-09-25 11:18:51 -05:00
Timothy Clem
64c9d20826 Error span changed 2018-09-17 09:56:39 -07:00
Rob Rix
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Patrick Thomson
5c131b26f3 Suppress telemetry errors in specs. 
There are some cases (such as testing diffing a tree with one that has
syntax errors) where semantic, by default, will emit a lot of noise to
stderr. This clogs up the test output and led me (at one point) to
think I had introduced failures that were there all along.

The fix is simple: set the LogLevel to nothing and use runTaskWithOptions.
 2018-06-18 14:33:26 -04:00
Patrick Thomson
96771f8ebf fix tests 2018-06-04 18:53:24 -04:00
Patrick Thomson
4a7ebf71dd Merge remote-tracking branch 'origin/master' into fix-maybe-language 2018-06-04 18:33:03 -04:00
Patrick Thomson
10a863f57c Fix tests 2018-06-04 18:26:47 -04:00
Patrick Thomson
d144087486 Merge remote-tracking branch 'origin/master' into text-names 2018-05-30 23:51:11 -04:00
Patrick Thomson
7ba832d566 Fix tests. 2018-05-30 18:29:54 -04:00
Rob Rix
8fc1ccaa19 Merge branch 'recursive-type-families-are-not-our-friends' into 🔥-galign 2018-05-29 12:49:29 -04:00
Rob Rix
81032f34ec Whoops. 2018-05-29 12:26:36 -04:00
Rob Rix
f5572e41ca Use Member instead of Members everywhere! 2018-05-29 12:09:09 -04:00
Rob Rix
54150552b3 Merge branch 'master' into 🔥-galign 2018-05-29 08:53:37 -04:00
Patrick Thomson
dafb3edaf5 Merge remote-tracking branch 'origin/master' into update-fastsum 2018-05-16 18:26:43 -04:00
Patrick Thomson
322f348103 inj -> inject 2018-05-16 18:25:02 -04:00
Rob Rix
a918420726 diffWithParser needs a Hashable1 instance. 2018-05-16 16:19:18 -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
84ea29a60b Fix the tests. 2018-05-14 18:39:41 -04:00
Rob Rix
03749d008e We can just say diff now. 2018-05-14 16:11:31 -04:00
Rob Rix
b6709b4da2 Use the correct injection/projection functions in the tests. 2018-05-06 17:23:39 -04:00
Rob Rix
da3ddd2b17 Fix the specs. 2018-05-02 16:10:56 -04:00
Rob Rix
ebc8e01cc4 Use our own local definition of Sum. 2018-05-02 12:00:15 -04:00
Rob Rix
5ed0e37740 Move diffWithParser into the tests. 2018-04-26 09:05:18 -04:00
Timothy Clem
b9857cd033 Move the toc test fixtures around too 2018-04-18 13:42:29 -07:00
Timothy Clem
1b79ed205e TOCSpec import cleanup 2018-03-13 10:59:20 -07: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
13b892df53 Adding listable instance uncovered this erroneous test 2018-03-08 09:03:02 -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
joshvera
11a5cd1455 Enable ruby test 2018-01-25 12:25:02 -05:00
Rob Rix
663621d786 Mark the failing fixture as pending. 2018-01-24 15:17:28 -05:00
Rob Rix
a112fca6f3 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-18 15:07:00 -05:00
Timothy Clem
2f6c669899 Remove extra parens 2017-12-11 12:58:57 -08:00
Timothy Clem
deb7ebadd2 🔥 blobOid too 2017-12-11 11:03:00 -08:00
Timothy Clem
ad377910f9 Completely remove blobKind 2017-12-11 10:54:18 -08:00
Timothy Clem
8ce213fc44 No longer need to track blobKind in Maybe 2017-12-11 10:51:52 -08:00
Timothy Clem
24d98ad71c Fix up tests 2017-12-10 08:46:17 -08:00
Rob Rix
cbd02eab7b Merge branch 'master' into musical-modules 2017-11-30 09:53:19 -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