1
1
mirror of https://github.com/github/semantic.git synced 2024-11-27 12:57:49 +03:00
Commit Graph

23325 Commits

Author SHA1 Message Date
Rob Rix
e3ae8cae89 Blacklist unsafePerformIO & unsafeCoerce by default. 2018-06-19 09:15:07 -04:00
Rob Rix
4099b3ec4d Tell hlint about our language extensions. 2018-06-19 09:14:55 -04:00
Rob Rix
9d6c0f16a2 Stub in an hlint config file. 2018-06-19 09:14:46 -04:00
Rob Rix
910a02e931 Placate hlint. 2018-06-19 08:53:15 -04:00
Rob Rix
d914385b2a Add hints to avoid redundant uses of pure. 2018-06-19 08:36:00 -04:00
Timothy Clem
88499cb0ae Merge pull request #1975 from github/no-more-tags-output
🔥 the --tags output and associated code
2018-06-18 14:15:34 -07:00
Timothy Clem
4dce543e6d Merge branch 'master' into no-more-tags-output 2018-06-18 14:11:44 -07:00
Timothy Clem
a2aeec581b Merge pull request #1973 from github/define-preludes-as-builtins
Define preludes as builtins
2018-06-18 14:11:33 -07:00
Timothy Clem
9fe2fab276 Merge branch 'master' into define-preludes-as-builtins 2018-06-18 13:58:50 -07:00
Timothy Clem
51aa65eff9 Merge pull request #1974 from github/telemetry-errors-in-specs
Suppress telemetry errors in specs.
2018-06-18 13:55:09 -07:00
Timothy Clem
3656c04474 Fix up linter issues 2018-06-18 13:53:30 -07:00
Timothy Clem
628bdb5acd No longer used 2018-06-18 13:45:49 -07:00
Timothy Clem
0893027f11 Merge branch 'master' into no-more-tags-output 2018-06-18 13:39:23 -07:00
Timothy Clem
2b29ceff56 Merge branch 'master' into telemetry-errors-in-specs 2018-06-18 13:39:19 -07:00
Timothy Clem
461d5d39f4 Merge branch 'master' into define-preludes-as-builtins 2018-06-18 13:35:02 -07:00
Timothy Clem
2aeb25f3bb Merge pull request #1976 from github/tree-sitter-0.12.0
++ haskell-tree-sitter (tree-sitter 0.12.0)
2018-06-18 13:34:29 -07:00
Timothy Clem
c878ead305 ++ haskell-tree-sitter (tree-sitter 0.12.0) 2018-06-18 13:00:59 -07:00
Rob Rix
90f025c2a2 Select the JS prelude in Util. 2018-06-18 15:20:10 -04:00
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
Timothy Clem
039d43e523 🔥 the --tags output and associated code 2018-06-18 11:36:31 -07:00
Patrick Thomson
5c131b26f3 Suppress telemetry errors in specs.
There are some cases (such as testing diffing a tree with one that has
syntax errors) where semantic, by default, will emit a lot of noise to
stderr. This clogs up the test output and led me (at one point) to
think I had introduced failures that were there all along.

The fix is simple: set the LogLevel to nothing and use runTaskWithOptions.
2018-06-18 14:33:26 -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