20467 Commits

Author	SHA1	Message	Date
Patrick Thomson	9d1bd90bed	Algebrize Abstract.Address.Hole.	2019-11-08 16:35:13 -05:00
Patrick Thomson	ca814174b8	Missing Prologue import.	2019-11-08 16:32:19 -05:00
Patrick Thomson	911066aaed	Use fused-effects's foldMapA.	2019-11-08 16:24:50 -05:00
Patrick Thomson	5b0ccc9b15	Algebrize Address.Precise.	2019-11-08 16:22:04 -05:00
Patrick Thomson	f859f4a630	Has-ify Abstract.Value.Abstract.	2019-11-08 16:20:58 -05:00
Patrick Thomson	99f0016d7c	Port Abstract.Value.Concrete to FE1.	2019-11-08 16:17:47 -05:00
Patrick Thomson	7b447b5018	Port Abstract.Value.Type to FE1.	2019-11-08 16:05:35 -05:00
Patrick Thomson	f527e423ca	Has-ify the Syntax modules.	2019-11-08 16:00:23 -05:00
Patrick Thomson	1c1b8a8f75	Has-ify Ruby syntax.	2019-11-08 15:53:50 -05:00
Patrick Thomson	1a4c95ca24	Has-ify TypeScript.Resolution.	2019-11-08 15:29:32 -05:00
Patrick Thomson	e45b7086b9	Has-ify Syntax.TypeScript.	2019-11-08 14:22:14 -05:00
Patrick Thomson	00e821d68f	Has-ify Data.Abstract.Evaluatable.	2019-11-08 14:16:34 -05:00
Patrick Thomson	bf0b830b2e	Has-ify Control.Abstract.Primitive.	2019-11-08 14:12:30 -05:00
Patrick Thomson	a73f8e83de	Has-ify Control.Abstract.Value.	2019-11-08 14:11:32 -05:00
Patrick Thomson	e71e10fb17	Port Abstract.Heap to FE1.	2019-11-08 14:01:34 -05:00
Patrick Thomson	06fad83d8b	Port Abstract.Modules to FE1.	2019-11-08 13:56:09 -05:00
Patrick Thomson	7ed1c8c7a5	Port Abstract.ScopeGraph to FE1. ... This was a little involved.	2019-11-08 13:52:08 -05:00
Patrick Thomson	78d265e307	Has-ify Data.Abstract.BaseError.	2019-11-08 13:41:50 -05:00
Patrick Thomson	edac9f4716	Has-ify Control.Abstract.Context.	2019-11-08 13:41:04 -05:00
Patrick Thomson	89b8a50737	Fix Algebra for REPL.	2019-11-08 13:39:13 -05:00
Patrick Thomson	3e6c84a48e	Has-ify Control.Abstract.Roots.	2019-11-08 13:37:47 -05:00
Patrick Thomson	4543148e73	Has-ify Data.Abstract.Name.	2019-11-08 13:33:06 -05:00
Patrick Thomson	66584f8aae	Use proper carriers and kill runM in Parsing.TreeSitter.	2019-11-08 12:56:10 -05:00
Patrick Thomson	8c0224ab08	Has-ify Data.Blob.	2019-11-08 12:35:00 -05:00
Patrick Thomson	c765b28c4c	FE1-ify Diffing.Interpreter.	2019-11-08 12:33:52 -05:00
Patrick Thomson	7d8ccd42ce	Port Diffing.Algorithm to FE1.	2019-11-08 12:26:13 -05:00
Patrick Thomson	a81483f5ab	Fix Interpose effect.	2019-11-08 12:22:29 -05:00
Patrick Thomson	f2f5eccdeb	Add Control.Effect.Sum.Project. ... Fixes #289.	2019-11-08 12:20:43 -05:00
Patrick Thomson	b60491714f	Fix type errors in Interpose before porting over prj.	2019-11-08 12:16:10 -05:00
Patrick Thomson	c06873bedb	Port Control.Abstract.Evaluator to FE1.	2019-11-08 12:14:33 -05:00
Timothy Clem	cd92228d1e	Merge remote-tracking branch 'origin/master' into sha-sha-sha-cha-cha-cha	2019-11-07 09:25:07 -08:00
Timothy Clem	1ab38e297a	Try a different approach for embedding the git commit sha	2019-11-06 16:20:14 -08:00
Patrick Thomson	0f8fd5be35	Merge remote-tracking branch 'origin/master' into fused-effects-one-dot-zero	2019-11-06 14:13:02 -05:00
Timothy Clem	6825316011	Expose diffGraph again	2019-11-05 14:31:16 -08:00
Patrick Thomson	52d021bcd6	First attempt.	2019-11-01 14:40:07 -04:00
Rob Rix	cab72daf15	:fire	2019-10-30 15:40:51 -04:00
Rob Rix	c6c729df45	🔥 redundant Generic & Hashable instances.	2019-10-30 14:51:57 -04:00
Rob Rix	17fe2b0fe8	🔥 redundant language extensions.	2019-10-30 14:35:55 -04:00
Rob Rix	0c897852b0	🔥 redundant constraints.	2019-10-30 14:31:43 -04:00
Rob Rix	890d05dfd7	🔥 branchNode/leafNode/toTerm.	2019-10-30 14:30:52 -04:00
Rob Rix	4941cb8dc8	🔥 redundant constraints.	2019-10-30 14:30:26 -04:00
Rob Rix	60886eb90f	🔥 the silencing of no export list warnigns.	2019-10-30 14:28:41 -04:00
Rob Rix	6230181c7e	Fix up the graph style.	2019-10-30 14:03:05 -04:00
Rob Rix	a2ec2ae8de	🔥 partial record selectors from ControlFlowVertex.	2019-10-30 14:00:38 -04:00
Rob Rix	29085fd688	Extract the partial moduleName & span fields into a new type.	2019-10-30 13:50:00 -04:00
Rob Rix	b2ad11a912	Don’t bind unused type variables.	2019-10-30 13:39:01 -04:00
Rob Rix	29db8b3f35	🔥 partial field selectors for Python.QualifiedName.	2019-10-30 13:36:26 -04:00
Rob Rix	9770cbdc9b	🔥 partial field selectors for Token.	2019-10-30 13:35:35 -04:00
Rob Rix	8d6eecc77b	Fix partial record selector warnings for LoopControl.	2019-10-30 13:34:21 -04:00
Rob Rix	f68fa5ea30	Enable hard-mode warnings project-wide.	2019-10-30 13:29:45 -04:00
Rob Rix	a8a3bca972	Fix some missed language extensions.	2019-10-30 13:16:17 -04:00
Rob Rix	7262484a57	Add language extensions to everything.	2019-10-30 12:49:23 -04:00
Rob Rix	298c37feff	Avoid binding an unused type variable.	2019-10-30 11:44:58 -04:00
Rob Rix	5372cfad51	Merge branch 'master' into fused-effects-one-dot-zero	2019-10-25 16:05:40 -04:00
Rob Rix	3e74db0234	Lint a little lint of me	2019-10-25 14:22:09 -04:00
Rob Rix	cbc2d82b55	Don’t define an orphan Hashable1 instance for NonEmpty.	2019-10-25 14:03:01 -04:00
Rob Rix	d9aff05870	🔥 redundant silencing of warnings.	2019-10-25 14:01:56 -04:00
Rob Rix	a05533fd19	🔥 NFData & NFData1 instances wherever they may be found. ... Also some Generic instances.	2019-10-25 13:52:07 -04:00
Rob Rix	a35099fef7	Sort some deriving clauses.	2019-10-25 13:33:06 -04:00
Rob Rix	27a59e17d7	🔥 redundant language extensions.	2019-10-25 13:32:08 -04:00
Rob Rix	06d32510d9	Sort the language extensions.	2019-10-25 13:31:12 -04:00
Rob Rix	3d422f25cc	🔥 GND.	2019-10-25 13:30:20 -04:00
Rob Rix	cb0aa77a93	🔥 the Generically newtype.	2019-10-25 13:28:15 -04:00
Rob Rix	9a85fddccd	🔥 some Eq/Ord/Show instances that slipped through.	2019-10-25 13:28:09 -04:00
Rob Rix	15d1bb4b25	Derive Eq1/Ord1/Show1 instances manually.	2019-10-25 13:25:47 -04:00
Rob Rix	ff0a577393	🔥 Eq, Ord, & Show instances for all the syntax types.	2019-10-23 17:19:01 -04:00
Rob Rix	6750a30761	Standardize.	2019-10-23 17:06:36 -04:00
Rob Rix	2e46d73324	📝 ModuleResult.	2019-10-23 14:35:10 -04:00
Rob Rix	71185d0fbb	Revert "Define a Bifunctor instance for Value." ... This reverts commit aec82b3743.	2019-10-23 12:25:07 -04:00
Rob Rix	93db4cfa45	Use the helpers anywhere we look up a parser.	2019-10-23 12:17:10 -04:00
Rob Rix	dc13bd05d3	Use the helpers in parseWith/parsePairWith.	2019-10-23 12:15:56 -04:00
Rob Rix	619cbd3b67	Define a helper to select a parser for a blob.	2019-10-23 12:12:59 -04:00
Rob Rix	2daaa1f571	Link the reference.	2019-10-23 12:12:49 -04:00
Rob Rix	c42ebf27e3	Define a helper to select a parser for the given language.	2019-10-23 12:11:50 -04:00
Rob Rix	31b325c101	Rename all the abstract parsers.	2019-10-23 12:09:17 -04:00
Rob Rix	a0b04fc1db	Rename jsonParserPrecise' to jsonParser'.	2019-10-23 12:07:26 -04:00
Rob Rix	a39dc6cbf6	🔥 all the concrete parsers.	2019-10-23 12:06:56 -04:00
Rob Rix	0d17b9691f	Reuse the abstract parsers for Python.	2019-10-23 12:02:07 -04:00
Rob Rix	4c282911a1	Don’t export the concrete parsers.	2019-10-23 11:59:59 -04:00
Rob Rix	a237ca2266	Split out a helper to parse a Blob straight to a list of tags.	2019-10-23 10:48:38 -04:00
Rob Rix	47c6c4bc61	Pass the Blob to tags.	2019-10-23 10:45:19 -04:00
Rob Rix	d2569a8f59	Compose tagsToFile onto a new tagsForTerm function.	2019-10-23 10:42:13 -04:00
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
Rob Rix	5b64b3819c	Revert "Define TSX.Term recursively." ... This reverts commit 1fb626d956.	2019-10-18 20:05:35 -04:00
Rob Rix	1fb626d956	Define TSX.Term recursively.	2019-10-18 20:05:01 -04:00
Rob Rix	a34ccbea25	Generalize tagging over the term type.	2019-10-18 20:04:28 -04:00
Rob Rix	aeed82b827	Generalize Taggable over the term type.	2019-10-18 20:04:22 -04:00
Rob Rix	fc2c134443	🔥 redundant language extensions.	2019-10-18 19:35:42 -04:00
Rob Rix	970a837eeb	Align.	2019-10-18 19:35:30 -04:00
Rob Rix	d90d11062a	Generalize decoratorWithAlgebra over the term type.	2019-10-18 19:35:18 -04:00
Rob Rix	c73a0fbff4	Generalize infixContext over the term type.	2019-10-18 19:05:35 -04:00
Rob Rix	c36833ee75	Generalize postContextualize over the term type.	2019-10-18 19:05:28 -04:00
Rob Rix	b4ed1bd449	Generalize postContextualizeThrough over the term type.	2019-10-18 19:05:21 -04:00
Rob Rix	8c13def45d	Generalize contextualize over the term type.	2019-10-18 19:04:06 -04:00
Rob Rix	b6b95d675f	Generalize parseError over the term type.	2019-10-18 19:03:37 -04:00
Rob Rix	cd2a1b0456	Generalize handleError over the term type.	2019-10-18 19:03:05 -04:00
Rob Rix	7b67989dff	Generalize emptyTerm over the term type.	2019-10-18 19:02:28 -04:00
Rob Rix	152a6510d1	Generalize makeTerm1 over the term type.	2019-10-18 19:01:39 -04:00
Rob Rix	9d87c5027c	Generalize makeTerm1' over the term type.	2019-10-18 19:01:33 -04:00
Rob Rix	f50ab78f9d	Generalize makeTerm'' over the term type.	2019-10-18 19:00:29 -04:00
Rob Rix	15077437f2	Generalize makeTerm over the term type.	2019-10-18 18:59:47 -04:00