30915 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	52243cfb07	Merge pull request #348 from github/edit-these-patch ... Consolidate how we deal with diff inputs	2019-10-21 16:30:19 -04:00
Patrick Thomson	5f35d1ab35	Merge pull request #345 from github/function-define-thyself ... Use `rec` so functions can refer to themselves in their bodies.	2019-10-21 15:15:21 -04:00
Patrick Thomson	c8149c6bbd	Merge pull request #352 from github/cache-cow ... Build & test against 8.6.5 in CI & expire old compilers’ caches	2019-10-21 15:15:06 -04:00
Rob Rix	33b37985e5	Revert "Ditch old compiler versions." ... This reverts commit 3678d466a0.	2019-10-21 14:27:20 -04:00
Rob Rix	54bc348f57	Revert "Remove subdirectories of .cabal/store too." ... This reverts commit 61548d77e2.	2019-10-21 14:27:15 -04:00
Rob Rix	ab99033358	Revert "📝" ... This reverts commit 1dc87e9cb3.	2019-10-21 14:27:12 -04:00
Rob Rix	c1d90f73e7	Revert "Simplify the Bitraversable instance." ... This reverts commit 84a448ad4f.	2019-10-21 14:14:46 -04:00
Rob Rix	e2ea9a1ce8	Use v2-*.	2019-10-21 13:39:54 -04:00
Rob Rix	1dc87e9cb3	📝	2019-10-21 13:39:11 -04:00
Rob Rix	61548d77e2	Remove subdirectories of .cabal/store too.	2019-10-21 13:39:06 -04:00
Rob Rix	3678d466a0	Ditch old compiler versions.	2019-10-21 13:36:09 -04:00
Rob Rix	32c1c79022	Bump the tested-with version to 8.6.5 for semantic & semantic-python.	2019-10-21 13:31:06 -04:00
Rob Rix	d4fe4cedff	Add a tested-with field to semantic-ast.	2019-10-21 13:30:57 -04:00
Rob Rix	5074931cee	Use 8.6.5 in CI.	2019-10-21 13:30:47 -04:00
Rob Rix	7ae14819c9	🔥 a redundant import.	2019-10-21 13:19:27 -04:00
Patrick Thomson	ecaa5a1671	Combine lets.	2019-10-21 12:41:45 -04:00
Patrick Thomson	cbda7cf344	Merge remote-tracking branch 'origin/master' into function-define-thyself	2019-10-21 12:35:35 -04:00
Rob Rix	5df2222a15	Merge branch 'master' into edit-these-patch	2019-10-21 12:03:22 -04:00
Rob Rix	5da3a1183b	Correct stale references to patch.	2019-10-21 12:03:07 -04:00
Rob Rix	50d2c4520d	Merge pull request #349 from github/abstract-analysis-parsing ... Abstract analysis parsing	2019-10-21 11:54:12 -04:00
Rob Rix	559e2e0c59	Fix a missed rename.	2019-10-21 11:42:55 -04:00
Rob Rix	535c06d193	🔥 a redundant import.	2019-10-18 18:16:10 -04:00
Rob Rix	888a48e220	Undo some redundant changes.	2019-10-18 18:15:55 -04:00
Rob Rix	1b0d2f8758	Merge branch 'master' into abstract-analysis-parsing	2019-10-18 18:07:45 -04:00
Rob Rix	9e20fc889e	Merge branch 'master' into edit-these-patch	2019-10-18 18:06:57 -04:00
Rob Rix	cc2df9de19	Merge pull request #347 from github/join-these-blobs-with-this-one-weird-trick ... Compute ToCs over precise ASTs	2019-10-18 18:05:25 -04:00
Rob Rix	54c6948e44	Queswish! ... Co-Authored-By: Patrick Thomson <patrickt@github.com>	2019-10-18 17:38:02 -04:00
Rob Rix	4429055323	🔥 SomeAnalysisParser.	2019-10-18 15:18:14 -04:00
Rob Rix	9e3e383493	Use SomeParser instead of SomeAnalysisParser.	2019-10-18 15:16:17 -04:00
Rob Rix	04b922c014	Factor the language reification out of SomeAnalysisParser.	2019-10-18 15:13:37 -04:00
Rob Rix	a350eda24d	Don’t bind a variable for the parse function.	2019-10-18 15:05:42 -04:00
Rob Rix	e0115a8579	🔥 a kind signature.	2019-10-18 15:02:19 -04:00
Rob Rix	3dcc0de5b2	Facror the common part of runGraph out.	2019-10-18 15:00:41 -04:00
Rob Rix	3b2bda990f	Only bind the parser once.	2019-10-18 14:58:37 -04:00
Rob Rix	e7bca7c62a	Type applications.	2019-10-18 14:51:36 -04:00
Rob Rix	e0507e1323	🔥 EvalTerm.	2019-10-18 14:49:29 -04:00
Rob Rix	ddb708840f	Move a bunch of assumptions to EvalTerm.	2019-10-18 14:47:00 -04:00
Rob Rix	298d584c29	Define a single instance of AnalyzeTerm.	2019-10-18 14:39:22 -04:00
Rob Rix	bef3ca1ed8	Generalize EvalTerm to * -> *.	2019-10-18 14:37:55 -04:00
Rob Rix	70f33d45ef	Generalize everything over AnalyzeTerm.	2019-10-18 14:35:29 -04:00
Rob Rix	f9f6801b0d	🔥 AnalysisClasses.	2019-10-18 14:35:16 -04:00
Rob Rix	d83a19f703	Define an AnalyzeTerm instance for Quieterm.	2019-10-18 14:34:46 -04:00
Rob Rix	a6cce41d76	Define a VertexDeclaration instance for Quieterm.	2019-10-18 14:34:38 -04:00
Rob Rix	4d9043a8da	Sort the context.	2019-10-18 14:31:03 -04:00
Rob Rix	42a0ef63d2	Generalize SomeAnalysisParser over the term type.	2019-10-18 14:22:57 -04:00
Rob Rix	c32bcc884f	Define an AnalyzeTerm instance.	2019-10-18 14:22:42 -04:00
Rob Rix	2b000639b3	🔥 evaluateTerm.	2019-10-18 14:22:01 -04:00
Rob Rix	d9b78fae6b	Abstract evalTerm over a class.	2019-10-18 14:15:01 -04:00
Rob Rix	731173fc48	Define a class of terms that can be analyzed.	2019-10-18 14:08:50 -04:00
Rob Rix	95abbb3ce1	Generalize parsePythonPackage over the term type.	2019-10-18 13:56:32 -04:00