20285 Commits

Author	SHA1	Message	Date
Rob Rix	97b495c6d5	Revert "Generalize ValueError over the value type." ... This reverts commit 769e00f3f7.	2019-10-23 09:39:54 -04:00
Rob Rix	1aaad130a7	Revert "Dedent/align." ... This reverts commit f465b00f64.	2019-10-23 09:38:42 -04:00
Rob Rix	f465b00f64	Dedent/align.	2019-10-23 09:38:09 -04:00
Rob Rix	769e00f3f7	Generalize ValueError over the value type.	2019-10-23 09:33:01 -04:00
Rob Rix	296442b60b	Alignment.	2019-10-23 09:30:13 -04:00
Rob Rix	c36b400edd	Bring a few type variables out of scope.	2019-10-22 17:28:53 -04:00
Rob Rix	5580c8eb53	Merge branch 'abstract-a-la-carte-terms' into you-already-know-too-much	2019-10-22 16:31:57 -04:00
Rob Rix	f6910ca505	🔥 redundant extensions.	2019-10-22 16:29:12 -04:00
Rob Rix	b07f14c32e	Merge branch 'master' into abstract-a-la-carte-terms	2019-10-22 16:27:03 -04:00
Rob Rix	49fb4048e4	Eta-reduce ModuleResult.	2019-10-22 15:37:54 -04:00
Rob Rix	f3f9cb86e3	Run the analysis outside of runTask.	2019-10-22 15:34:12 -04:00
Rob Rix	47d1be5ff4	Align.	2019-10-22 15:16:05 -04:00
Rob Rix	aec82b3743	Define a Bifunctor instance for Value.	2019-10-22 15:14:19 -04:00
Rob Rix	2fdc6d17a8	🔥 TypeFamilies.	2019-10-22 15:09:24 -04:00
Rob Rix	8450c30100	🔥 a redundant identity function.	2019-10-22 15:09:02 -04:00
Rob Rix	f54bfd181e	🔥 the eval*Project functions.	2019-10-22 15:02:47 -04:00
Rob Rix	0d56ae08e4	Align.	2019-10-22 14:59:50 -04:00
Rob Rix	97d53044e9	Align the signatures and definitions.	2019-10-22 14:54:55 -04:00
Rob Rix	ba1bfc1560	Don’t use Quieterm.	2019-10-22 14:48:38 -04:00
Rob Rix	39b66b96d1	Get the span using HasSpan.	2019-10-22 14:48:27 -04:00
Patrick Thomson	260d5200cc	Merge remote-tracking branch 'origin/master' into pathtype-project-from-path	2019-10-22 14:22:32 -04:00
Patrick Thomson	1c885f3003	Merge pull request #354 from github/git-out ... Remove ability to load blobs/projects from Git repos.	2019-10-22 12:25:55 -04:00
Patrick Thomson	d6f43ccf73	Revert "Convert projectExcludeDirs to use AbsRelDir." ... This reverts commit 5585f8caeb.	2019-10-22 01:16:03 -04:00
Patrick Thomson	4e42379a2c	This auxiliary data type can die.	2019-10-21 19:55:38 -04:00
Patrick Thomson	17e2c5a28d	Fix last few warnings.	2019-10-21 19:52:34 -04:00
Patrick Thomson	5585f8caeb	Convert projectExcludeDirs to use AbsRelDir.	2019-10-21 18:06:40 -04:00
Rob Rix	51fd82c3b9	🔥 more redundant language extensions.	2019-10-21 18:02:09 -04:00
Rob Rix	ba5ec2af59	Turn off the CPP.	2019-10-21 18:00:54 -04:00
Rob Rix	a48eed8cdd	Select the language only once.	2019-10-21 17:58:08 -04:00
Rob Rix	69378874f9	Type applications.	2019-10-21 17:53:21 -04:00
Rob Rix	25b3d28aea	Rename the language imports.	2019-10-21 17:52:59 -04:00
Rob Rix	20334c683e	Abstract FileEvaluator over the error type.	2019-10-21 17:51:37 -04:00
Rob Rix	bb1a597db8	Abstract FileEvaluator over the term type.	2019-10-21 17:50:59 -04:00
Rob Rix	fe2cb8944e	Abstract FileEvaluator over the syntax type.	2019-10-21 17:50:30 -04:00
Patrick Thomson	43c783f93e	No scoped type variables necessary.	2019-10-21 17:49:33 -04:00
Patrick Thomson	2d5a7e7fbb	Comment and clarify.	2019-10-21 17:48:27 -04:00
Patrick Thomson	be61c98e66	First, tentative port of readProjectFromPaths.	2019-10-21 17:33:36 -04:00
Patrick Thomson	6c137e5add	Start rubbing some typed paths on readProjectFromPaths.	2019-10-21 17:01:08 -04:00
Patrick Thomson	65853549c1	Merge remote-tracking branch 'origin/master' into hlint-in-ci-again	2019-10-21 16:56:28 -04:00
Patrick Thomson	5cfde65db0	Remove Semantic.Git.	2019-10-21 16:48:37 -04:00
Patrick Thomson	4671732712	Unused imports.	2019-10-21 16:39:24 -04:00
Patrick Thomson	c5802304c2	Remove FromGitRepo and FilesFromGitRepo from Files DSL.	2019-10-21 16:37:15 -04:00
Patrick Thomson	927af0deb2	Remove Blob.IO.readBlobsFromGitRepo.	2019-10-21 16:37:00 -04:00
Patrick Thomson	9acb44abe4	Remove CLI parser for git repo stuff.	2019-10-21 16:36:42 -04:00
Patrick Thomson	025ccc713b	Remove otiose boolean check.	2019-10-21 15:04:51 -04:00
Rob Rix	16e309e397	Merge branch 'edit-these-patch' into abstract-a-la-carte-terms	2019-10-21 14:16:00 -04:00
Rob Rix	c1d90f73e7	Revert "Simplify the Bitraversable instance." ... This reverts commit 84a448ad4f.	2019-10-21 14:14:46 -04:00
Patrick Thomson	fd06ccf462	Address hlint suggestions in semantic.	2019-10-21 14:08:24 -04:00
Rob Rix	5df2222a15	Merge branch 'master' into edit-these-patch	2019-10-21 12:03:22 -04:00
Rob Rix	d3af1952c2	Revert "Define TypeScript.Term as a wrapper for Term." ... This reverts commit 80792e0ce2.	2019-10-21 11:40:15 -04:00
Rob Rix	80792e0ce2	Define TypeScript.Term as a wrapper for Term.	2019-10-21 11:37:26 -04:00
Rob Rix	c246ab640a	Combine the SummarizeTermsBy 'ALaCarte instances.	2019-10-21 11:23:05 -04:00
Rob Rix	294fea06af	Generalize HasDeclaration &c. over the term type.	2019-10-21 11:19:04 -04:00
Rob Rix	46f8b06b2e	Combine the precise instances of SummarizeTermsBy.	2019-10-21 11:11:29 -04:00
Rob Rix	d17e1cae99	Combine the ToTags instances.	2019-10-21 11:04:20 -04:00
Rob Rix	d0f06dfe99	Re-export IsTaggable.	2019-10-21 11:03:43 -04:00
Rob Rix	b81ce49f4b	🔥 ParseEffects.	2019-10-21 10:52:42 -04:00
Rob Rix	001fbdcadb	🔥 TypeOperators.	2019-10-21 10:49:46 -04:00
Rob Rix	5e33ca8a2c	Move TermMode to Parsing.Parser.	2019-10-21 10:49:23 -04:00
Rob Rix	542692896f	Rename the import of à la carte Python.	2019-10-21 10:47:37 -04:00
Rob Rix	5037b1fee0	Rename the import of precise Python.	2019-10-21 10:46:40 -04:00
Rob Rix	680026debb	Rename the import of JSON.	2019-10-21 10:46:17 -04:00
Rob Rix	766393847d	Rename the import of Java.	2019-10-21 10:46:09 -04:00
Rob Rix	0b00ed3c0a	Combine the JSONGraphTerm instances.	2019-10-21 10:43:57 -04:00
Rob Rix	6042094243	Alignment.	2019-10-21 10:40:26 -04:00
Rob Rix	7d921ed8c7	Combine the JSONTreeTerm instances.	2019-10-21 10:39:33 -04:00
Rob Rix	10d9e60e78	Derive ToJSON instances for all the term types.	2019-10-21 10:38:55 -04:00
Rob Rix	3bddb423d6	Combine the DOTGraphTerm instances.	2019-10-21 10:32:54 -04:00
Rob Rix	ce1e8c5a20	Combine the à la carte ShowTerm/SExprTerm instances.	2019-10-18 23:32:47 -04:00
Rob Rix	86a3d93e2a	🔥 toGraph.	2019-10-18 23:17:54 -04:00
Rob Rix	dbdfe2b996	Combine all the parsers.	2019-10-18 23:16:34 -04:00
Rob Rix	a812cd0979	Combine all the DOTGraphDiff instances.	2019-10-18 23:10:44 -04:00
Rob Rix	39e3ed3be0	Combine all the JSONTreeDiff instances.	2019-10-18 23:09:02 -04:00
Rob Rix	a124842b83	Combine all the JSONGraphDiff instances.	2019-10-18 23:07:10 -04:00
Rob Rix	200b7bcf99	Combine all the ShowDiff instances.	2019-10-18 23:04:16 -04:00
Rob Rix	cc60ad5b94	Combine all the SExprDiff instances.	2019-10-18 23:02:20 -04:00
Rob Rix	65fdc32db4	🔥 DiffFor.	2019-10-18 22:59:35 -04:00
Rob Rix	df71a6dff2	Define the ShowTerm instances directly.	2019-10-18 22:52:58 -04:00
Rob Rix	0220c9bacf	🔥 the Term-generic SExprTerm & DOTGraphTerm instances.	2019-10-18 22:51:38 -04:00
Rob Rix	661eb7f9c2	🔥 the Term-generic ToTags instance.	2019-10-18 22:51:20 -04:00
Rob Rix	356934ae25	🔥 the Term-generic diff instances.	2019-10-18 22:49:19 -04:00
Rob Rix	3f24403a93	Define the rest of the term types recursively.	2019-10-18 22:45:24 -04:00
Rob Rix	c9db56d4a5	Define Ruby.Term recursively.	2019-10-18 22:34:24 -04:00
Rob Rix	2cf145c40f	🔥 the custom Diff types.	2019-10-18 22:27:34 -04:00
Rob Rix	ac37f99aa7	🔥 obsolete docs.	2019-10-18 22:18:05 -04:00
Rob Rix	1527140ddc	Eliminate the type family dependency on DiffFor.	2019-10-18 22:17:20 -04:00
Rob Rix	b335cabbc9	Factor out the common parts of jsonGraphDiff.	2019-10-18 22:14:08 -04:00
Rob Rix	6efa94230c	Define TypeScript.Term recursively.	2019-10-18 22:00:26 -04:00
Rob Rix	1e19d1afcf	Fix up the TSX.Term instances.	2019-10-18 21:44:52 -04:00
Rob Rix	a26e2bc026	Revert "Eliminate any dependency on DiffTerms." ... This reverts commit bf7577860f.	2019-10-18 21:41:55 -04:00
Rob Rix	8da1b8877d	Revert "Revert "Define TSX.Term recursively."" ... This reverts commit 5b64b3819c.	2019-10-18 21:40:23 -04:00
Rob Rix	b8db72c103	Revert "Revert "Generalize tagging over the term type."" ... This reverts commit 3b71047934.	2019-10-18 21:38:39 -04:00
Rob Rix	fcbcd0b495	Revert "Revert "Generalize Taggable over the term type."" ... This reverts commit 7baf284f44.	2019-10-18 21:38:35 -04:00
Rob Rix	4d8a367c90	Revert "Revert "🔥 redundant language extensions."" ... This reverts commit 37dd98f1fe.	2019-10-18 21:38:29 -04:00
Rob Rix	08b61dac5d	Revert "Revert "Align."" ... This reverts commit 6b33b3e15f.	2019-10-18 21:38:22 -04:00
Rob Rix	6415c15a5d	Revert "Revert "Generalize decoratorWithAlgebra over the term type."" ... This reverts commit af0384d69d.	2019-10-18 21:38:16 -04:00
Rob Rix	0eeaeb348e	Revert "Revert "Generalize infixContext over the term type."" ... This reverts commit 54b357f741.	2019-10-18 21:38:14 -04:00
Rob Rix	0a7ca427ca	Revert "Revert "Generalize postContextualize over the term type."" ... This reverts commit 0aeb77616d.	2019-10-18 21:38:11 -04:00
Rob Rix	885b0924cf	Revert "Revert "Generalize postContextualizeThrough over the term type."" ... This reverts commit 151e37ebf8.	2019-10-18 21:38:09 -04:00
Rob Rix	878d551b5a	Revert "Revert "Generalize contextualize over the term type."" ... This reverts commit 3db3f1c490.	2019-10-18 21:38:06 -04:00
Rob Rix	cbf67368f9	Revert "Revert "Generalize parseError over the term type."" ... This reverts commit 0bb8039218.	2019-10-18 21:38:03 -04:00
Rob Rix	9dd5476e35	Revert "Revert "Generalize handleError over the term type."" ... This reverts commit f71505d209.	2019-10-18 21:38:01 -04:00
Rob Rix	c70b412caf	Revert "Revert "Generalize emptyTerm over the term type."" ... This reverts commit d9c408a2f5.	2019-10-18 21:37:58 -04:00
Rob Rix	7241323cea	Revert "Revert "Generalize makeTerm1 over the term type."" ... This reverts commit 7edac28207.	2019-10-18 21:37:55 -04:00
Rob Rix	e923c373d9	Revert "Revert "Generalize makeTerm1' over the term type."" ... This reverts commit 8273312a7f.	2019-10-18 21:37:53 -04:00
Rob Rix	051bfa2774	Revert "Revert "Generalize makeTerm'' over the term type."" ... This reverts commit 1701fefd77.	2019-10-18 21:37:50 -04:00
Rob Rix	2976949de4	Revert "Revert "Generalize makeTerm over the term type."" ... This reverts commit 2449f9a94c.	2019-10-18 21:37:47 -04:00
Rob Rix	b09f45efe0	Revert "Revert "Generalize makeTerm' over the term type."" ... This reverts commit e0013aa8a9.	2019-10-18 21:37:44 -04:00
Rob Rix	b8b98fb6d8	Revert "Revert "🔥 guardTerm."" ... This reverts commit 0723859f33.	2019-10-18 21:37:42 -04:00
Rob Rix	242a305016	Revert "Revert "Abstract term injection & projection."" ... This reverts commit d5abb0fa75.	2019-10-18 21:37:38 -04:00
Rob Rix	1ebe2c3f6a	Revert "Revert "Give simpler primitives for IsTerm."" ... This reverts commit 9648b05ebd.	2019-10-18 21:37:36 -04:00
Rob Rix	9687d690a1	Revert "Revert "🔥 redundant quantifiers."" ... This reverts commit 477b4f1501.	2019-10-18 21:37:34 -04:00
Rob Rix	46c4c788c9	Revert "Revert "Define an abstraction over the Term introduction/elimination forms."" ... This reverts commit 7ab610a24d.	2019-10-18 21:37:31 -04:00
Rob Rix	80040853b7	🔥 ConstraintKinds.	2019-10-18 21:07:01 -04:00
Rob Rix	e5d8092488	🔥 DiffEffects.	2019-10-18 21:06:28 -04:00
Rob Rix	418e1543bf	Don’t export DiffEffects.	2019-10-18 21:04:02 -04:00
Rob Rix	e27a689781	Don’t export diffGraph.	2019-10-18 21:02:44 -04:00
Rob Rix	bf7577860f	Eliminate any dependency on DiffTerms.	2019-10-18 20:42:15 -04:00
Rob Rix	4ad8ce2382	🔥 diffWith.	2019-10-18 20:38:36 -04:00
Rob Rix	a8293d4cd8	Eliminate DOTGraphDiff’s dependency on DiffTerms.	2019-10-18 20:36:34 -04:00
Rob Rix	a83b6ea10a	Eliminate JSONGraphDiff’s dependency on DiffTerms.	2019-10-18 20:36:22 -04:00
Rob Rix	bf645df8be	Eliminate JSONTreeDiff’s dependency on DiffTerms.	2019-10-18 20:36:08 -04:00
Rob Rix	175da366b5	Eliminate SExprDiff’s dependency on DiffTerms.	2019-10-18 20:35:46 -04:00
Rob Rix	b98f433d0e	Eliminate ShowDiff’s dependency on DiffTerms.	2019-10-18 20:25:09 -04:00
Rob Rix	9064cda58a	Merge branch 'edit-these-patch' into abstract-a-la-carte-terms	2019-10-18 20:17:54 -04:00
Rob Rix	713de98faf	Rename SummarizeDiff to SummarizeTerms.	2019-10-18 20:14:13 -04:00
Rob Rix	7ab610a24d	Revert "Define an abstraction over the Term introduction/elimination forms." ... This reverts commit 1e401f5cc9.	2019-10-18 20:11:45 -04:00
Rob Rix	477b4f1501	Revert "🔥 redundant quantifiers." ... This reverts commit b5c0608694.	2019-10-18 20:11:43 -04:00
Rob Rix	9648b05ebd	Revert "Give simpler primitives for IsTerm." ... This reverts commit e2379abeba.	2019-10-18 20:11:40 -04:00
Rob Rix	d5abb0fa75	Revert "Abstract term injection & projection." ... This reverts commit 694164d3d4.	2019-10-18 20:11:38 -04:00
Rob Rix	0723859f33	Revert "🔥 guardTerm." ... This reverts commit 0065b0d99a.	2019-10-18 20:11:35 -04:00
Rob Rix	e0013aa8a9	Revert "Generalize makeTerm' over the term type." ... This reverts commit 996594dc5f.	2019-10-18 20:11:16 -04:00
Rob Rix	2449f9a94c	Revert "Generalize makeTerm over the term type." ... This reverts commit 15077437f2.	2019-10-18 20:11:09 -04:00
Rob Rix	1701fefd77	Revert "Generalize makeTerm'' over the term type." ... This reverts commit f50ab78f9d.	2019-10-18 20:11:07 -04:00
Rob Rix	8273312a7f	Revert "Generalize makeTerm1' over the term type." ... This reverts commit 9d87c5027c.	2019-10-18 20:11:04 -04:00
Rob Rix	7edac28207	Revert "Generalize makeTerm1 over the term type." ... This reverts commit 152a6510d1.	2019-10-18 20:11:01 -04:00
Rob Rix	d9c408a2f5	Revert "Generalize emptyTerm over the term type." ... This reverts commit 7b67989dff.	2019-10-18 20:10:58 -04:00
Rob Rix	f71505d209	Revert "Generalize handleError over the term type." ... This reverts commit cd2a1b0456.	2019-10-18 20:10:55 -04:00
Rob Rix	0bb8039218	Revert "Generalize parseError over the term type." ... This reverts commit b6b95d675f.	2019-10-18 20:10:51 -04:00
Rob Rix	3db3f1c490	Revert "Generalize contextualize over the term type." ... This reverts commit 8c13def45d.	2019-10-18 20:10:49 -04:00
Rob Rix	151e37ebf8	Revert "Generalize postContextualizeThrough over the term type." ... This reverts commit b4ed1bd449.	2019-10-18 20:10:45 -04:00
Rob Rix	0aeb77616d	Revert "Generalize postContextualize over the term type." ... This reverts commit c36833ee75.	2019-10-18 20:10:43 -04:00
Rob Rix	54b357f741	Revert "Generalize infixContext over the term type." ... This reverts commit c73a0fbff4.	2019-10-18 20:10:41 -04:00
Rob Rix	af0384d69d	Revert "Generalize decoratorWithAlgebra over the term type." ... This reverts commit d90d11062a.	2019-10-18 20:10:38 -04:00
Rob Rix	6b33b3e15f	Revert "Align." ... This reverts commit 970a837eeb.	2019-10-18 20:10:36 -04:00
Rob Rix	37dd98f1fe	Revert "🔥 redundant language extensions." ... This reverts commit fc2c134443.	2019-10-18 20:10:33 -04:00
Rob Rix	7baf284f44	Revert "Generalize Taggable over the term type." ... This reverts commit aeed82b827.	2019-10-18 20:10:16 -04:00
Rob Rix	3b71047934	Revert "Generalize tagging over the term type." ... This reverts commit a34ccbea25.	2019-10-18 20:10:13 -04:00
Rob Rix	f5c9de7b03	Revert "Fix a missing constraint." ... This reverts commit 5cea888580.	2019-10-18 20:10:05 -04:00
Rob Rix	5cea888580	Fix a missing constraint.	2019-10-18 20:07:50 -04:00