42 Commits

Author	SHA1	Message	Date
Rick Winfrey	26848902b9	Merge pull request #507 from github/precise-ql-tagging ... Precise AST CodeQL tagging	2020-04-01 11:55:46 -07:00
Patrick Thomson	bd67e8bf28	Depend on upstream fused-effects-readline. ... One fewer package we have to build is always a good thing.	2020-03-31 12:43:22 -04:00
Rick Winfrey	d55db8893a	Merge branch 'master' into precise-ql-tagging	2020-03-27 11:52:48 -07:00
Rick Winfrey	9a7ed9d294	Bump to semantic-source 0.1.0 ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-03-23 13:40:50 -07:00
Rick Winfrey	57a55e9c71	Bump lingo version	2020-03-19 17:43:58 -07:00
Patrick Thomson	d2bd643745	Start moving Blob around.	2020-02-11 13:18:10 -05:00
Patrick Thomson	f722cb0897	Move Data.Project to semantic-analysis. ... I need this for semantic-scope-graph so that each graph can have correct `ModuleInfo` fields. Straightforward.	2020-02-11 12:52:44 -05:00
Patrick Thomson	953473088d	Merge remote-tracking branch 'origin/master' into name-name-go-away	2020-01-28 15:07:05 -05:00
Patrick Thomson	9ecaeedcc3	Depend on newer semantic-source.	2020-01-28 12:42:42 -05:00
Patrick Thomson	2b25dddf73	Absolutely massive patch to eliminate Data.Blob.File.	2020-01-24 13:55:30 -05:00
Patrick Thomson	c3df825840	Move Data.Language to Analysis.Language.	2020-01-24 11:41:02 -05:00
Patrick Thomson	f8c8c7913f	Merge remote-tracking branch 'origin/master' into name-name-go-away	2020-01-17 15:31:24 -05:00
Patrick Thomson	8bf94b1125	Fix indentation.	2020-01-17 11:12:13 -05:00
Patrick Thomson	14c68c407d	Move what was Data.Name into Analysis.Name.	2020-01-17 10:57:35 -05:00
Patrick Thomson	ef01408518	Make everything work with Analysis.Functor.Named.	2020-01-17 10:41:08 -05:00
Timothy Clem	c0d8675d09	Use semantic-source 0.0.1	2020-01-16 12:57:24 -08:00
Rob Rix	f5efb6a497	🔥 Analysis.ScopeGraph.	2019-12-20 11:44:26 -05:00
Rob Rix	7c9c5f0dce	Declare the dependency on transformers.	2019-12-20 10:30:20 -05:00
Rob Rix	cc403afe27	🔥 Analysis.	2019-12-19 12:30:05 -05:00
Rob Rix	f85c31c127	Merge branch 'master' into analysis-effects	2019-12-19 10:54:29 -05:00
Patrick Thomson	1d9b5d29e6	Depend on it in semantic-analysis.	2019-12-18 11:23:19 -05:00
Rob Rix	667f894ec3	Merge branch 'ghcide-is-painless' into analysis-effects	2019-12-18 09:49:08 -05:00
Patrick Thomson	6bebd84deb	Officially require GHC 8.8.	2019-12-13 15:48:49 -05:00
Patrick Thomson	dc69714053	Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8	2019-12-13 11:23:36 -05:00
Rob Rix	34a0afbfba	Merge branch 'fused-effects-one-dot-zero' into analysis-effects	2019-12-12 12:53:27 -05:00
Patrick Thomson	68ab3cbb97	semantic:exe now compiles	2019-12-10 13:32:56 -05:00
Patrick Thomson	35ea116f00	Bump various FE dependencies from 0.5 to 1.0.	2019-11-07 15:48:57 -05:00
Rob Rix	903e73cba8	Stub in a module for the Domain effect.	2019-11-06 12:33:15 -05:00
Rob Rix	812a123d8a	Sort Name down.	2019-11-06 12:32:39 -05:00
Rob Rix	9f26a4c13e	Stub in a module for Name.	2019-11-05 11:11:39 -05:00
Rob Rix	4b0af27dde	Rename Domain to Intro.	2019-11-04 15:53:54 -05:00
Rob Rix	1098d95cd8	Stub in a module for modelling the concrete domain.	2019-11-04 14:20:56 -05:00
Rob Rix	aaa4f6585f	Stub in a module for a monovariant heap carrier.	2019-11-04 12:48:11 -05:00
Rob Rix	05de03e2e6	Stub in a module for a precise heap carrier.	2019-11-04 12:29:21 -05:00
Rob Rix	6359d96a7c	Stub in a module for the Heap effect.	2019-11-04 12:13:44 -05:00
Rob Rix	778f84bb12	Define a module for the monovariant Env carrier.	2019-11-01 15:13:15 -04:00
Rob Rix	d8955fdb20	Stub in a module for the precise Env carrier.	2019-11-01 15:00:03 -04:00
Rob Rix	131c804184	Stub in a module for the Env effect.	2019-11-01 14:56:43 -04:00
Rob Rix	7f39647c22	🔥 the redundant dependencies on directory & filepath.	2019-10-11 14:38:00 -04:00
Rob Rix	6d5583131d	🔥 semantic-analysis doctests.	2019-10-11 12:54:29 -04:00
Rob Rix	284c1ae4f8	Copy the Analysis.* and Control.* hierarchies into semantic-analysis.	2019-10-11 12:49:37 -04:00
Rob Rix	71a6331c7a	Stub in a package for analysis.	2019-10-11 12:42:49 -04:00