1873 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	b28038cb63	CofreeType.ana’s argument does not escape.	2015-10-28 12:11:02 -04:00
Rob Rix	79dce9ba64	Implement CofreeType.ana without composition or application operators. ... Once again, Swift doesn’t understand its own transitivity.	2015-10-28 12:10:37 -04:00
Rob Rix	010f45c15e	Cofree.map rethrows errors.	2015-10-28 12:09:04 -04:00
Rob Rix	29e8a7598b	Cofree.map’s argument does not escape.	2015-10-28 12:08:27 -04:00
Rob Rix	17987eff80	Free.ana rethrows errors.	2015-10-28 12:07:23 -04:00
Rob Rix	33bd0c5644	Free.ana’s argument does not escape.	2015-10-28 12:06:30 -04:00
Rob Rix	f469b4f691	Implement Free.ana without application or composition operators. ... Swift can’t trace `noescape` or `rethrows` transitively through them.	2015-10-28 12:05:40 -04:00
Rob Rix	8ca7cf7599	Free.merge’s argument does not escape.	2015-10-28 12:04:56 -04:00
Rob Rix	d7eb23d291	Free.cata rethrows errors.	2015-10-28 11:58:13 -04:00
Rob Rix	9228031f5d	Free.flatMap rethrows errors.	2015-10-28 11:57:29 -04:00
Rob Rix	feabaa01a7	Free.map rethrows errors.	2015-10-28 11:56:49 -04:00
Rob Rix	abab6f3c7b	Free.sum’s cost function does not escape.	2015-10-28 11:55:38 -04:00
Rob Rix	9f60616f8b	Free.reduce’s combining function does not escape.	2015-10-28 11:55:06 -04:00
Rob Rix	2252f8dbe6	Free.analysis rethrows errors.	2015-10-28 11:54:40 -04:00
Rob Rix	11a2d2700a	Free.cata’s argument does not escape.	2015-10-28 11:53:47 -04:00
Rob Rix	d4aaf2eb55	Syntax.map rethrows errors.	2015-10-28 11:51:43 -04:00
Josh Vera	8db8a38d8e	Merge pull request #159 from github/parse-with-tree-sitter ... Integrate with tree-sitter	2015-10-28 10:58:10 -04:00
Rob Rix	602522dd21	A few MB less whitespace.	2015-10-27 19:31:33 -04:00
Rob Rix	3bb61d1cc1	Ignore all JSON files in the UI folder.	2015-10-27 18:59:03 -04:00
Rob Rix	4f1c52ac24	Use a different JSON output for doubt-difftool.	2015-10-27 18:58:35 -04:00
Rob Rix	c129fbcdcd	Load the JSON from the queried path or diff.json.	2015-10-27 18:57:08 -04:00
Rob Rix	74b2099a02	Add a query with the path to the JSON.	2015-10-27 18:56:53 -04:00
Rob Rix	8fbc71270e	Open the URL of the UI.	2015-10-27 18:53:48 -04:00
Rob Rix	bf5b5616d5	Pass the UI page to the difftool.	2015-10-27 18:53:40 -04:00
Rob Rix	e64f01bf03	Load the fixtures and write out the diff to a given path.	2015-10-27 18:46:16 -04:00
Rob Rix	19eb676e8e	Add before/after fixtures.	2015-10-27 18:45:26 -04:00
Rob Rix	c3c391f2cf	Write the output to the third path.	2015-10-27 18:39:11 -04:00
Rob Rix	d120a5dac5	Serialize the diff to JSON.	2015-10-27 18:38:31 -04:00
Rob Rix	33de066844	Diff two terms.	2015-10-27 18:38:25 -04:00
Rob Rix	abfe582247	Use the Term typealias.	2015-10-27 18:37:59 -04:00
Rob Rix	1df957877e	Add a typealias for Terms.	2015-10-27 18:37:34 -04:00
Rob Rix	db01456d8d	Remove the POSIX file reading stuff.	2015-10-27 18:30:02 -04:00
Rob Rix	dfbbabd898	Load files into strings.	2015-10-27 18:29:44 -04:00
Rob Rix	9af1cb41a8	Add a readFile function.	2015-10-27 18:29:27 -04:00
Rob Rix	0eb13e39c0	Extract a function to parse a term.	2015-10-27 18:26:39 -04:00
Rob Rix	c14d82d737	Check that we have a valid file in the TSInput constructor.	2015-10-27 18:23:26 -04:00
Rob Rix	8615eec2c6	Only collect the named children.	2015-10-27 18:20:21 -04:00
Rob Rix	06185b9b4f	Merge branch 'master' into parse-with-tree-sitter ... Conflicts: prototype/Doubt.xcodeproj/project.pbxproj	2015-10-27 18:15:53 -04:00
Rob Rix	97a7a105d2	Map to source ranges.	2015-10-27 18:13:49 -04:00
Josh Vera	0c43f4db08	Merge pull request #162 from github/faster-doubt-json-compiles ... Faster `doubt-json` compiles	2015-10-27 18:13:28 -04:00
Rob Rix	76a67a7d8e	Reformat.	2015-10-27 18:10:17 -04:00
Rob Rix	3f61255915	Capture node names, not strings.	2015-10-27 18:09:30 -04:00
Rob Rix	52a63856a8	Produce indexed nodes.	2015-10-27 18:09:23 -04:00
Rob Rix	1374cf8052	Phrase this as a guard.	2015-10-27 18:07:23 -04:00
Rob Rix	ac2a12a03f	Construct a leaf term.	2015-10-27 18:07:00 -04:00
Rob Rix	5883a4bc8a	Remove copy bundle resources phases.	2015-10-27 18:06:46 -04:00
Rob Rix	3cdcf08707	Share the difftool scheme.	2015-10-27 17:52:56 -04:00
Rob Rix	8f51aa55a6	Remove another temporary.	2015-10-27 16:28:04 -04:00
Rob Rix	0902bf0508	Remove an obsolete typealias.	2015-10-27 16:26:34 -04:00
Rob Rix	fc4098129f	Inline a definition.	2015-10-27 16:26:24 -04:00