Rob Rix
|
54166e7662
|
Add an ArbitraryTerm newtype.
|
2015-12-10 23:45:05 -05:00 |
|
joshvera
|
a9291c55a5
|
unused num
|
2015-12-10 23:43:25 -05:00 |
|
joshvera
|
bb35606186
|
Remove column group stuff
|
2015-12-10 23:43:19 -05:00 |
|
Rob Rix
|
60791ffc15
|
import QuickCheck.
|
2015-12-10 23:40:42 -05:00 |
|
joshvera
|
cb03807771
|
Just set the width to 40px
|
2015-12-10 23:40:12 -05:00 |
|
joshvera
|
83925fb6f2
|
Remove unused RowWithLine
|
2015-12-10 23:39:05 -05:00 |
|
joshvera
|
6c423dc3b9
|
Move the explicit annotation to the numberRows function
|
2015-12-10 23:38:54 -05:00 |
|
Rob Rix
|
ec655117d2
|
Link the tests against QuickCheck.
|
2015-12-10 23:38:01 -05:00 |
|
joshvera
|
61be444b6f
|
Ignore profile artifacts
|
2015-12-10 23:34:54 -05:00 |
|
joshvera
|
c8b5cad4e4
|
Build a separate target when profiling
|
2015-12-10 23:34:53 -05:00 |
|
joshvera
|
f328da82f6
|
Ignore hp heap files
|
2015-12-10 23:34:53 -05:00 |
|
joshvera
|
13f413c0fb
|
Ignore profile and profiteur output
|
2015-12-10 23:34:53 -05:00 |
|
joshvera
|
d2595b16cb
|
just construct a tuple
|
2015-12-10 21:13:24 -05:00 |
|
joshvera
|
9647c7f25f
|
Show line numbers in diffs
|
2015-12-10 18:21:10 -05:00 |
|
joshvera
|
d42e88f18f
|
Add some styles
|
2015-12-10 18:20:29 -05:00 |
|
Rob Rix
|
c7695b729d
|
Use the ranges binding.
|
2015-12-10 17:33:11 -05:00 |
|
Rob Rix
|
32f8b03461
|
Remove the redundant Control.Monad import.
|
2015-12-10 17:31:28 -05:00 |
|
Rob Rix
|
6afa81a197
|
Split rendering of Fixed nodes in Free .
|
2015-12-10 17:30:48 -05:00 |
|
Rob Rix
|
18b50a05ab
|
Handle Indexed inside annotatedToRows .
|
2015-12-10 17:30:18 -05:00 |
|
Rob Rix
|
92d5d9cf4f
|
Match on syntax inside annotatedToRows .
|
2015-12-10 17:27:23 -05:00 |
|
Rob Rix
|
00826a1a82
|
Split rendering of Fixed terms in Patches.
|
2015-12-10 17:26:16 -05:00 |
|
Josh Vera
|
7ca6481cec
|
Merge pull request #285 from github/fall-back-to-line-by-line-diffs
Fall back to line by line diffs
|
2015-12-10 17:11:35 -05:00 |
|
joshvera
|
984c4615c9
|
Merge remote-tracking branch 'origin/master' into fall-back-to-line-by-line-diffs
|
2015-12-10 17:06:08 -05:00 |
|
Josh Vera
|
a74c46b740
|
Merge pull request #283 from github/abstract-parsers
Abstract parsers
|
2015-12-10 17:05:46 -05:00 |
|
joshvera
|
340a47bbe2
|
Merge remote-tracking branch 'origin/master' into abstract-parsers
|
2015-12-10 17:05:15 -05:00 |
|
Rob Rix
|
27c047925b
|
Merge pull request #274 from github/fix-alignment-issues
Fix some alignment issues
|
2015-12-10 16:50:51 -05:00 |
|
Josh Vera
|
e4529cb0d7
|
Merge pull request #307 from github/represent-newlines-at-end-of-lines
Represent newlines at end of lines
|
2015-12-10 16:48:40 -05:00 |
|
Rob Rix
|
a9bb3583e7
|
Fix a faulty test.
|
2015-12-10 16:47:10 -05:00 |
|
Rob Rix
|
7f77b39b78
|
Don’t make empty text/etc nodes.
|
2015-12-10 16:46:38 -05:00 |
|
Rob Rix
|
60b9e630a8
|
More binding.
|
2015-12-10 16:43:34 -05:00 |
|
Rob Rix
|
674301ce1f
|
Last returns non-Nothing , so bind instead.
|
2015-12-10 16:43:31 -05:00 |
|
Rob Rix
|
85d141e924
|
Test that openLine returns Nothing for closed lines.
|
2015-12-10 16:31:00 -05:00 |
|
Rob Rix
|
d9e63c0331
|
Clarify a test name.
|
2015-12-10 16:30:52 -05:00 |
|
Rob Rix
|
6a73248a46
|
Test that openLine will produce open lines.
|
2015-12-10 16:29:18 -05:00 |
|
Rob Rix
|
69307c76d1
|
Only adjoin the rows once.
|
2015-12-10 16:23:33 -05:00 |
|
Rob Rix
|
167ad6087b
|
Only adjoin onto open lines.
|
2015-12-10 16:11:44 -05:00 |
|
Rob Rix
|
57a3062446
|
Fold adjoin2Lines over leaves.
|
2015-12-10 16:11:13 -05:00 |
|
Rob Rix
|
db23e4792d
|
Compose.
|
2015-12-10 15:50:35 -05:00 |
|
Rob Rix
|
470777bde9
|
Fold using adjoin2Lines instead of combining using adjoinLines.
|
2015-12-10 15:50:32 -05:00 |
|
Rob Rix
|
15f27c5faa
|
We have a leaf for the purposes of this test.
|
2015-12-10 15:48:23 -05:00 |
|
Rob Rix
|
9619d2fa7f
|
That is not how any of this works.
|
2015-12-10 15:47:34 -05:00 |
|
Rob Rix
|
46bd5bc545
|
Test that termToLines produces complete lines.
|
2015-12-10 15:41:02 -05:00 |
|
Rob Rix
|
200037b509
|
Test whether the last element in a Line is open.
|
2015-12-10 15:34:11 -05:00 |
|
Rob Rix
|
c2f54ce8d8
|
Determine whether the last in a list of HTML elements is open or not.
|
2015-12-10 15:31:53 -05:00 |
|
Rob Rix
|
325d6e6a73
|
Add a test of multi-line patches.
|
2015-12-10 15:11:56 -05:00 |
|
Rob Rix
|
ed87838de6
|
Add a trace' function to help trace some bugs.
|
2015-12-10 15:11:42 -05:00 |
|
Rob Rix
|
3e8517a2a3
|
Full width tables.
|
2015-12-10 14:50:08 -05:00 |
|
Rob Rix
|
e4b5c97db2
|
Don’t add an empty/empty row when one side or the other is closed.
|
2015-12-10 14:35:08 -05:00 |
|
Rob Rix
|
14de32f3e9
|
Don’t adjoin empty/empty rows onto the top.
|
2015-12-10 14:34:52 -05:00 |
|
joshvera
|
1b370a059d
|
rename some tests
|
2015-12-10 14:26:49 -05:00 |
|