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 |
|