31 Commits

Author	SHA1	Message	Date
Rob Rix	d3819ac386	Use the Source API to round-trip through Text.	2017-02-16 13:08:23 -05:00
Rob Rix	b33bf134b4	Test that whole strings survive the utf8 roundtrip.	2017-02-16 11:53:49 -05:00
Rob Rix	fed316c977	Test that encoding/decoding roundtrips are idempotent.	2017-02-16 11:27:50 -05:00
Rob Rix	ab8e407df3	Get the tests compiling again.	2017-02-14 15:42:14 -05:00
Rob Rix	e0fe090074	Test actualLineRanges over Source directly.	2017-02-13 11:58:30 -05:00
Rob Rix	e03c8abb69	Test Source properties with LeanCheck.	2017-02-13 10:55:57 -05:00
Rob Rix	bc2a29d84e	Source is no longer parametric in the character type.	2017-02-10 11:21:24 -05:00
Rob Rix	ac4df9a7b3	Remove the Foldable instance for Source.	2017-02-09 17:10:16 -05:00
joshvera	deb5a0f018	Fix SourceSpan in tests	2016-10-11 15:12:48 -04:00
Rob Rix	86d2a3950f	Revert "🔥 a redundant import." ... This reverts commit dc5698979818d0057eb558ec3ce2d8e09c941f44.	2016-09-14 02:44:26 -04:00
Rob Rix	85bb9d577a	Revert "Move totalSpan into Source." ... This reverts commit 3085a4efe5b6b3e8807df6a05db784afccab58e2.	2016-09-14 02:41:28 -04:00
Rob Rix	25306dba99	🔥 a redundant import.	2016-09-14 02:19:24 -04:00
Rob Rix	6317228466	Move totalSpan into Source.	2016-09-14 01:57:51 -04:00
Rob Rix	a6633a5351	🔥 a redundant binding.	2016-09-13 15:10:49 -04:00
Rob Rix	1c335df1f0	Verify that sourceSpanToRange computes correct ranges within lines.	2016-09-13 15:04:17 -04:00
Rob Rix	e6f4db8ee8	Compute the insetting of SourceSpans & Ranges.	2016-09-13 15:03:58 -04:00
Rob Rix	50e5f8a411	Verify that sourceSpanToRange computes multi-line ranges.	2016-09-13 14:27:52 -04:00
Rob Rix	8de562b88e	Verify that totalSpan covers multiple lines.	2016-09-13 14:27:36 -04:00
Rob Rix	1b890bcde4	Verify that totalSpan covers single lines.	2016-09-13 14:27:29 -04:00
Rob Rix	8bdf162874	Rename the line-by-line test.	2016-09-13 14:27:15 -04:00
Rob Rix	c157962785	Add a helper to compute the total span of some source.	2016-09-13 14:27:05 -04:00
Rob Rix	6ce0ce5e26	Indentation.	2016-09-13 13:14:02 -04:00
Rob Rix	c5fed4ac25	Test sourceSpanToRange across arbitrary sources.	2016-09-13 12:37:59 -04:00
Rob Rix	61dd23789d	Rename the test.	2016-09-13 12:32:28 -04:00
Rob Rix	5459bd4313	🔥 This was wrong.	2016-09-13 12:23:25 -04:00
Rob Rix	77ddc0abd8	Source spans are zero-indexed.	2016-09-13 12:23:05 -04:00
Rob Rix	b7d9ab1875	Add a trivial test of SourceSpan -> Range computation.	2016-09-13 12:09:18 -04:00
Rob Rix	076f5c0d1e	Stub in a spec for sourceSpanToRange.	2016-09-13 11:59:46 -04:00
Rob Rix	b5d14e702c	Test that actualLineRanges is exhaustive.	2016-09-13 11:56:43 -04:00
Rob Rix	04519db7a9	Verify that actualLineRanges produces the intended # of lines.	2016-09-13 11:39:27 -04:00
Rob Rix	dcc164d09f	Add a spec for Source.	2016-09-13 11:35:10 -04:00