2492 Commits

Author	SHA1	Message	Date
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	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
Rob Rix	7b9b1ecd2e	Generalize runCallGraph over the term type.	2019-10-18 13:54:46 -04:00
Rob Rix	2e8e65a13b	Rename VertexDeclaration to VertexDeclaration1.	2019-10-18 13:32:15 -04:00
Rob Rix	1a0943c5a0	Generalize withTermSpans.	2019-10-18 13:26:33 -04:00
Rob Rix	65e5db5d81	Avoid obscuring the specialization to Term.	2019-10-18 13:23:52 -04:00
Rob Rix	30b0f31020	Simplify VertexDeclaration to avoid the extra type parameter.	2019-10-18 13:18:02 -04:00
Rob Rix	055274fd78	🔥 Semantic.Util.Disabled.	2019-10-18 12:57:52 -04:00
Rob Rix	338df8935e	🔥 Semantic.REPL.	2019-10-18 12:57:26 -04:00
Rob Rix	7ab0695766	More queswish. ... Co-Authored-By: Patrick Thomson <patrickt@github.com>	2019-10-17 19:38:34 -04:00
Rob Rix	3d1732a061	Use the queswish operator. ... Co-Authored-By: Patrick Thomson <patrickt@github.com>	2019-10-17 19:37:58 -04:00
Rob Rix	d23e0a17ba	Reformat toChange/toError.	2019-10-17 02:50:13 -04:00
Rob Rix	eb2ee42c7e	Extract some helpers to the top level.	2019-10-17 02:49:30 -04:00
Rob Rix	ea20b4e980	Preserve the kind in TOCSummary as late as possible.	2019-10-17 02:46:57 -04:00
Rob Rix	5e3fd0e6d1	Reuse toMap.	2019-10-16 23:13:41 -04:00
Rob Rix	39a643c149	🔥 summaryKey.	2019-10-16 23:13:06 -04:00
Rob Rix	433288f715	Don’t bind separate variables for path/lang.	2019-10-16 23:12:27 -04:00
Rob Rix	a91fd4fd5a	Align.	2019-10-16 23:10:22 -04:00
Rob Rix	9ffddbd203	Reuse toFile.	2019-10-16 23:10:00 -04:00
Rob Rix	491d912c3e	Map instead of folding.	2019-10-16 23:08:54 -04:00
Rob Rix	e06187627f	Correct how we construct Summaries.	2019-10-16 23:08:36 -04:00
Rob Rix	9fc7b807e1	Split TOCSummary up into separate datatypes for valid and error summaries.	2019-10-16 23:02:16 -04:00
Rob Rix	4417506758	Build lists in the fold.	2019-10-16 22:55:47 -04:00
Rob Rix	3ef5943117	Don’t rebuild the whole message every step.	2019-10-16 22:46:01 -04:00
Rob Rix	7c6c677fda	Preserve the full Change in TOCSummary as late as possible.	2019-10-16 22:34:24 -04:00
Rob Rix	05e3944464	Rename the changeType field to change.	2019-10-16 22:25:02 -04:00
Rob Rix	bad94967a9	Rename the ErrorSummary fields.	2019-10-16 22:21:36 -04:00
Rob Rix	5d376b41a5	Rename the TOCSummary fields.	2019-10-16 22:19:58 -04:00
Rob Rix	fbf87d22c1	🔥 some redundant signatures.	2019-10-16 22:15:35 -04:00
Rob Rix	dc6782c6b4	🔥 LegacySummarizeDiff.	2019-10-16 22:13:59 -04:00
Rob Rix	7f959d1978	Define legacyDiffSummary using summarizeDiff.	2019-10-16 22:13:14 -04:00