1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Commit Graph

7835 Commits

Author SHA1 Message Date
Rob Rix
c59bb6ebfe 🔥 the Constructor type synonym. 2016-07-14 16:34:02 -04:00
Rob Rix
7c2a0d5cbb Generalize termConstructor over extensible record annotations. 2016-07-14 16:33:53 -04:00
Rob Rix
74df628f17 Weaken Interpreter’s constraint on annotations to Eq. 2016-07-14 16:18:06 -04:00
Rob Rix
1a2004fc78 Generalize split rendering over extensible record annotations. 2016-07-14 16:11:06 -04:00
Rob Rix
548b7936a7 Generalize patch rendering over extensible record annotations. 2016-07-14 16:10:51 -04:00
Rob Rix
efe868b01a Generalize the ToJSON instances over extensible record annotations. 2016-07-14 16:10:29 -04:00
Rob Rix
cd19193471 Avoid requiring Show instances everywhere. 2016-07-14 15:59:23 -04:00
Rob Rix
4d6ab97691 Placate hlint. 2016-07-14 15:53:52 -04:00
Rob Rix
edaf78c7ce 🔥 the import of the Info symbol. 2016-07-14 15:51:30 -04:00
Rob Rix
3166b53f52 Generalize diffSummary to extensible record annotations. 2016-07-14 15:51:09 -04:00
Rob Rix
0bbe856d3d Generalize diffSummary' to extensible record annotations. 2016-07-14 15:50:38 -04:00
Rob Rix
ea6ff00a7a Generalize the HasCategory instance over terms to extensible record annotations. 2016-07-14 15:49:58 -04:00
Rob Rix
8828adf0bd Generalize maybeTermName over HasField. 2016-07-14 15:49:10 -04:00
joshvera
9a01466bfc Merge branch 'syntax-redux' into pretty-print-summaries 2016-07-14 15:30:15 -04:00
Rick Winfrey
85ddbcbcba Merge branch 'syntax-redux' of github.com:github/semantic-diff into syntax-redux 2016-07-14 14:26:07 -05:00
joshvera
27c338331f Merge remote-tracking branch 'origin/master' into syntax-redux 2016-07-14 15:22:46 -04:00
Rick Winfrey
2354cfa45a Add diff summary property test verifying no changes results in no diff summaries. 2016-07-14 14:21:14 -05:00
joshvera
453334d966 Use wl-pprint-text to pretty print diff summaries 2016-07-14 14:44:18 -04:00
joshvera
58ff433dd0 Merge remote-tracking branch 'origin/master' into pretty-print-summaries 2016-07-14 14:38:46 -04:00
Josh Vera
ac205a0e7e Merge pull request #635 from github/generalize-summaries-over-records
Generalize summaries over records
2016-07-14 14:36:06 -04:00
Rob Rix
9e9622ef10 🔥 a redundant import. 2016-07-14 14:25:49 -04:00
Rob Rix
7304d79e53 Don’t import the Info type synonym. 2016-07-14 14:25:43 -04:00
Rob Rix
f51b1724fe Generalize diffSummary over records. 2016-07-14 14:25:37 -04:00
Rob Rix
13d2dfc24f Generalize termToDiffInfo over records. 2016-07-14 14:25:27 -04:00
Rob Rix
fa44ef74d8 🔥 the HasCategory instance over Info. 2016-07-14 14:23:51 -04:00
Rob Rix
577ca768bb Get the category name from the Term instance. 2016-07-14 14:23:44 -04:00
Rob Rix
63a37920ac Generalize HasCategory over categorizable terms. 2016-07-14 14:19:47 -04:00
Rob Rix
51b55cc1b4 Generalize toTermName over record annotations. 2016-07-14 14:19:15 -04:00
Rob Rix
323c426e24 Rename the diff cost function & generalize over records. 2016-07-14 14:14:21 -04:00
Rob Rix
2d910a6668 Placate hlint a little further. 2016-07-14 14:12:15 -04:00
Rob Rix
2826a7948a 🔥 a redundant definition. 2016-07-14 14:07:33 -04:00
Rob Rix
b9b0bda2bd 🔥 a redundant import. 2016-07-14 14:07:22 -04:00
Rob Rix
2a85ef7668 Placate hlint. 2016-07-14 14:07:15 -04:00
joshvera
1c65d03618 Output a diff summary for empty branch syntax nodes 2016-07-14 13:01:33 -04:00
joshvera
a9adce2610 other patches should be the same as summary patches 2016-07-14 13:01:16 -04:00
Josh Vera
ad0af796e1 Merge pull request #634 from github/equate-terms-with-respect-to-their-categories
Equate terms with respect to their categories.
2016-07-14 12:28:00 -04:00
joshvera
922e845c78 Add property test to test diff summary constructors 2016-07-14 11:52:40 -04:00
joshvera
2ebbe72a76 Add Categorizable newtype for HasCategory (Record fields) 2016-07-14 11:52:03 -04:00
Rob Rix
02e836d364 Equate terms with respect to their categories. 2016-07-14 11:27:54 -04:00
Josh Vera
8f84d93a8e Merge pull request #631 from github/equal-term-costs
Apply 🔥 vigourously
2016-07-14 10:28:19 -04:00
Rob Rix
56fbaaf8e5 Merge branch 'master' into equal-term-costs 2016-07-14 09:52:45 -04:00
joshvera
27fab0b289 Merge remote-tracking branch 'origin/master' into pretty-print-summaries 2016-07-13 15:48:44 -04:00
Josh Vera
22a3be2418 Merge pull request #633 from github/arbitrary-arbitrary-records
Arbitrary Arbitrary records
2016-07-13 15:47:37 -04:00
Rob Rix
50c9d37cb1 Placate hlint. 2016-07-13 15:33:53 -04:00
Rob Rix
45b0571221 Add an Arbitrary instance over Range. 2016-07-13 15:33:44 -04:00
Rob Rix
a6eace739c Section header for instances. 2016-07-13 15:31:09 -04:00
Rob Rix
b45329e94b Add Arbitrary instances over Size and Cost. 2016-07-13 15:30:37 -04:00
Rob Rix
8b9e92440f Add an instance over empty records. 2016-07-13 15:28:58 -04:00
Rob Rix
636fbd102b Generalize the Arbitrary instance over Records of multiple fields. 2016-07-13 15:24:35 -04:00
Rob Rix
742f2fcc24 🔥 the set of keyed categories. 2016-07-13 15:02:26 -04:00