1
1
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Commit Graph

541 Commits

Author SHA1 Message Date
Rob Rix
81fe05d716 Remove our proto3-* submodules. 2018-06-19 10:35:47 -04:00
Rob Rix
4988326114 Bump grpc-haskell for proto3-* as submodules. 2018-06-19 10:34:21 -04:00
Rob Rix
9440cb2746 Bump grpc-haskell to https://github.com/joshvera/gRPC-haskell/pull/7. 2018-06-19 10:32:03 -04:00
joshvera
30f8c20812 ++proto3-suite 2018-06-18 17:07:53 -04:00
joshvera
7779ecde0e ++proto3-suite pin to roundtrip-helpers 2018-06-18 16:59:09 -04:00
joshvera
02c4176933 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-18 16:57:54 -04:00
Timothy Clem
c878ead305 ++ haskell-tree-sitter (tree-sitter 0.12.0) 2018-06-18 13:00:59 -07:00
Timothy Clem
8f7990048e ++proto3-suite needed for new auto derived instances 2018-06-18 08:40:17 -07:00
Timothy Clem
92c1394098 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-15 14:33:18 -07:00
Patrick Thomson
fc3d2cff30 Merge branch 'master' into bump-effects 2018-06-15 14:15:18 -04:00
Rob Rix
33064d0dbc Add semilattices as a submodule. 2018-06-15 11:36:58 -04:00
Patrick Thomson
09ffcc0af1 Bump effects version. 2018-06-15 11:12:08 -04:00
Timothy Clem
63fbd49964 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-14 12:56:37 -07:00
Rob Rix
db1fd87cef Bump effects to master. 2018-06-13 16:52:18 -04:00
Rob Rix
31893e6ced Bump effects for https://github.com/joshvera/effects/pull/54.
This requires us to specify the lists of effects fully.
2018-06-13 16:35:56 -04:00
Rob Rix
9ba7851520 Bump effects for role annotations. 2018-06-13 12:51:40 -04:00
Rob Rix
7d02806e8b Bumpity bump. 2018-06-13 12:40:13 -04:00
Rob Rix
7fbbdc1941 Bump effects. 2018-06-13 12:35:53 -04:00
Rob Rix
189a3d9c41 Bump effects to rename handle & handleStateful. 2018-06-13 11:18:14 -04:00
Rob Rix
59c3caa07b Bump effects for higher-order-effects. 2018-06-12 15:25:47 -04:00
joshvera
1163067f15 ++proto3-suite 2018-06-11 19:29:04 -04:00
Rick Winfrey
336cf2d4f3 Bump haskell-tree-sitter 2018-06-11 15:04:04 -07:00
joshvera
1a49b3e197 ++proto3-suite 2018-06-11 17:11:35 -04:00
Rick Winfrey
9a76a2ea24 Bump haskell-tree-sitter 2018-06-08 11:02:24 -07:00
Rick Winfrey
b9d7f5fe46 Bump haskell-tree-sitter 2018-06-07 11:21:02 -07:00
joshvera
99ce0482e7 Merge origin/master into grpc-trees 2018-06-06 13:02:44 -04:00
joshvera
46a2a87a80 ++grpc-haskell 2018-06-01 16:53:35 -04:00
Ayman Nadeem
ff049a5dd2 ++haskell-tree-sitter for new tree-sitter-java 2018-06-01 10:36:45 -07:00
Ayman Nadeem
83a6616e9a back to master for vendor/fastsum 2018-06-01 10:22:08 -07:00
Ayman Nadeem
5d484b9ed6 back to master for vendor/effect (2) 2018-06-01 10:20:32 -07:00
Ayman Nadeem
18a5a8482b set back to master 2018-06-01 10:14:54 -07:00
Ayman Nadeem
4641bf38a8 set back to master 2018-06-01 10:14:07 -07:00
joshvera
2d0ebb21dc ++proto3-suite 2018-06-01 12:48:02 -04:00
Ayman Nadeem
57c5bef02a bumped haskell-tree-sitter 2018-06-01 09:47:59 -07:00
joshvera
3d3f10e308 ++proto3-suite 2018-05-31 18:44:17 -04:00
Ayman Nadeem
e030824d52 fix conflicts with new haskell additions 2018-05-31 15:32:10 -07:00
joshvera
885768a89c ++proto3-suite 2018-05-31 16:33:11 -04:00
joshvera
497c812d7f ++proto3-suite 2018-05-31 12:30:39 -04:00
joshvera
bde3400f28 ++proto3-suite 2018-05-31 11:23:02 -04:00
joshvera
3701493deb ++proto3 2018-05-30 17:41:48 -04:00
joshvera
fab1c4011c ++proto3-wire and proto3-suite 2018-05-30 17:00:05 -04:00
joshvera
9393a000f0 ++proto3-suite 2018-05-30 15:07:31 -04:00
joshvera
e82b90fba2 Use Named1 instance 2018-05-30 14:48:31 -04:00
joshvera
8d802f07df Merge remote-tracking branch 'origin/master' into protobuf-instances 2018-05-30 13:43:03 -04:00
joshvera
91dc71c3de ++proto3-suite for :+: GenericMessage instance 2018-05-30 13:03:09 -04:00
joshvera
a28a4c15f6 Add semantic-types.proto and bump proto3-suite 2018-05-30 11:20:02 -04:00
joshvera
634af7e886 ++proto3-suite 2018-05-29 15:13:57 -04:00
Rob Rix
09a5fdd059 Bump effects to 🔥 Members. 2018-05-29 12:12:34 -04:00
joshvera
2410589fb6 ++proto3-suite 2018-05-25 19:00:37 -04:00
joshvera
8c933df67d ++proto3-suite 2018-05-25 18:28:45 -04:00
joshvera
9a7d9a4abf ++proto3-suite 2018-05-25 12:39:22 -04:00
joshvera
a921d5a279 ++fastsum 2018-05-25 12:38:15 -04:00
joshvera
80cf96ecbf Use aeson 1.3 and bump proto3-suite 2018-05-24 17:33:25 -04:00
joshvera
0b01255884 Add the proto3-suite and proto3-wire repos back as submodules; 2018-05-24 12:54:17 -04:00
Rick Winfrey
a11fa704f9 Bump haskell-tree-sitter
- Adds tree-sitter-haskell bindings
2018-05-23 09:44:58 -07:00
Patrick Thomson
3eb550ac62 Merge branch 'add-parsing-timeout' of github.com:github/semantic into add-parsing-timeout 2018-05-22 16:37:33 -04:00
Patrick Thomson
124866bc95 Move haskell-tree-sitter to master 2018-05-22 16:36:37 -04:00
Josh Vera
28925f8e92 Merge branch 'master' into add-parsing-timeout 2018-05-22 13:30:48 -04:00
joshvera
dba4cf5aa4 Merge remote-tracking branch 'origin/master' into grpc-next-queues 2018-05-22 13:18:22 -04:00
joshvera
13ea1e58ff ++grpc-haskell 2018-05-22 13:01:16 -04:00
Josh Vera
df7f14fb04 Merge branch 'master' into grpc-server 2018-05-22 12:53:04 -04:00
Patrick Thomson
234e0bbc99 Add infrastructure for testing cancellation. 2018-05-22 11:17:04 -04:00
Patrick Thomson
d1618fe94d Add what seems like correctly-working timeout functionality. 2018-05-22 11:01:23 -04:00
joshvera
dd35fc46cb ++grpc-haskell for https urls 2018-05-21 18:43:32 -04:00
joshvera
4c1c05ee04 Revert "Add proto3-suite and proto3-wire as submodules"
This reverts commit 8beef798017162242a6a937c307b87db9a01800e.
2018-05-21 18:38:17 -04:00
joshvera
ab18fe05d1 ++grpc-haskell 2018-05-21 18:38:07 -04:00
joshvera
004a1db35e Add proto3-suite and proto3-wire as submodules 2018-05-21 18:38:07 -04:00
Max Brunsfeld
1023097082 Update to use the new Tree-sitter API
Co-Authored-By: Rick Winfrey <rewinfrey@github.com>
2018-05-21 12:57:24 -07:00
joshvera
7c6a2c650e ++grpc-haskell 2018-05-21 15:45:22 -04:00
joshvera
c2100b4b4c Merge remote-tracking branch 'origin/grpc-server' into grpc-next-queues 2018-05-21 15:44:50 -04:00
joshvera
378dad0d69 Merge remote-tracking branch 'origin/master' into grpc-server 2018-05-21 12:33:22 -04:00
joshvera
9bcd57959a ++grpc-haskell 2018-05-21 11:45:44 -04:00
joshvera
f6c84f424f ++grpc-haskell 2018-05-20 21:21:28 -04:00
joshvera
8cdd81dbfd ++grpc-haskell 2018-05-19 17:33:25 -04:00
joshvera
8156ea1334 Bump proto3-suite for asyncServerLoop generation and grpc-haskell 2018-05-17 20:39:05 -04:00
joshvera
59a72be813 ++grpc-haskell for next-queues 2018-05-17 19:15:16 -04:00
Ayman Nadeem
8aad81b775 Merge branch 'master' into java-assignment 2018-05-17 10:42:00 -07:00
Patrick Thomson
322f348103 inj -> inject 2018-05-16 18:25:02 -04:00
Patrick Thomson
ffb87d6fcd update 2018-05-16 17:56:57 -04:00
Rob Rix
ce4fcb213f Bump fastsum for better hashes. 2018-05-16 16:12:08 -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
999df25d89 Bump fastsum for Hashable/Hashable1 instances. 2018-05-16 14:29:49 -04:00
joshvera
efafd0d494 ++grpc-haskell 2018-05-16 10:57:15 -04:00
Timothy Clem
41f230a46a ++tree-sitter-ruby for infinite loop fix 2018-05-15 08:17:48 -07:00
joshvera
6449801b77 ++grpc-haskell 2018-05-14 16:54:31 -04:00
joshvera
9e2b7725a6 Merge origin/master 2018-05-11 16:37:04 -04:00
Rob Rix
2abfd92678 Bump effects for https://github.com/joshvera/effects/pull/43 2018-05-10 18:27:10 -04:00
Patrick Thomson
b6f8853d5b Add the fastsum package as a dependency. 2018-05-02 15:59:22 -04:00
Rob Rix
ebc8e01cc4 Use our own local definition of Sum. 2018-05-02 12:00:15 -04:00
Ayman Nadeem
a53b43fb50 modify methodBody so it is valid without a block 2018-05-01 16:29:57 -07:00
Ayman Nadeem
b1c05d6755 Merge remote-tracking branch 'origin/master' into java-assignment 2018-05-01 10:57:21 -07:00
Ayman Nadeem
662e6b5bba bump tree-sitter-java 2018-05-01 10:45:20 -07:00
Rob Rix
9b7079c9eb Bump effects for https://github.com/joshvera/effects/pull/34 2018-04-25 10:40:20 -04:00
Rob Rix
86ef19bbb0 Bump effects to master. 2018-04-25 09:52:44 -04:00
Rob Rix
dabca7feea Bump effects for https://github.com/joshvera/effects/pull/33 2018-04-25 09:44:22 -04:00
Patrick Thomson
189da4098f Bump joshvera/effects to 0.3.0.1.
There is a slight (roughly 12%) build-time regression associated withh
this for standard stack builds. The difference is negligible if you
compile with --fast.
2018-04-19 13:36:41 -04:00
Ayman Nadeem
759181c3a7 assignments for enum, if, block, while, doWhile, switch, break, continue, throw, try-catch 2018-04-17 16:45:51 -07:00
Timothy Clem
23db5fc9a6 ++haskell-tree-sitter 2018-04-16 16:52:43 -07:00
Ayman Nadeem
65b0afa477 Merge remote-tracking branch 'origin/master' into java-assignment 2018-04-10 14:06:07 -07:00
Ayman Nadeem
dde7369479 bump haskell tree-sitter 2018-04-10 14:04:46 -07:00
Timothy Clem
b81203d140 ++tree-sitter-ruby for binary/unary fix 2018-04-10 11:31:25 -07:00
Timothy Clem
458a6076cd ++tree-sitter-ruby for block hash fix 2018-04-10 07:44:43 -07:00
Rick Winfrey
a56763cb4e bump haskell-tree-sitter 2018-04-06 12:06:07 -07:00
Josh Vera
4c55fa7dc3 Merge branch 'master' into task-in-eff 2018-04-05 17:26:35 -04:00
Timothy Clem
9690b03d96 ++tree-sitter ruby for heredoc and reserved keyword hash iden fixes 2018-04-05 10:11:04 -07:00
Rob Rix
113bbd1ed9 Merge branch 'master' into task-in-eff 2018-04-04 15:05:28 -04:00
Rob Rix
a3bddc55be Bump effects to master. 2018-04-04 15:05:10 -04:00
Rob Rix
847da9534b Bump effects for MonadIO, interpret, &c. 2018-04-04 09:35:04 -04:00
Timothy Clem
869de12693 ++haskell-tree-sitter 2018-04-03 15:56:19 -07:00
Timothy Clem
3cf9e67ab7 Assign relative python imports, deal only with nonempty lists 2018-04-03 13:23:54 -07:00
Timothy Clem
eeca18bf7a ++haskell-tree-sitter for ts-python relative imports 2018-04-02 08:24:26 -07:00
Rick Winfrey
f9346d4c83 Bump haskell-tree-sitter to tree-sitter v 0.11 2018-03-30 12:31:14 -07:00
Rob Rix
541568e16f Bump effects to master. 2018-03-27 15:04:55 -04:00
Rob Rix
a9388ff118 Use a single combined State type. 2018-03-26 15:34:37 -04:00
joshvera
346d0a6c0c ++effects 2018-03-23 16:20:55 -04:00
joshvera
b66e651269 ++effects 2018-03-23 16:15:33 -04:00
joshvera
f048362095 Remove ghc-mod 2018-03-23 15:33:39 -04:00
joshvera
73a821f856 ++effects 2018-03-22 11:42:20 -04:00
joshvera
a8c9c815ef Rename NonDetEff to NonDet 2018-03-22 10:35:25 -04:00
joshvera
c5988bfe57 ++effects 2018-03-21 14:59:28 -04:00
joshvera
104e9f801f ++effects 2018-03-21 14:24:20 -04:00
Ayman Nadeem
17aee28de0 Update submodules 2018-03-16 14:58:09 -07:00
Ayman Nadeem
691da412b5 update haskell-tree-sitter with removed scanner.cc 2018-03-16 14:42:25 -07:00
Ayman Nadeem
0ba92894f3 get tree-sitter-java updates 2018-03-16 13:57:50 -07:00
Ayman Nadeem
a20b660940 checkout haskell-tree-sitter java 2018-03-16 11:49:06 -07:00
Ayman Nadeem
e497f463fa update submodule 2018-03-16 11:47:21 -07:00
Ayman Nadeem
60dcba7274 Bump tree-sitter 2018-03-15 15:38:39 -07:00
joshvera
6cf45f7a0b ++effects 2018-03-08 16:49:40 -05:00
Timothy Clem
04575d4a01 ++haskell-tree-sitter 2018-03-06 15:16:46 -08:00
joshvera
427ec2bdda ++proto3-suite 2018-03-02 13:39:25 -05:00
joshvera
17620cd0d2 ++grpc-haskell 2018-03-02 13:38:55 -05:00
joshvera
403ffe3ac5 Add proto3 repos as submodules 2018-03-02 13:07:09 -05:00
joshvera
9686e41c6e Add proto3-suite as a submodule 2018-03-01 17:39:51 -05:00
joshvera
39b8c122eb add grpc submodule 2018-03-01 17:04:21 -05:00
joshvera
e1135f56f9 Use localState with a proxy argument 2018-02-22 12:41:49 -05:00
joshvera
1826192c05 ++effects 2018-02-22 12:35:40 -05:00
joshvera
8d74b9a263 ++effect 2018-02-20 19:53:42 -05:00
joshvera
e1f955939e ++effects 2018-02-16 17:12:43 -05:00
joshvera
d296e97a49 ++effects 2018-02-16 17:12:12 -05:00
joshvera
eb02c9d179 Merge remote-tracking branch 'origin/master' into bump-effects 2018-02-16 17:11:20 -05:00
joshvera
cb6df90b07 ++haskell-tree-sitter 2018-02-16 16:26:49 -05:00
joshvera
37356a1675 ++haskell-tree-sitter 2018-02-16 15:47:24 -05:00
joshvera
188a83dcd2 ++effects 2018-02-16 13:18:51 -05:00
joshvera
9fa6d42945 ++tree-sitter-haskell 2018-02-14 15:33:38 -05:00
joshvera
31f4e87ac0 ++haskell-tree-sitter 2018-02-14 14:57:26 -05:00
joshvera
03814d25e8 ++haskell-tree-sitter 2018-02-14 11:20:22 -05:00
joshvera
d713c30958 ++haskell-tree-sitter 2018-02-06 12:22:35 -05:00
joshvera
dcbf62d252 ++haskell-tree-sitter 2018-02-06 11:43:28 -05:00
joshvera
20de09fafd ++haskell-tree-sitter 2018-02-05 17:43:34 -05:00
joshvera
e2740fd889 ++haskell-tree-sitter 2018-02-05 17:32:25 -05:00