10476 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	6ecbe9538f	📝 GEq1.	2017-02-21 16:10:07 -05:00
Rob Rix	c5e9a5d6cd	Define a GEq1 instance for U1.	2017-02-21 16:08:46 -05:00
Rob Rix	64e0c00353	Define a generic liftEq for Generic1 types with GEq1 instances.	2017-02-21 16:08:35 -05:00
Rob Rix	1cd3216f47	Stub in a GEq1 typeclass.	2017-02-21 16:03:35 -05:00
Rob Rix	e31191f4fa	Stub in a module for a generic Eq1 instance.	2017-02-21 16:00:36 -05:00
Rob Rix	dc1dd0e781	Merge branch 'master' into 🔥-cost	2017-02-21 15:51:11 -05:00
Rob Rix	178a942166	Merge pull request #1011 from github/gadt-algorithm ... AlgorithmF refactoring	2017-02-21 15:50:20 -05:00
Rob Rix	b48a15e277	Specialize decompose to record annotations.	2017-02-21 15:41:07 -05:00
Rob Rix	e7cc5a9c6e	Merge branch '🔥-cost' into interpreter-decomposition	2017-02-21 15:35:41 -05:00
Rob Rix	7daf9b3571	Merge branch 'gadt-algorithm' into interpreter-decomposition	2017-02-21 15:32:32 -05:00
Rob Rix	fe326bcf03	🔥 the comparability parameter to diffTerms.	2017-02-21 15:23:30 -05:00
Rob Rix	c4f37454d6	🔥 the construct parameter to diffTerms.	2017-02-21 15:17:35 -05:00
Rob Rix	04b929822e	🔥 Cost.	2017-02-21 14:58:39 -05:00
Rob Rix	d288ec1d17	🔥 cost & setCost.	2017-02-21 14:56:34 -05:00
Rob Rix	a7d73e9bf1	🔥 termCostDecorator.	2017-02-21 14:54:54 -05:00
Rob Rix	7be2232bb6	🔥 parserWithCost.	2017-02-21 14:54:23 -05:00
Rob Rix	6526076056	Don’t decorate terms with costs.	2017-02-21 14:53:42 -05:00
Rob Rix	d90957c4ba	parserForFilepath does not decorate with Cost.	2017-02-21 14:52:17 -05:00
Rob Rix	7f2b274668	Diffing does not require the presence of a Cost field.	2017-02-21 14:49:22 -05:00
Rob Rix	67b162895c	🔥 costs from Split output.	2017-02-21 14:48:03 -05:00
Rob Rix	cc776a2f6d	🔥 SES algorithms.	2017-02-21 14:35:22 -05:00
Rob Rix	01c47fa0c1	🔥 the computation of costs.	2017-02-21 14:34:24 -05:00
Rob Rix	691f7cfebf	Correct the docs for the smart constructors.	2017-02-21 14:03:57 -05:00
Rob Rix	c966257fc8	Decompose deletions, insertions, and replacements.	2017-02-21 13:55:06 -05:00
Rob Rix	330873659c	Merge branch 'master' into gadt-algorithm	2017-02-21 13:46:01 -05:00
Rob Rix	dfc992ad0e	Merge pull request #1014 from github/update-tree-sitter-scripts ... Small script to make updating tree-sitter a bit easier	2017-02-21 13:45:40 -05:00
Rob Rix	3b71c510e7	Define a function decomposing an algorithm into its next steps.	2017-02-21 13:40:59 -05:00
Rob Rix	c198dac33d	Add galignWith to the GAlign typeclass.	2017-02-21 13:37:28 -05:00
Josh Vera	229712cc73	Merge branch 'master' into gadt-algorithm	2017-02-21 12:20:35 -05:00
Josh Vera	a8e921fe2d	Merge pull request #1013 from github/bump-languages ... Bump Ruby and JavaScript parsers	2017-02-21 12:19:34 -05:00
Rob Rix	9cf6b262eb	Add Delete, Insert, and Replace algorithms.	2017-02-21 11:40:13 -05:00