10457 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	27ff7ee9ca	Define a smart constructor to diff a These of terms.	2017-02-23 12:25:45 -05:00
Rob Rix	0cfab0205f	Define a constructor for top-level, unconstrained diffs.	2017-02-23 12:24:31 -05:00
Rob Rix	5a63ceb864	Linear algorithms recur linearly.	2017-02-23 12:12:32 -05:00
Rob Rix	6356967923	📝 decompose’s signature.	2017-02-23 12:11:42 -05:00
Rob Rix	06f6192a43	Reformat decompose’s type signature.	2017-02-23 12:10:35 -05:00
Rob Rix	fa42615dc7	Merge remote-tracking branch 'origin/master' into interpreter-decomposition	2017-02-23 12:00:57 -05:00
Rob Rix	6ce9f432b7	Merge remote-tracking branch 'origin/master' into interpreter-decomposition	2017-02-23 12:00:22 -05:00
Timothy Clem	4099ec1a81	Merge pull request #1018 from github/sexpression-text-based-testing ... S-Expression based testing	2017-02-23 08:59:14 -08:00
Timothy Clem	0cd347f2cd	mapM -> traverse	2017-02-23 08:29:55 -08:00
Rob Rix	e94020d68c	Stub in decomposition of RWS.	2017-02-23 11:04:59 -05:00
Rob Rix	6dcfff4716	Loosen the Eq constraint in RWS to an Eq1 constraint.	2017-02-23 11:03:25 -05:00
Rob Rix	361710dd65	Export gliftEq for use with types like Cofree.	2017-02-23 11:01:42 -05:00
Rob Rix	80c51abb31	Define a GEq1 instance for Cofree. ... This is necessary because the `Eq1` instance which `free` provides is for the `Eq1` class provided by `prelude-extras` and not the one found in `Data.Functor.Classes` in `base`.	2017-02-23 10:57:15 -05:00
Timothy Clem	74a97766ef	Map ruby rest_assignment to SplatParameter category	2017-02-22 20:25:46 -08:00
Timothy Clem	7e4c97adfa	map ruby pattern to Args category	2017-02-22 20:22:59 -08:00
Timothy Clem	92f07f660f	Map ruby left_assignment_list to Args category	2017-02-22 20:17:33 -08:00
Timothy Clem	6d8c7b70f7	Map up ruby lambdas to AnonymousFunction category	2017-02-22 20:12:08 -08:00
Timothy Clem	97029a6c47	Better spec names	2017-02-22 20:06:05 -08:00
Timothy Clem	0cf38c583c	Assert to summary json output	2017-02-22 20:05:48 -08:00
Timothy Clem	a0ac9832a8	Move toc spec fixtures	2017-02-22 17:22:50 -08:00
Timothy Clem	38756dba85	sequence fmap -> mapM	2017-02-22 15:23:37 -08:00
Timothy Clem	8c490555ff	RIP Cost	2017-02-22 15:15:32 -08:00
Timothy Clem	f9c26b3ae4	Merge remote-tracking branch 'origin/master' into sexpression-text-based-testing	2017-02-22 15:08:14 -08:00
Josh Vera	8018e61c1b	Merge pull request #1017 from github/bump-tree-sitter-js ... Bump tree sitter js for typescript changes	2017-02-22 17:58:02 -05:00
joshvera	ae56476308	Remove var_assignment and VarAssignment case	2017-02-22 17:49:25 -05:00
Timothy Clem	2da352277b	Make sure fixtures have ending newline	2017-02-22 14:41:30 -08:00
Timothy Clem	ea453bf57e	Transition ruby test fixtures	2017-02-22 14:36:22 -08:00
Timothy Clem	ef17e87366	Only run examples that exist	2017-02-22 14:07:47 -08:00
joshvera	42b25de833	bump javascript tests	2017-02-22 16:58:12 -05:00
joshvera	00a37acb53	Merge remote-tracking branch 'origin/master' into bump-tree-sitter-js	2017-02-22 16:48:26 -05:00
Josh Vera	086f55c6dd	Merge pull request #1016 from github/🔥-cost ... 🔥 cost	2017-02-22 16:45:57 -05:00
joshvera	a452e1acd5	s/var_declaration/variable_declaration	2017-02-22 16:42:36 -05:00
joshvera	49e81c5b46	++tree-sitter-javascript for typescript-extension changes	2017-02-22 16:21:47 -05:00
Timothy Clem	8e29488556	Test B->A diff as well, move to fixtures dir	2017-02-22 11:31:56 -08:00
Timothy Clem	a3331c08e7	Assert parsing	2017-02-22 08:34:31 -08:00
Timothy Clem	b841420101	Read in both parse and diff fixtures	2017-02-22 08:34:31 -08:00
Timothy Clem	80ee905afc	Refactor to always expect filepaths	2017-02-22 08:34:31 -08:00
Timothy Clem	52e4dd435a	Test expression output (based on corpus spec strategy)	2017-02-22 08:34:31 -08:00
Timothy Clem	6165a6dd02	Allow printing only tree of sexpression output	2017-02-22 08:34:31 -08:00
Rob Rix	802fef2d5a	Define an Eq1 instance for Syntax.	2017-02-21 16:26:11 -05:00
Rob Rix	8884e58f43	Define GEq1 instances for a bunch of common functors.	2017-02-21 16:24:55 -05:00
Rob Rix	636e096aab	Define a GEq1 instance for :.: with GEq1 fields.	2017-02-21 16:20:43 -05:00
Rob Rix	98f733cf46	Define a GEq1 instance for :*: with GEq1 fields.	2017-02-21 16:19:23 -05:00
Rob Rix	2fab8ef27a	Define a GEq1 instance for :+: of GEq1 fields.	2017-02-21 16:18:20 -05:00
Rob Rix	a28df10975	Define a GEq1 instance for M1 with GEq1 fields.	2017-02-21 16:16:49 -05:00
Rob Rix	8093a2b5d4	Define a GEq1 instance for Rec1 with GEq1 fields.	2017-02-21 16:16:08 -05:00
Rob Rix	45c78ed7f3	Define a GEq1 instance for K1 with Eq fields.	2017-02-21 16:14:31 -05:00
Rob Rix	3e66861ac4	Define a GEq1 instance for Par1.	2017-02-21 16:13:36 -05:00
Rob Rix	991731e43f	Only export genericLiftEq.	2017-02-21 16:11:31 -05:00
Rob Rix	18374a0397	📝 genericLiftEq.	2017-02-21 16:11:10 -05:00