github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity
23,305 Commits 19 Branches 16 Tags 46 MiB
e1f6a423c9
Commit Graph

23305 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
e1f6a423c9 Allow the use of a separate JS prelude. 2018-06-18 15:19:39 -04:00
Rob Rix
c4b25097a4 Define a HasPrelude instance for JavaScript. 2018-06-18 15:19:11 -04:00
Rob Rix
793032f420 🔥 the preludes. 2018-06-18 11:12:49 -04:00
Rob Rix
c36b04fd17 Re-export Proxy from SpecHelpers. 2018-06-18 11:11:22 -04:00
Rob Rix
2ad49b314f Update the specs. 2018-06-18 11:10:44 -04:00
Rob Rix
d39171e9d7 Determine Preludes from the language. 2018-06-18 11:09:01 -04:00
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
Patrick Thomson
d92e64cbec Merge pull request #1970 from github/bump-effects 
Bump `effects` version.
 2018-06-15 19:15:38 -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
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
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
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
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
Rob Rix
4206f1c183 🔥 the HasCallStack constraint. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-06-14 14:42:15 -04:00
Rob Rix
a29c0dd9be Redefine module' using toTerm/branchNode. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-06-14 14:41:46 -04:00
Rob Rix
177be87acc Redefine boolean using toTerm/branchNode/leafNode. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-06-14 14:40:53 -04:00
Rob Rix
470a99df3b Define a branchNode combinator. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-06-14 14:39:42 -04:00
Rob Rix
ea0575b0b3 Define a leafNode combinator. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-06-14 14:39:12 -04:00