github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
30,670 Commits 19 Branches 16 Tags 46 MiB
e4af857c5b
Commit Graph

25 Commits

Author SHA1 Message Date
Rob Rix
e4af857c5b
Rename Copy to Compare. 2019-10-17 22:44:57 -04:00
Rob Rix
64c4fed882
Rename replacing to comparing. 2019-10-17 22:18:48 -04:00
Rob Rix
c31972242a
Fix up the tests. 2019-10-17 19:31:46 -04:00
Rob Rix
9a7a6061af
s/EditScript/[Edit]. 2019-10-17 13:44:51 -04:00
Patrick Thomson
43e3fb4533 Remove unnecessary use of parallel. 2019-06-19 17:22:09 -04:00
Rick Winfrey
33a16ee1a2 Clean up unused imports 2018-11-30 16:23:43 -08:00
Rick Winfrey
b20e2d3f7e Export lists 2018-11-30 16:23:29 -08:00
Timothy Clem
a6ad3f7f59 Reduce usage of DiffAnnotation 2018-09-25 16:52:40 -05:00
Timothy Clem
278e6890cd Fix up the tests 2018-09-25 11:18:51 -05:00
Timothy Clem
a481f2ac2e TypeOperators required 2018-09-21 09:47:36 -07:00
Timothy Clem
dfe8c842ed Term doesn't need to know about Record 2018-09-21 09:42:24 -07:00
Rob Rix
926e32db29 More missing imports. 2018-07-20 10:04:34 -04:00
Patrick Thomson
1eed347da6 fix the specs 2018-06-29 16:17:27 -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
06047bc31f Unify them types. 2018-05-16 16:21:02 -04:00
Rob Rix
02947bf61e Fix the RWS spec. 2018-05-16 16:15:06 -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
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
Timothy Clem
a3d35ac9a0 WIP: Attempt to back out Identifiers as qualified names 2018-04-02 10:40:52 -07: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
2102ab41cf Rename Decorating to Analysis. 2017-11-27 14:32:13 -05:00
Rob Rix
8a3d34a1fc Rename the SES spec. 2017-11-27 13:51:05 -05:00
Rob Rix
266bd1199a Rename the RWS spec. 2017-11-27 13:48:43 -05:00