Rob Rix
|
db035a8009
|
📝
|
2016-06-16 11:45:53 -04:00 |
|
Rob Rix
|
811b623652
|
Add a Record datatype.
|
2016-06-16 11:42:19 -04:00 |
|
Rob Rix
|
d596c02e74
|
:=> and field are shorthand for Tagged.
|
2016-06-16 11:40:43 -04:00 |
|
Rob Rix
|
d4b63443ab
|
Add a simple phantom type tagger.
|
2016-06-16 11:38:29 -04:00 |
|
Rob Rix
|
3809f3ee43
|
Stub in a Data.Record module.
|
2016-06-16 11:30:11 -04:00 |
|
Josh Vera
|
4139ce438a
|
Merge pull request #610 from github/alternate-git-directories
Add alternative odb's for repositories
|
2016-06-08 11:18:26 -04:00 |
|
Rick Winfrey
|
83a2c3adab
|
Add alternate object directories to a repository
|
2016-06-07 15:41:42 -05:00 |
|
Josh Vera
|
6702e233f3
|
Merge pull request #607 from github/quis-lintiet-ipsos-lintes
Who lints the linter itself?
|
2016-06-06 18:51:35 -04:00 |
|
Josh Vera
|
0808fc33b4
|
Merge branch 'master' into quis-lintiet-ipsos-lintes
|
2016-06-06 18:46:20 -04:00 |
|
Josh Vera
|
ae38de71dc
|
Merge pull request #575 from github/benchmark-alignment
Generative benchmarking
|
2016-06-06 16:24:51 -04:00 |
|
Rob Rix
|
aff68584eb
|
🔥 a redundant hint.
|
2016-06-06 16:16:34 -04:00 |
|
Rob Rix
|
e7f3422206
|
Specifically import the Default, Dollar, and Generalise modules.
|
2016-06-06 16:16:17 -04:00 |
|
Rob Rix
|
5307b52a23
|
Import the default set of HLint hints.
|
2016-06-06 16:12:23 -04:00 |
|
Rob Rix
|
893f53fa08
|
🔥 some unused setup from the numberedRows benchmark.
|
2016-06-06 13:09:17 -04:00 |
|
Rob Rix
|
44a1599afa
|
🔥 redundant imports.
|
2016-06-06 13:06:09 -04:00 |
|
Rob Rix
|
de41789aab
|
🔥 the pointless numberedRows benchmark.
|
2016-06-06 13:06:04 -04:00 |
|
Rob Rix
|
dfa3b3fd66
|
Merge branch 'master' into benchmark-alignment
|
2016-06-06 13:05:00 -04:00 |
|
Rob Rix
|
81fc2ea122
|
Don’t try to create replacements of size 1.
|
2016-06-06 13:04:54 -04:00 |
|
Rob Rix
|
a18b5bb4f0
|
🔥 a redundant import.
|
2016-06-06 13:04:35 -04:00 |
|
Rick Winfrey
|
eb08f8345a
|
Merge pull request #605 from github/weekly-notes
Weekly notes for 06/06
|
2016-06-06 11:36:18 -05:00 |
|
Rob Rix
|
3ff913299a
|
patchOf takes a pair of generators.
|
2016-06-06 12:35:37 -04:00 |
|
Rob Rix
|
651795ea7d
|
Replace was doubling the size of patches; don’t do that.
|
2016-06-06 12:34:35 -04:00 |
|
Rob Rix
|
314bd97742
|
Correct the metric on diffs to sum the patches.
|
2016-06-06 12:30:49 -04:00 |
|
Rob Rix
|
441d617ae3
|
Move the Base and Unfoldable instances for ArbitraryTerm into Term.Arbitrary.
|
2016-06-06 12:30:16 -04:00 |
|
Rob Rix
|
29758790c7
|
I’m really not clear on how this even got committed.
|
2016-06-06 12:27:27 -04:00 |
|
Rob Rix
|
c9763c43ba
|
Use the sizing functions in TermSpec.
|
2016-06-06 12:26:06 -04:00 |
|
Rob Rix
|
c173c38a6c
|
Generate and shrink patches.
|
2016-06-06 12:25:47 -04:00 |
|
Rob Rix
|
6450f42e6a
|
Add a function to compute the size of ArbitraryDiffs.
|
2016-06-06 12:25:37 -04:00 |
|
Rob Rix
|
632b222f48
|
Add a function to compute the size of an ArbitraryTerm.
|
2016-06-06 12:15:16 -04:00 |
|
joshvera
|
f92614fb7e
|
Add weekly notes for 06/06/2016
|
2016-06-06 12:15:08 -04:00 |
|
joshvera
|
9df5b439a4
|
s/2015/2016
|
2016-06-06 12:14:58 -04:00 |
|
Rob Rix
|
74092797bc
|
Use patchOf in the Arbitrary instance.
|
2016-06-06 12:09:30 -04:00 |
|
Rob Rix
|
825f6ceeb3
|
Add a generator of patches parameterized by another generator.
|
2016-06-06 12:09:00 -04:00 |
|
Rob Rix
|
29a725b125
|
Move ArbitraryDiff into semantic-diff proper.
|
2016-06-06 12:07:07 -04:00 |
|
Rob Rix
|
1109fdf32c
|
🔥 redundant imports.
|
2016-06-06 11:51:30 -04:00 |
|
Rob Rix
|
0321a97285
|
🔥 arbitraryLeaf.
|
2016-06-06 11:51:25 -04:00 |
|
Rob Rix
|
8780ea3f26
|
Move the Arbitrary instances for Join (,) and Join These into semantic-diff proper.
|
2016-06-06 11:50:45 -04:00 |
|
Rob Rix
|
4eb76ff3a3
|
Move the Arbitrary instance for Data.These into semantic-diff proper.
|
2016-06-06 11:46:30 -04:00 |
|
Rob Rix
|
378b577175
|
Move the Arbitrary instance for Patch into semantic-diff proper.
|
2016-06-06 11:43:38 -04:00 |
|
Rick Winfrey
|
be6f33c72f
|
Merge pull request #572 from github/push-benchmarks-to-graphite
Push stats to graphite
|
2016-06-06 10:42:25 -05:00 |
|
Rob Rix
|
31ea0fcee1
|
Merge branch 'master' into push-benchmarks-to-graphite
|
2016-06-06 11:39:14 -04:00 |
|
Rob Rix
|
a613fa0369
|
Merge branch 'push-benchmarks-to-graphite' into benchmark-alignment
|
2016-06-06 11:36:48 -04:00 |
|
Josh Vera
|
e2d6480c4a
|
Merge pull request #602 from github/program-and-error-categories
Program and error categories
|
2016-06-06 11:33:49 -04:00 |
|
Rob Rix
|
b1b9103a69
|
Whoops.
|
2016-06-06 11:29:40 -04:00 |
|
Josh Vera
|
8f51047c54
|
Merge branch 'master' into program-and-error-categories
|
2016-06-06 11:28:22 -04:00 |
|
Rob Rix
|
c51909aca6
|
Merge branch 'master' into push-benchmarks-to-graphite
|
2016-06-06 11:00:44 -04:00 |
|
Josh Vera
|
1152e5ad5f
|
Merge pull request #603 from github/fix-the-benchmarks
Fix the benchmarks
|
2016-06-06 10:54:27 -04:00 |
|
Rob Rix
|
ce3b25d82d
|
Merge branch 'fix-the-benchmarks' into push-benchmarks-to-graphite
|
2016-06-06 09:42:26 -04:00 |
|
Rob Rix
|
6f0bebe2fb
|
Merge branch 'master' into fix-the-benchmarks
|
2016-06-06 09:28:53 -04:00 |
|
Rob Rix
|
955cd9c045
|
Merge remote-tracking branch 'origin/push-benchmarks-to-graphite' into push-benchmarks-to-graphite
|
2016-06-06 09:23:19 -04:00 |
|