56 Commits

Author	SHA1	Message	Date
Rob Rix	2ea6a6c4ea	Tweak everything’s bounds.	2020-07-14 14:25:24 -04:00
Rob Rix	e5c1915b10	Merge branch 'bazel-experiments' into distributive-algebras	2020-07-08 13:43:04 -04:00
Patrick Thomson	17bc8abd41	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-07-08 13:37:26 -04:00
Rob Rix	ef3c8ee430	Bump to fused-effects 1.1.	2020-07-08 11:11:30 -04:00
Patrick Thomson	bb7881f0b3	tag specs are still problemati	2020-07-01 21:25:51 -04:00
Timothy Clem	67bcc3ca48	Use state to cache line and counting algorithms	2020-07-01 16:39:56 -07:00
Patrick Thomson	0e0b897b2e	First few rounds of shimming.	2020-07-01 15:05:21 -04:00
Patrick Thomson	3f6e85f73d	Start shimming over the runfiles differences.	2020-07-01 14:59:40 -04:00
Patrick Thomson	feb0e46de8	No need to walk directories here.	2020-07-01 13:31:59 -04:00
Patrick Thomson	6d390195e3	Fix bad hacks associated with directory paths.	2020-07-01 13:00:15 -04:00
Patrick Thomson	b034378ac2	rename the flags and condense around compilation_mode	2020-07-01 00:35:09 -04:00
Patrick Thomson	20ac0523e3	Enable all the other tests.	2020-06-30 23:59:18 -04:00
Patrick Thomson	cd5fe18219	Pin to the tree-sitter-ql used in the latest Hackage package.	2020-06-30 11:17:47 -04:00
Patrick Thomson	dbce051436	simplifying target layouts.	2020-06-27 12:47:04 -04:00
Patrick Thomson	76e0bf2700	update codeql	2020-06-26 13:39:04 -04:00
Patrick Thomson	9116c58a56	Stop vendoring node-types.json directly and download them w/ Bazel. ... Also enables semantic-rust.	2020-06-26 13:07:24 -04:00
Timothy Clem	e591457a4c	Rework tagging to compute LSP offsets ... Also updates how we generate the line of source code for display	2020-06-25 14:38:33 -07:00
Patrick Thomson	96f6f39cbf	The node-types paths are no longer hardcoded to my system 🎉	2020-06-25 10:14:54 -04:00
Patrick Thomson	6c3a08c735	save a ton of code	2020-06-25 08:56:09 -04:00
Patrick Thomson	cac967e87f	Create a macro to define language packages quickly.	2020-06-24 22:16:58 -04:00
Patrick Thomson	3aecbcc98a	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-06-23 11:03:39 -04:00
Patrick Thomson	801ef3bfc3	use the same GHC warnings everywhere	2020-06-23 09:45:10 -04:00
Patrick Thomson	16ae3ffb9f	add dependencies on node-types files	2020-06-10 12:08:45 -04:00
Patrick Thomson	ed07e1c319	getting closer	2020-06-09 14:56:19 -04:00
Patrick Thomson	b208bb91ad	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-06-09 14:35:24 -04:00
Patrick Thomson	7dabd34d82	almost working	2020-06-09 14:31:29 -04:00
Patrick Thomson	b51a27118f	add more of the bazel subprojects	2020-06-09 13:52:39 -04:00
Ayman Nadeem	6107f56012	Merge branch 'master' into codegen-cleanup	2020-06-08 13:42:45 -04:00
Timothy Clem	2e44d43452	Generate Def/Ref at moment of tagging	2020-06-04 10:39:15 -07:00
Timothy Clem	38a7158b20	Move the rest of the languages over to generated datatypes	2020-06-04 09:53:17 -07:00
Timothy Clem	1de1ba7fe3	Move codeql over to proto driven datatypes	2020-06-04 09:35:25 -07:00
Ayman Nadeem	7b0e418e29	fix incomplete warnings for CodeQL	2020-06-01 17:53:26 -04:00
Ayman Nadeem	8014bb7596	replace AST.Test with AST.TestHelpers	2020-05-20 14:39:47 -04:00
Ayman Nadeem	d00c95e9f5	hushing more warnings	2020-05-18 19:05:18 -04:00
Ayman Nadeem	5b88f2e0fe	update all CodeQL instances with Parse.Err	2020-05-11 10:39:04 -04:00
Ayman Nadeem	7700575a58	revert Language.LANGUAGE files to original state	2020-05-07 11:42:12 -04:00
Ayman Nadeem	2f6f950edf	Merge branch 'master' into codegen-cleanup	2020-04-30 13:14:10 -04:00
Ayman Nadeem	d1e4d4f658	parameterize CodeQL with Err	2020-04-29 13:55:10 -04:00
Ayman Nadeem	cdcafd612e	add QuantifiedConstraints extension to AST modules for each supported lang	2020-04-28 13:50:24 -04:00
Ayman Nadeem	7c6718cb88	add KindSignatures, StandaloneDeriving and TypeOperators to all Language.LANG.AST files	2020-04-28 11:07:08 -04:00
Timothy Clem	96af592d9d	Fix Loc for CodeQL tags	2020-04-27 13:19:45 -07:00
Rick Winfrey	497a1ffc80	Remove duplicate instance	2020-04-06 17:58:13 -07:00
Rick Winfrey	439e96feea	ABC instances	2020-04-06 17:25:57 -07:00
Patrick Thomson	608953cb6f	Merge pull request #529 from github/tag-types ... Introduce Type data constructor for Kind	2020-04-06 14:09:32 -04:00
Rick Winfrey	b80c125e26	Remove unnecessary var	2020-04-02 16:01:03 -07:00
Rick Winfrey	9d16ef5b77	Extact TypeExpr as kind Type	2020-04-02 15:38:16 -07:00
Rick Winfrey	3a1958516b	Tag QualifiedRhs for additional references	2020-04-02 14:43:00 -07:00
Rick Winfrey	2a93e01db8	This is not needed for tagging	2020-04-02 14:42:39 -07:00
Rick Winfrey	e5a1392924	Remove semantic-codeql CHANGELOG	2020-04-01 09:36:14 -07:00
Rick Winfrey	de9665873f	Add ClasslessPredicateCall ToTags instance	2020-03-31 11:28:30 -07:00