github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 17:04:47 +03:00
Code Issues Projects Releases Wiki Activity
24,308 Commits 19 Branches 16 Tags 46 MiB
d0fc64e2df
Commit Graph

24308 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
50632bf99f Merge pull request #2009 from github/more-languages 
Add support for more languages
 2018-07-04 10:43:24 -04:00
Rob Rix
77178650bf Factor the common shape of running assignment out. 2018-07-04 10:28:09 -04:00
Rob Rix
c36f319a50 Merge branch 'master' into more-languages 2018-07-04 10:12:44 -04:00
Rob Rix
76de5a979c Merge pull request #2008 from github/error-correcting-json-assignment 
Error correcting JSON assignment
 2018-07-04 10:08:19 -04:00
Rob Rix
0b8ffe6339 Define an AbstractValue instance for Abstract. 2018-07-04 09:36:15 -04:00
Rob Rix
4f118789f0 Define an AbstractFunction instance for Abstract. 2018-07-04 09:30:48 -04:00
Rob Rix
4628187f39 Define an AbstractIntro instance for Abstract. 2018-07-04 09:30:38 -04:00
Rob Rix
a9ea68ac2a Define an AbstractHole instance for Abstract. 2018-07-04 09:24:17 -04:00
Rob Rix
1f383050d2 Define a ValueRoots instance for Abstract. 2018-07-04 09:23:25 -04:00
Rob Rix
96d63e2166 Derive some instances for Abstract. 2018-07-04 09:22:44 -04:00
Rob Rix
b685f593af Stub in an abstract value type. 2018-07-04 09:22:17 -04:00
Rob Rix
de7ac163d6 Stub in a module for abstract value semantics. 2018-07-04 09:21:51 -04:00
Charlie Somerville
b05e2bcac2 implement substitution in unification 2018-07-04 16:16:22 +10:00
Charlie Somerville
bebb6ebe6b add a type map to type checker and prune types in unification 2018-07-04 15:48:41 +10:00
Charlie Somerville
1bbca41294 remove unused runTypeErrorWith 2018-07-04 15:35:46 +10:00
Patrick Thomson
7d6195fe7d lints 2018-07-03 18:46:45 -04:00
Timothy Clem
8ef8e06f39 Merge pull request #2010 from github/grpc-testing-and-docs 
Proto formatting improvements and additional grpc docs
 2018-07-03 15:20:15 -07:00
Timothy Clem
a968f09072 ++grpc-haskell final linebreak improvement 2018-07-03 15:09:14 -07:00
Timothy Clem
d5fd8735ec Update licenses for wl-pprint 2018-07-03 15:08:26 -07:00
Timothy Clem
6c261b06fa Merge remote-tracking branch 'origin/more-languages' into grpc-testing-and-docs 2018-07-03 14:22:23 -07:00
Timothy Clem
9359d71bbc Re-generate proto files with new formatting 2018-07-03 14:21:58 -07:00
Timothy Clem
77ebc99a0c Canonical ordering 2018-07-03 14:21:46 -07:00
Timothy Clem
10735dbef4 ++grpc-haskell with proto formatting improvements 2018-07-03 14:21:28 -07:00
Patrick Thomson
cfefbefaa6 Remove the misleading Show instance for Environments. 2018-07-03 14:30:26 -04:00
Patrick Thomson
0ca991f0dd Fix terrible bug associated with environment comparisons being false 2018-07-03 14:29:47 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
Rob Rix
532d3a62e0 Correct some keys. 2018-07-03 13:48:04 -04:00
Rob Rix
8152d01c6a 🔥 redundant parens. 2018-07-03 13:47:07 -04:00
Timothy Clem
752e72d458 Merge remote-tracking branch 'origin/more-languages' into grpc-testing-and-docs 2018-07-03 10:40:17 -07:00
joshvera
bf4988adb9 Reduce duplication 2018-07-03 13:31:41 -04:00
Rob Rix
0478787df4 Merge branch 'master' into error-correcting-json-assignment 2018-07-03 13:28:28 -04:00
joshvera
267de9d896 Reduce duplication for hlint 2018-07-03 13:19:26 -04:00
joshvera
7eb207dace Merge remote-tracking branch 'origin/master' into more-languages 2018-07-03 12:34:26 -04:00
Josh Vera
40b0f51342 Merge pull request #1950 from github/grpc-trees 
Expose raw parse trees over gRPC
 2018-07-03 12:28:26 -04:00
joshvera
f1d5c0821e eta reduce 2018-07-03 12:08:00 -04:00
joshvera
3a32256b38 Fix imports tests 2018-07-03 11:57:42 -04:00
joshvera
cf6573a90b ++grpc-haskell 2018-07-03 11:50:49 -04:00
joshvera
4cc54ac7de Fix double quotes 2018-07-03 11:50:38 -04:00
joshvera
ca22bc031a Update codeanalysis 2018-07-03 11:33:12 -04:00
Rob Rix
7f77aa6242 Add callstacks into choose. 2018-07-03 11:06:17 -04:00
Rob Rix
e30a06cad2 Freeze the call stacks. 2018-07-03 11:06:07 -04:00
Timothy Clem
a86c979f07 Fix constructing ErrorStack 2018-07-03 07:49:56 -07:00
Rob Rix
636b22aa4e Link to the paper. 2018-07-03 10:49:56 -04:00
Rob Rix
986b92c184 Define a JSON AST parser. 2018-07-03 10:44:40 -04:00
Timothy Clem
5548767b22 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-07-03 07:40:06 -07:00
Rob Rix
f875b3a153 Merge branch 'master' into error-correcting-json-assignment 2018-07-03 10:38:06 -04:00
Timothy Clem
b54cd72466 Merge pull request #1900 from github/licensed-updates 
Update licensed integration
 2018-07-03 07:31:25 -07:00
Timothy Clem
b0c0620a51 Merge branch 'master' into licensed-updates 2018-07-03 07:22:40 -07:00
Rob Rix
713b390d65 Only recover superfluous symbol errors. 2018-07-03 09:57:30 -04:00
Rob Rix
6b5c78160e Recover from errors naïvely. 2018-07-03 09:54:42 -04:00