10907 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	28cfac7694	Define a Comment syntax type.	2017-03-26 15:35:09 -04:00
Rob Rix	8b2ac42788	Stub in a module for comment syntax.	2017-03-26 15:34:44 -04:00
Rob Rix	a7b8ca680c	Define symbol literals.	2017-03-26 15:32:58 -04:00
Rob Rix	21e9d7093b	Define (possibly interpolated) string literals.	2017-03-26 15:32:48 -04:00
Rob Rix	0d969f682c	Stub in a module to hold types for literal syntax, e.g. array/string/object/hash/symbol/number literals.	2017-03-26 15:30:33 -04:00
Rob Rix	779256e934	Define undifferentiated leaf/branch types.	2017-03-26 12:10:36 -04:00
Rob Rix	4d10edaf9a	Define a Show instance over Unions.	2017-03-26 12:09:15 -04:00
Rob Rix	28caa26d48	Define an Eq instance over Unions.	2017-03-26 12:09:09 -04:00
Rob Rix	7623df365c	Define instances of InUnion to select the correct element from the list of type constructors.	2017-03-26 12:08:00 -04:00
Rob Rix	9486b80efc	Define a typeclass to embed/project elements into/out of a Union.	2017-03-26 12:06:57 -04:00
Rob Rix	df3c26f17b	Define an n-ary union of type-constructors.	2017-03-26 12:06:05 -04:00
Rob Rix	f480bd5ad7	Stub in a module for an n-ary union of type constructors.	2017-03-26 12:05:49 -04:00
Rob Rix	8a5a1dc178	Stub in a module for à la carte Syntax.	2017-03-26 12:02:40 -04:00
Rob Rix	ae114c2023	Merge pull request #1049 from github/custom-setup-stanza ... Custom setup stanza	2017-03-24 14:30:30 -04:00
Rob Rix	e507750069	Merge branch 'master' into custom-setup-stanza	2017-03-24 14:26:25 -04:00
Rob Rix	682032aeb9	Merge pull request #1038 from github/myers-algorithm-in-proof-refinement-style ... Myers’ algorithm in proof refinement style	2017-03-24 14:21:18 -04:00
Rob Rix	e5f018c619	Just say State.	2017-03-24 14:13:41 -04:00
Rob Rix	66706c31de	🔥 diffAt, Cost, &c.	2017-03-24 14:12:14 -04:00
Rob Rix	fedacdc7d5	🔥 continue.	2017-03-24 14:06:57 -04:00
Timothy Clem	c807c8271b	++haskell-tree-sitter to have custom setup stanza	2017-03-24 10:43:43 -07:00
Timothy Clem	c66631cfa6	Add custom-setup stanza to fix build warnings	2017-03-24 10:43:23 -07:00
Rob Rix	2a1fb5ad36	Partially apply decompose.	2017-03-23 16:39:57 -04:00
Rob Rix	f8b3d1490b	Index the state array by Diagonal.	2017-03-23 15:57:13 -04:00
Rob Rix	973d873297	Derive an instance of Ix for Diagonal.	2017-03-23 15:54:46 -04:00
Rob Rix	6ca3d56269	Derive an Ord instance for Diagonal.	2017-03-23 15:52:13 -04:00
Rob Rix	ce0b93dd30	Rename slide -> slideFrom.	2017-03-23 15:50:16 -04:00
Rob Rix	ade6a50b30	Use the state array’s bounds to obviate the need for index transformations.	2017-03-23 15:48:29 -04:00
Rob Rix	95d38df8c4	Add a few more exports.	2017-03-23 15:41:56 -04:00
Rob Rix	a5f33b1bc6	Explicitly enumerate the exports from SES.Myers.	2017-03-23 15:40:17 -04:00
Rob Rix	2b01729a6f	Rename StepF to Step.	2017-03-23 15:38:10 -04:00
Rob Rix	5f9899f6fc	🔥 liftShowsQuaternary & liftShowsQuinary.	2017-03-23 15:35:11 -04:00
Rob Rix	7f13ef23a2	📝 all the things.	2017-03-23 15:34:52 -04:00
Rob Rix	70b825ecbb	Move State into the implementation details section.	2017-03-23 14:55:12 -04:00
Rob Rix	af04668fc5	Move ses into its own section.	2017-03-23 14:54:18 -04:00
Rob Rix	8a5d2f1fa7	Represent downward/rightward moves explicitly in the DSL.	2017-03-23 14:51:45 -04:00
Rob Rix	2118ea17d1	SetK takes an endpoint.	2017-03-23 14:34:32 -04:00
Rob Rix	2567d185c8	Placate hlint.	2017-03-23 14:34:04 -04:00
Rob Rix	19c559ab74	Endpoints carry edit scripts.	2017-03-23 14:31:50 -04:00
Rob Rix	347e96f31a	Add phantom type parameters to Endpoint.	2017-03-23 14:22:56 -04:00
Rob Rix	1ab51de582	Update the failing test’s fixture. ... I’m pretty sure this is due to us producing a different shortest edit script than the old implementation (but still a correct one, and a shortest one—just a different correct/shortest one), and that in turn causing RWS to make different choices.	2017-03-23 14:21:09 -04:00
Rob Rix	a13c7f009f	Correct the type annotations in the tests.	2017-03-23 14:14:03 -04:00
Rob Rix	452842b197	Correct the calls into SES from lcs & editDistance.	2017-03-23 14:08:52 -04:00
Rob Rix	759b5515f9	ses is the main entry point.	2017-03-23 13:28:40 -04:00
Rob Rix	7a0efc3391	🔥 the bounds check in runSearchAlongK.	2017-03-23 13:24:38 -04:00
Rob Rix	3130ae48e9	Bounds-check k in searchUpToD.	2017-03-23 13:24:27 -04:00
Rob Rix	77a58106d5	Merge remote-tracking branch 'origin/master' into myers-algorithm-in-proof-refinement-style	2017-03-23 10:58:19 -04:00
Rob Rix	17fad7ce14	Tidy up slide evaluation.	2017-03-23 10:48:51 -04:00
Rob Rix	88b4e5fe06	🔥 getEq.	2017-03-23 10:46:30 -04:00
Rob Rix	ee0554c22b	Read the comparator from the environment.	2017-03-23 10:46:03 -04:00
Rob Rix	41928ba594	Read the edit graph from the environment instead of passing it around.	2017-03-23 10:44:24 -04:00