9987 Commits

Author	SHA1	Message	Date
Rob Rix	ced2396fde	Lift subterm equivalence into Unions.	2017-10-03 14:38:10 -04:00
Rob Rix	59ee7e2251	Use the Diffable-generic definition of term equivalence for à la carte syntax.	2017-10-03 14:31:54 -04:00
Rob Rix	6536c4b06f	Term equivalence falls back to recursively lifted equality.	2017-10-03 14:31:06 -04:00
Rob Rix	407d368c90	Determine equivalence by name for Declaration.Method.	2017-10-03 14:21:06 -04:00
Rob Rix	614c26749e	Determine equivalence by name for Declaration.Function.	2017-10-03 14:20:45 -04:00
Rob Rix	6718a713e2	Determine equivalence by subject for Context.	2017-10-03 14:20:06 -04:00
Rob Rix	910c179bbe	Determine equivalence by the nominated subterm first.	2017-10-03 14:19:26 -04:00
Rob Rix	aca3a2cf99	Add a Diffable method to select a subterm to compute equivalence by.	2017-10-03 14:18:55 -04:00
Rob Rix	8471486d1a	Revert "Define subequivalence of Functions." ... This reverts commit da65ddc832de7a61ba93e5463bc17128762e7600.	2017-10-03 14:12:41 -04:00
Rob Rix	1c5db3a82f	Revert "Define subequivalence of Methods." ... This reverts commit 902db7cde56b43143212ac9d491a63c64d8f8ff8.	2017-10-03 14:12:37 -04:00
joshvera	bd6a098f57	Merge remote-tracking branch 'origin/master' into typescript-cleanup	2017-10-03 10:55:41 -07:00
Rob Rix	695ceb7d62	Define equivalence in terms of lifted equality.	2017-10-03 13:33:04 -04:00
Rob Rix	82244515f8	Define a function computing the equivalence of terms based on subequivalence.	2017-10-03 13:27:02 -04:00
Rob Rix	98ac25fe84	Define subequivalence of Methods.	2017-10-03 13:26:29 -04:00
Rob Rix	e52e69e08b	Define subequivalence of Functions.	2017-10-03 13:26:17 -04:00
Rob Rix	67cb2b3ea7	Define subequivalence of Context nodes.	2017-10-03 13:26:08 -04:00
Rob Rix	2fc976dd0e	Define subequivalence of Unions.	2017-10-03 13:26:02 -04:00
Rob Rix	124e2b30a6	Define a subequivalence method on Diffable.	2017-10-03 13:25:27 -04:00
Rob Rix	fcc24d572f	Rename the bindings in subalgorithmFor.	2017-10-03 13:25:17 -04:00
Rob Rix	1e14133272	Remove the suffix when we don’t know which side it’s on.	2017-10-03 12:40:24 -04:00
Rob Rix	9c49698894	Correct the docs for algorithmForTerms.	2017-10-03 12:40:24 -04:00
Rob Rix	b75fc8cc88	Name the variables in Diffable a1/a2 &c consistently.	2017-10-03 12:40:24 -04:00
Rick Winfrey	660610a349	Merge branch 'master' into go-assignment	2017-10-03 09:40:18 -07:00
Rob Rix	e6fbf274be	Remove the suffix when we don’t know which side it’s on.	2017-10-03 12:28:15 -04:00
Rob Rix	8e4b3f807b	Correct the docs for algorithmForTerms.	2017-10-03 12:22:23 -04:00
Rob Rix	15f220e5aa	Name the variables in Diffable a1/a2 &c consistently.	2017-10-03 12:20:52 -04:00
Rob Rix	686da3aa42	🔥 the syntaxParser bindings.	2017-10-03 11:52:55 -04:00
Rob Rix	13b79db26e	Reformat the diffBlobPair syntaxParser cases.	2017-10-03 11:49:14 -04:00
Timothy Clem	c34054322d	Merge branch 'master' into enable-ruby-assignment	2017-10-03 08:38:57 -07:00
Rob Rix	eedceb2a7f	Reformat the guard clause for ToC term rendering.	2017-10-03 11:01:00 -04:00
Rob Rix	b179269ed6	Combine the cases for s-expression term rendering.	2017-10-03 11:00:22 -04:00
Rob Rix	d6c98092bc	Combine the cases for JSON term rendering.	2017-10-03 11:00:14 -04:00
Rob Rix	7a6d92ce15	Combine the à la carte JSON term rendering paths.	2017-10-03 10:53:28 -04:00
Rob Rix	afa7f82fd7	Render s-expression terms without Kleisli composition.	2017-10-03 10:49:15 -04:00
Rob Rix	7d48a98814	Discard locations early.	2017-10-03 10:46:44 -04:00
Rob Rix	186dad2642	Reformat.	2017-10-03 10:44:53 -04:00
Rob Rix	f9c0a2d730	Combine the à la carte s-expression rendering paths.	2017-10-03 10:43:41 -04:00
Rob Rix	1325e429d0	Generalize SomeParser over a set of typeclasses that must hold.	2017-10-03 10:41:05 -04:00
Rob Rix	c33eea3f4f	Parameterize SomeParser by the typeclass.	2017-10-03 10:33:44 -04:00
Rob Rix	0d605da704	Export the ConstructorName typeclass.	2017-10-03 10:32:56 -04:00
Rob Rix	36bb7c42b1	Stub in a SomeParser type & constructor.	2017-10-03 10:11:00 -04:00
Rob Rix	a965c12dd8	Rename parserForLanguage to syntaxParserForLanguage.	2017-10-03 10:04:59 -04:00
Rob Rix	4a8ac5dd47	Merge branch 'master' into all-the-ord-instances	2017-10-02 17:23:47 -04:00
joshvera	57f1b39cf0	Merge remote-tracking branch 'origin/master' into typescript-cleanup	2017-10-02 13:53:41 -07:00
joshvera	123105bb71	Reuse import in Declaration	2017-10-02 13:33:25 -07:00
joshvera	eca3b8c120	Move TypeAliasDeclaration to Declaration	2017-10-02 13:32:00 -07:00
joshvera	d8a6a3a423	Move cast to expression	2017-10-02 13:29:40 -07:00
Timothy Clem	a82ff300e6	Merge branch 'master' into all-the-ord-instances	2017-10-02 13:28:32 -07:00
joshvera	a3d0a5dfc9	Move await and new to Expression	2017-10-02 13:28:08 -07:00
Timothy Clem	49b0d55ee5	Always use assignment parser for Ruby	2017-10-02 13:25:33 -07:00
joshvera	3b59f693f2	Move NonNullExpression to Expression	2017-10-02 13:20:25 -07:00
Timothy Clem	dfc7de34e7	Merge branch 'master' into contextualize-ruby-comments	2017-10-02 13:19:02 -07:00
joshvera	232a702f6f	Move InterfaceDeclaration to Declaration.hs	2017-10-02 13:18:38 -07:00
joshvera	9f62cadd9b	Remove unused expressions	2017-10-02 13:04:49 -07:00
joshvera	5166c376b0	type errors	2017-10-02 13:04:36 -07:00
joshvera	ada80709a5	Move TypeAnnotation back since it's different that Type.Annotation	2017-10-02 13:02:36 -07:00
joshvera	235eeadb2f	Move VariableDeclaration and PublicFieldDefinition to Declaration	2017-10-02 13:01:48 -07:00
joshvera	ad26dfeb7d	Move SequenceExpression to Expression	2017-10-02 12:55:51 -07:00
joshvera	7c355ad9e4	Remove typescript TypeAnnotation	2017-10-02 12:53:20 -07:00
joshvera	81fbfa9f8c	Merge remote-tracking branch 'origin/master' into typescript-cleanup	2017-10-02 12:07:23 -07:00
Timothy Clem	68e9fada3f	Contextualize comments in Ruby assignment again	2017-10-02 11:02:26 -07:00
Rob Rix	4ba8dc5a89	🔥 the commented-out diffRecursively.	2017-10-02 10:29:54 -04:00
Rob Rix	1f6a1fcc0f	Migrate TOCSpec off of IdentityDiffRenderer.	2017-10-02 10:11:31 -04:00
joshvera	9200735745	Make fields private	2017-10-01 07:41:11 -07:00
Rick Winfrey	19c4d422ee	Update Go renderer expressions	2017-09-29 14:11:32 -07:00
Rick Winfrey	ca7af35ebc	Update Go.Syntax for post-TypeScript	2017-09-29 14:11:07 -07:00
Rick Winfrey	e56fcfe122	Remove unnecessary instance	2017-09-29 14:10:40 -07:00
Rick Winfrey	16e4a33dd4	Merge branch 'master' into go-assignment	2017-09-29 13:37:01 -07:00
Rob Rix	d7b72d71e0	🔥 IdentityDiffRenderer.	2017-09-29 15:33:43 -04:00
Rob Rix	5621830b41	Define a function to parse and diff a pair of blobs.	2017-09-29 15:33:02 -04:00
Rob Rix	c3a6912a14	🔥 Identity diff rendering.	2017-09-29 15:26:31 -04:00
Rob Rix	da671c56fc	🔥 a redundant import.	2017-09-29 15:25:45 -04:00
Rob Rix	c0e846ec73	🔥 IdentityTermRenderer.	2017-09-29 15:20:56 -04:00
Rob Rix	0592a6bdb7	🔥 handling of IdentityTermRenderer.	2017-09-29 15:20:25 -04:00
Rob Rix	e452c2f567	🔥 lineByLineParser.	2017-09-29 15:02:02 -04:00
Rob Rix	0f1acfbddd	🔥 LineByLineParser.	2017-09-29 15:01:40 -04:00
Rob Rix	b4d4cf5c0a	Throw an error when diffing files we don’t have a parser for.	2017-09-29 15:00:56 -04:00
Rob Rix	d6d9b84e81	Include the path for no parser exceptions.	2017-09-29 14:53:16 -04:00
Rob Rix	104cca21a1	Derive an Ord instance for Language.	2017-09-29 14:42:37 -04:00
Rob Rix	2b4465d1d0	Throw an exception when we don’t have a parser for a language.	2017-09-29 14:36:16 -04:00
joshvera	1ca518ca62	remove commented out diffRecursively	2017-09-29 11:33:46 -07:00
Rob Rix	37839d56b1	parserForLanguage never returns LineByLineParser.	2017-09-29 14:27:49 -04:00
Rob Rix	2f05a32997	parserForLanguage does not take its argument in Maybe.	2017-09-29 14:25:39 -04:00
Rob Rix	eef03d275f	Define Mergeable, Ord, & Ord1 instances for all the datatypes in TypeScript.	2017-09-29 12:57:32 -04:00
Rob Rix	a063b796b9	Define Mergeable, Ord, & Ord1 instances for all the datatypes in Data.Syntax.	2017-09-29 12:50:05 -04:00
Rob Rix	096be2b08e	Define an ErrorStack wrapper for call stacks.	2017-09-29 12:49:17 -04:00
Rob Rix	9d29eac636	Define Mergeable, Ord, & Ord1 instances for the datatypes in Declaration.	2017-09-29 12:47:36 -04:00
Rob Rix	07c9c6d1b7	Define Mergeable & Ord1 instances for Ellipsis & Redirect.	2017-09-29 12:36:33 -04:00
Rob Rix	3f638a0ab1	Define Ord1 & in many cases Mergeable instances for the various syntax types.	2017-09-29 12:34:54 -04:00
Rob Rix	42e45705e5	🔥 the non-generic GShow1 instances.	2017-09-29 11:51:06 -04:00
Rob Rix	06f795d3b8	🔥 the non-generic GEq1 instances.	2017-09-29 11:50:43 -04:00
Rob Rix	0097915a01	🔥 the GEq1 instance for Cofree.	2017-09-29 11:50:19 -04:00
Rob Rix	66fd99c83b	Give a generic definition of Ord1.	2017-09-29 11:46:29 -04:00
Rob Rix	1ffaa0a682	Don’t export gliftEq.	2017-09-29 11:43:28 -04:00
Rob Rix	045dc992cd	Don’t export the GShow1 methods.	2017-09-29 11:43:13 -04:00
Rob Rix	0624c9af74	Explicitly export genericLiftCompare & re-export Ord1.	2017-09-29 11:42:05 -04:00
Rob Rix	2ba30e3fee	Give a generic derivation suitable for liftCompare.	2017-09-29 11:41:43 -04:00
Rob Rix	fe53309b05	Define a generically-derivable lifting of Ord to * -> *.	2017-09-29 11:41:24 -04:00
Rob Rix	f1e89b647d	Stub in a module for a generic Ord1 implementation.	2017-09-29 11:37:18 -04:00
joshvera	9c9c66537a	remove disambiguation	2017-09-28 17:05:44 -07:00
joshvera	c4abe09827	Rename Function to FunctionType	2017-09-28 16:48:37 -07:00
joshvera	f42f0b9f0e	remove strictness annotations	2017-09-28 15:11:18 -07:00
joshvera	8ed09e3af7	newtype javascript expressions	2017-09-28 15:10:08 -07:00
joshvera	b3667104fb	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-28 14:24:57 -07:00
Rob Rix	9c664e5460	Merge branch 'master' into musical-chairs	2017-09-28 11:36:02 -04:00
Rob Rix	c5cf4ee6a4	Define a mergeF operator for a single level of a term.	2017-09-28 11:24:12 -04:00
Rob Rix	46b98c3ec2	Define a merging operator for Diff.	2017-09-28 10:29:02 -04:00
Rob Rix	d6873820dc	Merge branch 'master' into substructural-diffing	2017-09-28 10:25:29 -04:00
Josh Vera	337816f63c	Merge branch 'master' into typescript-assignment	2017-09-27 16:33:59 -06:00
Rob Rix	26d44ae2f0	Merge the Decorators module into Data.Syntax.Algebra.	2017-09-27 12:54:01 -04:00
Rob Rix	bdc020dd5a	Move the Syntax identifier algebra into Data.Syntax.Algebra.	2017-09-27 12:53:25 -04:00
Rob Rix	e7a402b29d	Spacing.	2017-09-27 12:48:01 -04:00
Rob Rix	1cab700d82	Rename the SplitDiff module to Data.SplitDiff.	2017-09-27 12:43:11 -04:00
Rob Rix	b31043a3eb	Rename the Diff module to Data.Diff.	2017-09-27 12:41:41 -04:00
Rob Rix	9bd0b02ac9	Rename the Term module to Data.Term.	2017-09-27 12:37:37 -04:00
Rob Rix	e8b7e89dca	Rename the Patch module to Data.Patch.	2017-09-27 12:29:07 -04:00
Rob Rix	d74c83fd9e	Diff one or more pairs of files.	2017-09-27 11:02:11 -04:00
Rob Rix	de1acea9fc	📝 runAlgorithm.	2017-09-26 13:20:47 -04:00
Rob Rix	d853a2d7ee	📝 subalgorithmFor.	2017-09-26 13:03:49 -04:00
Rob Rix	1e7f9b8862	📝 algorithmFor.	2017-09-26 13:03:44 -04:00
Rob Rix	d54f8b34c2	Export comparableByConstructor & equivalentTerms again.	2017-09-26 09:44:25 -04:00
Rob Rix	b937c38c0e	🔥 the unused Leaf & Branch types.	2017-09-26 09:23:42 -04:00
Rob Rix	0fa57d60c2	Merge branch 'master' into substructural-diffing	2017-09-26 09:13:22 -04:00
Rob Rix	a9c3317758	Derive Mergeable instances for pretty much everything.	2017-09-25 19:51:52 -04:00
Rob Rix	267eab6e75	🔥 the old generic mergeable module.	2017-09-25 19:50:47 -04:00
Rob Rix	da14b3c24a	Rework the Rec instance & add a (bad) NonEmpty instance.	2017-09-25 19:49:20 -04:00
Rob Rix	600e05a09d	Merge Data.Mergeable.Generic into Data.Mergeable.	2017-09-25 19:44:00 -04:00
Rob Rix	f6efded7d0	Define a Mergeable instance for Unions.	2017-09-25 19:25:21 -04:00
Rob Rix	c0a526c264	Simplify the context for comparableByConstructor.	2017-09-25 18:27:09 -04:00
joshvera	de7b3852e3	fix up computed property names	2017-09-25 18:10:17 -04:00
joshvera	846d236fda	postContextualize memberExpression	2017-09-25 18:09:22 -04:00
joshvera	11774c3f74	remove import	2017-09-25 17:44:14 -04:00
Rob Rix	4c4ae14bf8	Sort the context.	2017-09-25 16:00:37 -04:00
Rob Rix	093a02dc88	🔥 a redundant Functor constraint.	2017-09-25 15:56:31 -04:00
joshvera	4eef25d9a7	don't contextualize otherwise diffing can change	2017-09-25 15:43:48 -04:00
joshvera	1d8fe40267	newline	2017-09-25 15:18:44 -04:00
joshvera	d059c26fbc	bring old typescript term assignment back	2017-09-25 14:07:35 -04:00
joshvera	fe816c4100	missed one	2017-09-25 14:06:01 -04:00
joshvera	65912d8387	remove redundant pattern matches	2017-09-25 14:02:53 -04:00
joshvera	44d895388d	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-25 13:47:46 -04:00
joshvera	bd440ea8d0	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-25 13:40:10 -04:00
Rob Rix	c7685757d1	Reformat genericAlgorithmFor’s type signature.	2017-09-25 12:24:42 -04:00
Rob Rix	e528bd3c6c	Export the comparability relation driver.	2017-09-25 12:11:29 -04:00
Timothy Clem	0642755c35	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-25 09:08:14 -07:00
Rob Rix	e142157ab9	Pass decoratingWith the comparability & equivalence relations.	2017-09-25 12:05:31 -04:00
Rob Rix	fb56d8b604	Merge branch 'master' into substructural-diffing	2017-09-25 11:59:14 -04:00
Timothy Clem	289b342ba0	Merge branch 'master' into toc-assignment	2017-09-25 08:47:30 -07:00
Rob Rix	c7c1161310	Merge branch 'master' into substructural-diffing	2017-09-25 11:47:26 -04:00
Rob Rix	5d812f3a03	Merge branch 'master' into alternative-algorithms	2017-09-25 11:44:17 -04:00
Rob Rix	8babcb9579	🔥 Symmetrical.	2017-09-25 11:35:10 -04:00
Rob Rix	8975856504	Merge branch 'alternative-algorithms' into substructural-diffing	2017-09-25 11:30:58 -04:00
Rob Rix	76037c08b2	Merge branch 'master' into alternative-algorithms	2017-09-25 11:29:44 -04:00
Rob Rix	7786e35bfe	Opt Context nodes into comparisons.	2017-09-25 11:28:19 -04:00
Timothy Clem	ddebcc044d	Make it really clear where we are headed	2017-09-25 08:24:48 -07:00
Rob Rix	c3e7c62fcf	Limit the Interpreter exports.	2017-09-25 11:24:21 -04:00
Rob Rix	67a6071245	Revert "Provide a diffThese wrapper which falls back by replacing." ... This reverts commit 3a34cd01481bd0aab038faf41c8aaf613e5e3773.	2017-09-25 11:06:56 -04:00
Timothy Clem	0290e63095	Whoops, these need to be tuples	2017-09-25 08:06:11 -07:00
Rob Rix	6df6c80202	Spacing.	2017-09-25 11:02:07 -04:00
Rob Rix	919f166f7a	Move diffRecursively into Interpreter & rename.	2017-09-25 10:55:44 -04:00
Rob Rix	e075cf491d	Provide a diffThese wrapper which falls back by replacing.	2017-09-25 10:33:59 -04:00
Rob Rix	3c09621891	Eta-reduce algorithmFor.	2017-09-25 09:10:44 -04:00
Rob Rix	bee5470602	Fix some more indentation.	2017-09-23 09:12:58 -04:00
Rob Rix	345d0d910f	Fix some indentation.	2017-09-23 09:12:19 -04:00
Rob Rix	28c318900d	🔥 redundant parens.	2017-09-23 09:04:19 -04:00
Rob Rix	c9311c0607	Generalize runAlgorithm to produce any result type.	2017-09-23 08:52:11 -04:00
Rob Rix	aa8fe13355	Correct the indentation of the runAlgorithm signature.	2017-09-23 08:51:22 -04:00
Rob Rix	dd9b811aeb	Linearly operates on terms once more.	2017-09-22 23:07:41 -04:00
Rob Rix	528728d01c	Redefine GAlign to merge into an Alternative context.	2017-09-22 23:02:08 -04:00
Rob Rix	af5fc79ed5	Simplify the flow a little.	2017-09-22 22:30:16 -04:00
Rob Rix	9c1ef71a78	Re-abstract Algorithm over the term and result types.	2017-09-22 22:24:50 -04:00
Rob Rix	88b52bed3d	Recur via diff.	2017-09-22 22:24:36 -04:00
Rob Rix	9c5b669fbb	Generalize Linear to operate on the syntax functor.	2017-09-22 22:00:00 -04:00
Rob Rix	dc32dfdcd9	Generalize subalgorithmFor over arbitrary Alternative functors.	2017-09-22 21:35:37 -04:00
Rob Rix	1aa96e3a0e	🔥 the default sig for subalgorithmFor.	2017-09-22 21:33:25 -04:00
Rob Rix	aff0542ff3	Parameterize Algorithm by the syntax and annotation types.	2017-09-22 20:18:48 -04:00
Timothy Clem	18421aa07f	Merge branch 'master' into ruby-assignment-ftw	2017-09-22 10:29:13 -07:00
Timothy Clem	bdb71f23d0	Merge branch 'master' into log-tags	2017-09-22 10:28:57 -07:00
Timothy Clem	0c6d04ff60	Merge branch 'master' into toc-assignment	2017-09-22 10:28:48 -07:00
Timothy Clem	6a0636ac5f	Tag log entries so we can sort, filter, and stat	2017-09-22 10:09:29 -07:00
joshvera	1c7962b4a1	addDependentFileRelative for json	2017-09-22 12:59:17 -04:00
Timothy Clem	b83914a860	Merge branch 'toc-assignment' into ruby-assignment-ftw	2017-09-22 09:45:04 -07:00
Timothy Clem	7172d8ac0d	New --toc-assignment flag	2017-09-22 09:31:51 -07:00
joshvera	8b185490cf	Add addDependentFileRelative call to json grammar	2017-09-22 12:21:16 -04:00
joshvera	8184675381	newline	2017-09-22 10:50:44 -04:00
joshvera	9df6f07c79	Remove Visibility	2017-09-21 12:36:46 -04:00
joshvera	7c1474cdd9	Turn a bunch of typescript terms into newtypes	2017-09-21 12:20:39 -04:00
joshvera	c4ba556433	Remove expressionStatement' from Syntax	2017-09-21 12:20:16 -04:00
joshvera	f76461382a	Fix indentation	2017-09-21 12:04:15 -04:00
joshvera	82eb35661a	Hide ExpressionStatement from tree	2017-09-21 12:03:00 -04:00
joshvera	cbced30373	Rename Annotation field to annotationType	2017-09-21 12:02:52 -04:00
joshvera	930826f674	Regenerate template haskell grammar when parser.c changes	2017-09-21 11:37:08 -04:00
joshvera	4f674ed622	Revert "Fail instead of die" ... This reverts commit d55ba538acbd7683128edb3ebce3c7255d38ae12.	2017-09-20 15:01:45 -04:00
joshvera	22b8b7cac2	Fail instead of die	2017-09-20 14:59:09 -04:00
joshvera	d789eb2b18	Add computed property names	2017-09-20 14:13:15 -04:00
joshvera	8a6ed607e4	Parse ArrayPattern	2017-09-20 13:30:40 -04:00
joshvera	302202e08a	expression is a term	2017-09-20 13:23:50 -04:00
joshvera	6fb2b9c65b	Alternate to parseError in assignment	2017-09-20 13:23:41 -04:00
joshvera	e857aa3fe1	simplify switchCase	2017-09-20 13:10:07 -04:00
joshvera	0e8e9d17ba	use term anywhere we use many or some	2017-09-20 13:08:01 -04:00
joshvera	b6b828a3e8	Parse comments in objects and arrays	2017-09-20 12:48:38 -04:00
joshvera	337f084fce	postContextualize class body statements	2017-09-20 12:26:43 -04:00
Rick Winfrey	c84e2469a9	🔥 typeLIteral assignment	2017-09-20 08:57:50 -07:00
Rick Winfrey	f45a145c5f	Assign function type declarations	2017-09-19 17:44:48 -07:00
Rick Winfrey	fa225a8dbb	Add Type.Function constructor	2017-09-19 17:44:28 -07:00
Rick Winfrey	cdb4525a2a	Assign PointerDeclarations and pointer types	2017-09-19 16:57:04 -07:00
Rick Winfrey	f8818deec7	Add Type.Pointer constructor	2017-09-19 16:46:55 -07:00
Rick Winfrey	caeb2ea8c4	Assign Map Type Declaration with Type.Map	2017-09-19 16:46:42 -07:00
Rick Winfrey	21113b41a5	Add Type.Map constructor	2017-09-19 16:46:12 -07:00
joshvera	47bf89a667	Parse jsxExpression within jsxElements	2017-09-19 19:17:35 -04:00
Rick Winfrey	851139c4b4	Assign interfaceTypeDeclaration with Type.Interface	2017-09-19 16:08:06 -07:00
Rick Winfrey	b0e1e776b6	Add Type.Interface constructor	2017-09-19 16:07:42 -07:00
Rick Winfrey	2e890d634c	Simplify structTypeDeclaration assignment	2017-09-19 16:01:45 -07:00
Rick Winfrey	1351dc3d76	Assign Slice Type declarations	2017-09-19 15:42:12 -07:00
Rick Winfrey	d89379ff94	🔤 expression choice	2017-09-19 15:35:30 -07:00
Rick Winfrey	f145782dfe	Add Type.Slice constructor	2017-09-19 15:33:30 -07:00
Rick Winfrey	48daa20312	Convert to newtypes	2017-09-19 15:33:02 -07:00
Rick Winfrey	868961eb69	Fix channelType order	2017-09-19 14:58:12 -07:00
Rick Winfrey	9db9f161a0	Allow channelType to be assignable independently of channelTypeDeclarations	2017-09-19 14:35:25 -07:00
Rick Winfrey	3ee8df8433	Add typeIdentifier to expression choice	2017-09-19 14:34:50 -07:00
Rick Winfrey	f252e0c9c7	Don't use handleError	2017-09-19 14:34:38 -07:00
Rick Winfrey	388b2e947c	🔥 noise	2017-09-19 14:34:25 -07:00
joshvera	3d1f075cfc	postContextualize object comments	2017-09-19 17:23:05 -04:00
Rob Rix	a84fe3af4c	Extract the algorithm evaluator.	2017-09-19 17:13:22 -04:00
Rob Rix	35aa83fb7a	🔥 a bunch of Eq1 constraints.	2017-09-19 17:13:01 -04:00
joshvera	d0fb557bec	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-19 17:04:27 -04:00
Rob Rix	d0e24b6895	Widen equivalence to consider the subjects of context nodes on both side.	2017-09-19 16:43:37 -04:00
Rob Rix	3ee036bb5b	Widen equivalence to include context subjects.	2017-09-19 16:41:32 -04:00
Rob Rix	a615788bb7	Rename the type parameters of equivalentTerms.	2017-09-19 16:31:47 -04:00
Rob Rix	328506051a	Reformat equivalentTerms.	2017-09-19 16:31:39 -04:00
Rob Rix	2cae764785	Limit the import of Syntax.	2017-09-19 16:25:49 -04:00
Rob Rix	6c36c61727	Sort the imports.	2017-09-19 16:24:38 -04:00
Rob Rix	363de018ba	Disallow chaining of substructural diffs.	2017-09-19 16:13:23 -04:00
Rob Rix	44fcc4654f	Replace terms local to the failure.	2017-09-19 16:00:00 -04:00
Rob Rix	b9f16e8225	Align the algorithms.	2017-09-19 15:59:26 -04:00
Rob Rix	5588325f36	Interpreting requires a Diffable instance.	2017-09-19 15:41:30 -04:00
Rob Rix	70f16466e9	🔥 algorithmWithTerms.	2017-09-19 15:39:01 -04:00
Rob Rix	6cfc978ad9	Diff Syntax using its Diffable instance.	2017-09-19 15:38:44 -04:00
Rob Rix	e176df2ac9	Diff Syntax linearly as a fallback.	2017-09-19 15:38:31 -04:00
Rob Rix	63b6884e03	Define a Diffable instance for Syntax.	2017-09-19 15:33:11 -04:00
Rob Rix	cd415cea24	🔥 the Traversable constraint on subalgorithmFor.	2017-09-19 15:26:55 -04:00
Rob Rix	950055c13c	Merge branch 'alternative-algorithms' into substructural-diffing	2017-09-19 15:21:20 -04:00
Rick Winfrey	617b923201	Formatting	2017-09-19 12:05:02 -07:00
Rick Winfrey	c0b68de47e	Assign ChannelTypeDeclarations	2017-09-19 12:03:10 -07:00
Rick Winfrey	f3895a1a68	Make typeIdentifier a top level assignment	2017-09-19 12:02:31 -07:00
Rick Winfrey	ddc52b559a	Add Type.Array to Union	2017-09-19 12:02:00 -07:00
Rick Winfrey	8ad11ce632	Add Type.SendChannel constructor	2017-09-19 12:01:34 -07:00
Rick Winfrey	135cf9e86e	Add Type.ReceiveChannel constructor	2017-09-19 12:01:23 -07:00
Rick Winfrey	4a2366f4e8	Add Type.BiDirectionalChannel constructor	2017-09-19 12:01:06 -07:00
Rick Winfrey	9b8845e4ab	Add Type.Array constructor	2017-09-19 12:00:47 -07:00
Rob Rix	79d2ebff30	Merge branch 'master' into alternative-algorithms	2017-09-19 14:39:35 -04:00
Timothy Clem	13b85ac828	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-19 11:31:46 -07:00
Rob Rix	2972f57fe3	🔥 the substructural Context diffing functions.	2017-09-19 14:26:21 -04:00
Rob Rix	99eebab91e	Perform substructural diffing recursively.	2017-09-19 14:21:37 -04:00
Timothy Clem	ee7032edc2	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-19 11:19:43 -07:00
Rob Rix	7adc1863b6	Merge branch 'master' into alternative-algorithms	2017-09-19 14:16:12 -04:00
Timothy Clem	629ac7c67e	Merge branch 'master' into optimized-dedupe	2017-09-19 11:10:39 -07:00
Rob Rix	6f59e2753e	Add a focusing traversal to Diffable.	2017-09-19 14:02:08 -04:00
Rob Rix	f93befa5be	Merge branch 'master' into alternative-algorithms	2017-09-19 13:56:36 -04:00
Rob Rix	f0beb9d2ae	Merge branch 'master' into optimized-dedupe	2017-09-19 13:54:49 -04:00
Timothy Clem	a0a6b87079	Rewrite dedupe with a Map and single pass on the list	2017-09-19 10:50:03 -07:00
Timothy Clem	0693d9ead2	Merge branch 'master' into equal-terms	2017-09-19 10:49:04 -07:00
Timothy Clem	b8ebd83cee	Improved docs	2017-09-19 10:29:25 -07:00
Timothy Clem	2a0133f1f4	Match previous rendering of assignment powered toc summaries	2017-09-19 10:12:52 -07:00
Rob Rix	8938bb371f	Define the Diffable instance for Maybe in terms of diffMaybe.	2017-09-19 12:51:25 -04:00
Rob Rix	450b1bf0a2	Define a Diffable instance for Maybe.	2017-09-19 12:49:34 -04:00
Rob Rix	1d60137752	Define a single GDiffable instance for Rec1.	2017-09-19 12:46:40 -04:00
Rob Rix	708dd429e4	Define a Diffable instance for NonEmpty.	2017-09-19 12:46:24 -04:00
Rob Rix	6e29ab8234	Correct the docs for the Diffable instance for [].	2017-09-19 12:46:15 -04:00
Timothy Clem	7107aec6db	Add a equivalency check for terms	2017-09-19 09:36:12 -07:00
joshvera	b03d17de34	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-19 11:54:51 -04:00
Timothy Clem	2d17064681	No need for this instance	2017-09-19 08:53:01 -07:00
joshvera	a9c9427a3f	fix variableDeclaration	2017-09-19 11:34:27 -04:00
Rob Rix	0747f9474a	Correct the docs for Algorithm.	2017-09-19 10:52:47 -04:00
Rob Rix	5a0c44971e	Diffable uses the Alternative instance.	2017-09-19 10:48:26 -04:00
Rob Rix	7bd3a97a2a	Diffing within Context nodes uses the Alternative instance.	2017-09-19 10:48:14 -04:00
Rob Rix	2bb34475cd	Define diffing by iteration.	2017-09-19 10:46:27 -04:00
Rob Rix	c25cb5e2e3	🔥 an extra ..	2017-09-19 10:02:26 -04:00
Rob Rix	fc99ede202	Short-circuit alternations with empty.	2017-09-19 08:23:33 -04:00
Rob Rix	f467dbbb6b	Apply the Functor law.	2017-09-19 08:17:45 -04:00
Rob Rix	59790063c3	Return an empty value in the underlying Alternative context.	2017-09-19 07:55:30 -04:00
Rob Rix	b70ac76839	📝 the Empty & Alt constructors.	2017-09-19 07:21:31 -04:00
Rob Rix	d768faf60b	Define an Alternative instance for Algorithm.	2017-09-19 07:20:54 -04:00
Rob Rix	29741e74b6	Run diffTermsWith in an Alternative context.	2017-09-19 07:20:31 -04:00
Rob Rix	907e0d2112	Reformat the type signature of diffTermsWith.	2017-09-19 07:20:03 -04:00
Rick Winfrey	8ea8cce99e	Assign ArrayType declarations	2017-09-18 15:01:01 -07:00
Rick Winfrey	6c8e6cc881	Construct a choice rather than an alt of expressions	2017-09-18 15:00:23 -07:00
Rick Winfrey	bc158136bb	Add Diffable' instance for Rec1 Maybe	2017-09-18 14:49:33 -07:00
Rob Rix	d7f5a2c64a	Define a focusing operation for Context nodes.	2017-09-18 16:09:31 -04:00
Rob Rix	2432bc0dcd	🔥 a redundant import.	2017-09-18 16:09:22 -04:00
Rob Rix	c05a1be8c5	🔥 subalgorithmFor.	2017-09-18 16:06:34 -04:00
Rob Rix	69108c6706	Produce diffs from algorithmDeleting/InsertingContext.	2017-09-18 15:35:56 -04:00
Rick Winfrey	17c8a4fd99	🔥 ()	2017-09-18 11:05:10 -07:00
Rick Winfrey	b4ddd023ed	Assign qualifiedTypeDeclaration	2017-09-18 11:04:14 -07:00
Rick Winfrey	f09870ef94	Make qualifiedType to top level assignment	2017-09-18 11:02:57 -07:00
Rick Winfrey	47cabe8890	🔥 general typeSpec	2017-09-18 11:02:09 -07:00
Rob Rix	fec2112e02	Stub in a focusing operation for Context to try to generalize substructural diffing as a distributive law.	2017-09-18 12:54:42 -04:00
Rick Winfrey	293be587d9	Merge branch 'master' into go-assignment	2017-09-18 09:13:00 -07:00
Timothy Clem	fe308277df	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-18 08:03:17 -07:00
joshvera	7e0ba6aea6	s/Apply1/Apply	2017-09-18 10:59:24 -04:00
Rob Rix	a0c5fc79d2	🔥 a redundant import.	2017-09-18 10:51:40 -04:00