8104 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	40211726bc	Add a lazy right-fold to Stream.	2015-09-24 15:10:56 -04:00
Rob Rix	abb625b501	Edit graph vertices.	2015-09-24 13:28:46 -04:00
Rob Rix	a6c419c6e1	Support enums, structs, and variables.	2015-09-23 18:22:27 -04:00
Rob Rix	975ac8fc2f	Term initialization is partial.	2015-09-23 17:37:53 -04:00
Rob Rix	0a4dd8111f	Spit out reflected diffs.	2015-09-23 17:37:29 -04:00
Rob Rix	3a90f09363	Remove the temporary arguments.	2015-09-23 17:01:43 -04:00
Rob Rix	5879e24a10	Copy frameworks into the .app.	2015-09-23 17:01:28 -04:00
Rob Rix	75aa4c0527	Don’t code sign.	2015-09-23 17:01:21 -04:00
Rob Rix	5524e85653	/dev/null → .Empty	2015-09-23 17:01:09 -04:00
Rob Rix	bf350ee2ed	Bump SourceKitten.	2015-09-23 17:00:57 -04:00
Rob Rix	1c60f97bbf	Print the diff between the files.	2015-09-23 16:39:30 -04:00
Rob Rix	53270aacfa	Try to construct terms for the argument files.	2015-09-23 16:37:22 -04:00
Rob Rix	7d05f5206b	Add a BoundsCheckedArray for unpacking arguments.	2015-09-23 16:34:07 -04:00
Rob Rix	ce6fd43eaf	Term JSON constructors are public.	2015-09-23 16:27:29 -04:00
Rob Rix	8f78776d6a	Public constructor for JSON.	2015-09-23 16:26:00 -04:00
Rob Rix	a3aefe8e37	Use a .app target instead.	2015-09-23 16:04:19 -04:00
Rob Rix	74e93a14de	Move Term/JSON conversion into Term.	2015-09-23 13:34:45 -04:00
Rob Rix	9fa5aba516	Add a Swift diff tool target.	2015-09-23 13:32:17 -04:00
Rob Rix	18d35a0beb	Share the Doubt scheme.	2015-09-23 13:31:42 -04:00
Rob Rix	95697e15f8	Doubt.framework does not need to link against SourceKittenFramework &c.	2015-09-23 13:29:05 -04:00
Rob Rix	bd7bcaea00	Explicitly annotate types so we can call without extra parentheses.	2015-09-23 12:32:25 -04:00
Rob Rix	22fa931d4d	Use Term.Roll.	2015-09-23 12:31:28 -04:00
Rob Rix	04550ca9bd	Remove SwiftAST.	2015-09-23 11:35:38 -04:00
Rob Rix	00ff3c2447	We no longer need to namespace these.	2015-09-23 11:34:35 -04:00
Rob Rix	6571de8514	Remove Prism.	2015-09-23 11:34:00 -04:00
Rob Rix	9fdd9f1109	Remove Array/DictionaryConvertible.	2015-09-23 11:33:55 -04:00
Rob Rix	68965379f7	Remove the JSON Prisms.	2015-09-23 11:33:34 -04:00
Rob Rix	7ef8a3f8c0	Clean up.	2015-09-22 17:41:02 -04:00
Rob Rix	f61b025c80	Unpack methods/functions differently from classes/extensions.	2015-09-22 17:40:23 -04:00
Rob Rix	0b6f81f8b7	Don’t test the prism.	2015-09-22 17:39:55 -04:00
Rob Rix	0c5c3910f6	Print the bodies of abstractions.	2015-09-22 17:35:41 -04:00
Rob Rix	8b6e1c1c08	Fix an infinite loop in Doc construction. ... I don’t know how this managed never to be tested.	2015-09-22 17:33:56 -04:00
Rob Rix	5b1f35d7ff	Term constructors.	2015-09-22 17:26:45 -04:00
Rob Rix	a6473b9eff	Abstractions can have >1 elements in their body.	2015-09-22 17:23:48 -04:00
Rob Rix	0c4e9a0b58	Construct a Term from the JSON.	2015-09-22 17:18:22 -04:00
Rob Rix	b7647a46ed	Use the temporary.	2015-09-22 17:17:58 -04:00
Rob Rix	9612325ea8	Add an extension to Term constructing it from JSON.	2015-09-22 17:16:58 -04:00
Rob Rix	401d0b4194	Capture the dictionary in a temporary.	2015-09-22 17:16:38 -04:00
Rob Rix	4a51b786d3	Capture the path in a temporary.	2015-09-22 17:16:25 -04:00
Rob Rix	b1c8394a8f	Convenience constructor for JSON from AnyObject.	2015-09-22 17:15:55 -04:00
Rob Rix	aa82ed1a2b	Remove Swift AST parsing.	2015-09-21 17:35:38 -04:00
Rob Rix	e54bc56d13	Extract document structure with SourceKitten.	2015-09-21 17:32:41 -04:00
Rob Rix	1e9be8b9b0	Prism conjunction.	2015-09-21 17:23:29 -04:00
Rob Rix	1d0a54d62a	Rename Swift to SwiftAST.	2015-09-21 17:01:00 -04:00
Rob Rix	514a863547	Add a mapping convenience for constructed Prisms.	2015-09-21 16:46:48 -04:00
Rob Rix	5daa7d4398	Don’t bother with Iso.	2015-09-21 16:46:32 -04:00
Rob Rix	13f1d70071	We really don’t need this old thing.	2015-09-21 16:45:52 -04:00
Rob Rix	83e3c8e232	Missed a rename.	2015-09-21 16:45:45 -04:00
Rob Rix	ddc020c774	Rename Array/DictionaryType to Array/DictionaryConvertible.	2015-09-21 16:44:24 -04:00
Rob Rix	07d01dc79a	Move DictionaryType to its own file.	2015-09-21 16:43:22 -04:00