1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

2992 Commits

Author SHA1 Message Date
Rob Rix
039e5849ca Revert "Shadow the outer function’s name."
This reverts commit 4cb7c975334d540b9ef08d59724536d2bbd8fda0.
2015-12-14 12:17:35 -05:00
Rob Rix
c004eb739e Revert "Push the inner function out and operate within substrings."
This reverts commit 435ba7a2e35d9a4bb61413b91895b88bf3cb2be9.
2015-12-14 12:17:30 -05:00
Rob Rix
b08bb04767 Push the inner function out and operate within substrings. 2015-12-14 12:16:44 -05:00
Rob Rix
1c3db7ae47 Shadow the outer function’s name. 2015-12-14 12:15:55 -05:00
Rob Rix
ae047f3012 Reorder the parameters for partial application. 2015-12-14 12:15:28 -05:00
Rob Rix
6dbaf9f53a Replace wordy leaves in both terms. 2015-12-14 12:13:18 -05:00
Rob Rix
36747be406 Add a function replacing wordy leaves in a term with branches of per-word leaves. 2015-12-14 12:09:21 -05:00
Rob Rix
0944591fab Add a function computing the ranges of non-whitespace substrings within a string. 2015-12-14 12:08:33 -05:00
Josh Vera
75d76afeb5 Merge pull request #313 from github/split-rendering-of-fixed-nodes
Split rendering of fixed nodes
2015-12-11 12:09:43 -05:00
Rob Rix
aadd8c7f30 Merge branch 'master' into split-rendering-of-fixed-nodes
# Conflicts:
#	src/Split.hs
2015-12-11 11:37:20 -05:00
Rob Rix
1cb41b814a Merge pull request #316 from github/add-script/profile
Add script/profile
2015-12-11 11:33:43 -05:00
Rob Rix
e1ec67968b Merge pull request #315 from github/show-line-numbers
Show line numbers in diffs
2015-12-11 11:29:58 -05:00
joshvera
e92444d87d Remove profiteur from semantic-diff-profile build-depends 2015-12-11 00:16:05 -05:00
joshvera
691c4bac76 keep two running counts 2015-12-11 00:09:42 -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
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
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