1799 Commits

Author	SHA1	Message	Date
Rob Rix	02af784036	Nothing ever flat maps a Free.	2015-11-03 11:18:13 -05:00
Rob Rix	4169d8d554	Switch in Free.cata directly.	2015-11-03 11:17:41 -05:00
Rob Rix	13c37a1178	Nothing ever maps an Algorithm either.	2015-11-03 11:15:33 -05:00
Rob Rix	45ecdde53a	Remove Algorithm.analysis.	2015-11-03 11:15:01 -05:00
Rob Rix	90cd2ee2d7	Nothing ever flat maps an Algorithm.	2015-11-03 11:13:59 -05:00
Rob Rix	c15c2715f5	Rewrite annotating hylo without composition.	2015-11-03 11:04:04 -05:00
Rob Rix	b6436e91f6	Rewrite hylo without composition.	2015-11-03 11:03:57 -05:00
Rob Rix	022de3c657	TermType.para rethrows errors.	2015-11-03 10:40:19 -05:00
Rob Rix	196ab28c13	TermType.cata rethrows errors.	2015-11-03 10:40:12 -05:00
Rob Rix	2a102aad02	Fix a doc comment.	2015-11-03 10:39:59 -05:00
Rob Rix	1442bc6cf7	CofreeType.cata rethrows errors.	2015-11-03 10:39:42 -05:00
Rob Rix	e4e57932cf	Remove unused operators.	2015-11-03 10:38:18 -05:00
Rob Rix	ea966e9780	Don’t debug doc versioning when profiling.	2015-11-03 10:32:44 -05:00
Rob Rix	17d101f17c	Move ChildrenCollection outside of TSNode. ... This is necessary to be able to link in release config.	2015-11-03 10:20:31 -05:00
Rob Rix	a0b3738ee2	Benchmark parsing both inputs.	2015-11-03 10:20:15 -05:00
Rob Rix	74fa7ba1b4	Benchmark diffing.	2015-11-03 10:20:11 -05:00
Rob Rix	c1b7993895	Benchmark formatting with a label.	2015-11-03 10:20:02 -05:00
Rob Rix	2651c5ac51	benchmark rethrows.	2015-11-03 10:19:51 -05:00
Rob Rix	a646f03748	Switch on the right parameter.	2015-11-02 18:11:51 -05:00
Rob Rix	c6ad7e3df2	Remove the doubt-json scheme.	2015-11-02 18:11:17 -05:00
Rob Rix	3865fe9e71	Fix the test of dumbness.	2015-11-02 18:09:14 -05:00
Rob Rix	2ec0a752a0	Remove an unused value.	2015-11-02 18:06:54 -05:00
Rob Rix	586e8cdf6b	Consider nil TERM to be dumb.	2015-11-02 18:06:23 -05:00
Rob Rix	74714da9d7	Output the raw values, not names.	2015-11-02 18:03:49 -05:00
Rob Rix	c89aa9c16f	Red and green, bold.	2015-11-02 18:03:02 -05:00
Rob Rix	a22491ceda	Console attributes.	2015-11-02 18:02:37 -05:00
Rob Rix	75703e1561	Should we format?	2015-11-02 17:41:56 -05:00
Rob Rix	e4ff0e4a89	Is it a dumb TTY?	2015-11-02 17:39:47 -05:00
Rob Rix	1934d65b99	Are we talking to a TTY?	2015-11-02 17:39:42 -05:00
Rob Rix	a78564506b	Format the terms.	2015-11-02 17:30:41 -05:00
Rob Rix	8c2e1f6f50	Sort keyed children using the ordering.	2015-11-02 17:29:43 -05:00
Rob Rix	a740dcceee	Add a partial ordering on keyed children.	2015-11-02 17:29:35 -05:00
Rob Rix	84e111c1c1	Stringify keyed terms.	2015-11-02 17:28:21 -05:00
Rob Rix	02c31d7be4	Stringify fixed terms.	2015-11-02 17:26:38 -05:00
Rob Rix	1242534be6	Stringify indexed terms.	2015-11-02 17:26:28 -05:00
Rob Rix	700e2a84a1	Return ranges out when computing term strings.	2015-11-02 17:26:23 -05:00
Rob Rix	3c3bbc3cb9	Copy out term leaf ranges.	2015-11-02 17:24:22 -05:00
Rob Rix	975cfb427c	Stub in stringification of terms.	2015-11-02 17:22:39 -05:00
Rob Rix	ae5b50bcdf	CofreeType.cata’s transformation block receives the annotation.	2015-11-02 17:22:24 -05:00
Rob Rix	ed9ca09909	Duplicate cata for CofreeType.	2015-11-02 17:20:42 -05:00
Rob Rix	4f03d5355b	🔥 Free.para.	2015-11-02 17:18:56 -05:00
Rob Rix	43100a0432	Sort keyed elements by fiat	2015-11-02 17:15:39 -05:00
Rob Rix	2ca27681aa	Pass both strings to Patch stringification.	2015-11-02 17:15:27 -05:00
Rob Rix	523d7a441e	Use the context-printing function for indexed syntax.	2015-11-02 16:15:34 -05:00
Rob Rix	d015f972ae	Use the new context printing function for fixed syntax.	2015-11-02 16:15:13 -05:00
Rob Rix	7ac4c9ee03	Add a private function to splat out context.	2015-11-02 16:14:03 -05:00
Rob Rix	b858c164d8	Term printing is private.	2015-11-02 16:11:55 -05:00
Rob Rix	1027f6b67f	Use accurate ranges where possible.	2015-11-02 16:07:57 -05:00
Rob Rix	144f6ba2c2	Ranges can be nil.	2015-11-02 16:07:34 -05:00
Rob Rix	44dbf62d7c	Print and benchmark the diff.	2015-11-02 16:03:09 -05:00