github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity
23,421 Commits 19 Branches 16 Tags 46 MiB
1a09aae96a
Commit Graph

23421 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
c07b81f284 Define Object in the Ruby prelude. 2018-06-18 10:27:54 -04:00
Rob Rix
7cd3afb2ba Add a defineClass convenience. 2018-06-18 10:27:12 -04:00
Rob Rix
4b0d8c2cd3 Define puts in the Ruby prelude. 2018-06-18 09:58:39 -04:00
Rob Rix
2f64baee39 Note a FIXME for the TypeScript prelude. 2018-06-18 09:57:52 -04:00
Rob Rix
5bcc6271ec Define the Python prelude using our primitive DSL. 2018-06-18 09:56:47 -04:00
Rob Rix
4c4c8db3f8 Add a definePrelude method to Preluded. 2018-06-18 09:56:20 -04:00
Rob Rix
e10a689a91 Use define instead of builtin. 2018-06-18 09:51:46 -04:00
Rob Rix
5e4e586f2d Define a define helper for defining definitions. 2018-06-18 09:50:04 -04:00
Rick Winfrey
73cd692f80 Assign splices and quasi quotes 2018-06-15 17:30:31 -07:00
Rick Winfrey
0e8532a8e1 Bump haskell-tree-sitter 2018-06-15 16:38:59 -07:00
Patrick Thomson
659500551c Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 19:30:50 -04:00
Patrick Thomson
d92e64cbec Merge pull request #1970 from github/bump-effects 
Bump `effects` version.
 2018-06-15 19:15:38 -04:00
Rick Winfrey
79657e9069 Merge branch 'master' into haskell-assignment 2018-06-15 15:56:36 -07:00
Rick Winfrey
34d0eda732 Assign quasi quotations 2018-06-15 15:55:36 -07:00
Patrick Thomson
d79e021bd3 lints/warnings 2018-06-15 15:53:43 -04:00
Patrick Thomson
ea642a0f37 Fix import 2018-06-15 14:16:03 -04:00
Patrick Thomson
fc3d2cff30 Merge branch 'master' into bump-effects 2018-06-15 14:15:18 -04:00
Timothy Clem
14e03fb1d0 Merge pull request #1964 from github/telemetry-and-config 
Telemetry and config refactor
 2018-06-15 11:13:44 -07:00
Patrick Thomson
1e743ac4eb pass prelude-path in on the cmdline 2018-06-15 14:05:31 -04:00
Timothy Clem
0ddf994a81 Merge branch 'master' into telemetry-and-config 2018-06-15 10:40:06 -07:00
Timothy Clem
3657c0e524 Remove imports 2018-06-15 10:34:49 -07:00
Timothy Clem
23390f7789 Refactor Stats addr 2018-06-15 10:31:51 -07:00
Timothy Clem
21e3f69110 Just one defaultConfig 2018-06-15 10:17:02 -07:00
Rob Rix
d1d07a953b Merge pull request #1969 from github/semilattices 
Semilattices
 2018-06-15 13:11:09 -04:00
Timothy Clem
033a748ed7 Telemetry interface handles details of creating/closing async queues 2018-06-15 09:56:46 -07:00
Patrick Thomson
92b80690eb This means we can kill addPrelude, which is nice 2018-06-15 12:01:45 -04:00
Patrick Thomson
62d238df09 🔥 Preluded and make prelude paths simpler/explicit 
Preluded was overengineered anyway.
 2018-06-15 11:49:26 -04:00
Rob Rix
792cdcc5e2 Re-export Lower from SpecHelpers. 2018-06-15 11:41:38 -04:00
Rob Rix
ccbd880155 Re-export Lower in Prologue. 2018-06-15 11:41:15 -04:00
Rob Rix
da19e87b80 Depend on semilattices in the tests. 2018-06-15 11:40:26 -04:00
Rob Rix
bf06d928c9 Replace Data.Semilattice.Lower with semilattices. 2018-06-15 11:37:49 -04:00
Rob Rix
33064d0dbc Add semilattices as a submodule. 2018-06-15 11:36:58 -04:00
Patrick Thomson
22af1bb8e8 Merge branch 'bump-effects' into import-graph-mk2 2018-06-15 11:15:45 -04:00
Patrick Thomson
09ffcc0af1 Bump effects version. 2018-06-15 11:12:08 -04:00
Rob Rix
54ea58fd79 Move the proto3 packages down. 2018-06-15 11:06:26 -04:00
Rob Rix
430a4e1cfa 🔥 emptyEnv. 2018-06-15 11:05:19 -04:00
Rob Rix
148961ac4e Merge branch 'master' into telemetry-and-config 2018-06-15 10:47:34 -04:00
Rob Rix
4c46b951c7 Merge pull request #1966 from github/charliesome/remove-copies-in-declaration 
Remove value copies in Data.Syntax.Declaration
 2018-06-15 10:47:17 -04:00
Patrick Thomson
80aac54baa Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 10:01:51 -04:00
Rob Rix
116bbb99c4 Merge branch 'master' into telemetry-and-config 2018-06-15 09:32:27 -04:00
Rob Rix
c3acc0e1ff Merge branch 'master' into charliesome/remove-copies-in-declaration 2018-06-15 09:32:23 -04:00
Rob Rix
67700456d3 Merge pull request #1965 from github/assignment-api 
Assignment API tweaks, part one
 2018-06-15 09:31:41 -04:00
Rob Rix
02a9538f65 Merge branch 'master' into assignment-api 2018-06-15 09:03:37 -04:00
Charlie Somerville
b00423b043 pass through original address in If and Let 2018-06-15 13:07:36 +10:00
Charlie Somerville
89359de71d return original address rather than boxing a copy 2018-06-15 11:52:22 +10:00
Rob Rix
7053028647 Merge pull request #1963 from github/charliesome/array-address 
Store addresses in arrays and tuples rather than unboxed values
 2018-06-14 16:02:30 -04:00
Rob Rix
11d887fdd2 📝 toTerm. 2018-06-14 14:53:14 -04:00
Rob Rix
3ef04bb17c 📝 leafNode. 2018-06-14 14:51:55 -04:00
Rob Rix
480549dd46 📝 branchNode. 2018-06-14 14:51:48 -04:00
Rob Rix
be464d49e2 Rename a bunch of parameters. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-06-14 14:46:18 -04:00