1
1
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Commit Graph

977 Commits

Author SHA1 Message Date
Rob Rix
73f094cc29 Document the early return. 2015-10-29 13:16:16 -04:00
Rob Rix
17d0582331 Short-circuit cost computations for equal terms.
This is an optimization for SES allowing it to short-circuit cost
computations when it encounters equal terms.
2015-10-29 11:23:25 -04:00
Rob Rix
ba33e1c4a3 Ranges have a JSON property. 2015-10-28 18:11:01 -04:00
Rob Rix
ae6ecef9c2 Try constructing explicitly.
Maybe Xcode 7.0 will like this one better.
2015-10-28 18:07:04 -04:00
Rob Rix
ef7ce734d7 Arrays of CustomJSONConvertible elements have a JSON property. 2015-10-28 17:51:27 -04:00
Rob Rix
9d0805c228 Revert "Revert "Don’t constrain the type to the protocol, pass it in directly.""
This reverts commit c813e703e4ee963d94c1d45e7c935731a4eb0c7e.
2015-10-28 14:38:56 -04:00
Rob Rix
a4da6cd33c Revert "Revert "Add a constructor to JSON which takes a CustomJSONConvertible.""
This reverts commit 6ea523a327bed0ce54e8d56373604f1a64c83200.
2015-10-28 14:38:51 -04:00
Rob Rix
0371c51340 Revert "Add a constructor to JSON which takes a CustomJSONConvertible."
This reverts commit 9e0d4208bed25824275ccc34092b8659fa316a2b.
2015-10-28 14:37:12 -04:00
Rob Rix
cdf4848357 Revert "Don’t constrain the type to the protocol, pass it in directly."
This reverts commit fb68f0c0ba30c0691c72170efa5c5204a027c8aa.
2015-10-28 14:37:08 -04:00
Rob Rix
4b47650de6 Revert "Can construct JSON from array literals of CustomJSONConvertible."
This reverts commit cabc221180851e236d39c717db2eefa9edc9f312.
2015-10-28 14:37:04 -04:00
Rob Rix
4f2e61054e Can construct JSON from array literals of CustomJSONConvertible. 2015-10-28 14:34:44 -04:00
Rob Rix
51dc49f3e0 Don’t constrain the type to the protocol, pass it in directly. 2015-10-28 14:34:16 -04:00
Rob Rix
5d6e10e25a Add a constructor to JSON which takes a CustomJSONConvertible. 2015-10-28 14:31:20 -04:00
Rob Rix
4d1d7d62e8 Patch.difference rethrows errors. 2015-10-28 12:15:36 -04:00
Rob Rix
89cd067c8f Patch.sum rethrows errors. 2015-10-28 12:15:18 -04:00
Rob Rix
c36b1df02b Patch.difference’s argument does not escape. 2015-10-28 12:14:58 -04:00
Rob Rix
5c44771b02 Patch.sum’s argument does not escape. 2015-10-28 12:14:43 -04:00
Rob Rix
0f7d7b2770 Patch.map rethrows errors. 2015-10-28 12:14:15 -04:00
Rob Rix
c03871468e CofreeType.ana rethrows errors. 2015-10-28 12:11:41 -04:00
Rob Rix
b28038cb63 CofreeType.ana’s argument does not escape. 2015-10-28 12:11:02 -04:00
Rob Rix
79dce9ba64 Implement CofreeType.ana without composition or application operators.
Once again, Swift doesn’t understand its own transitivity.
2015-10-28 12:10:37 -04:00
Rob Rix
010f45c15e Cofree.map rethrows errors. 2015-10-28 12:09:04 -04:00
Rob Rix
29e8a7598b Cofree.map’s argument does not escape. 2015-10-28 12:08:27 -04:00
Rob Rix
17987eff80 Free.ana rethrows errors. 2015-10-28 12:07:23 -04:00
Rob Rix
33bd0c5644 Free.ana’s argument does not escape. 2015-10-28 12:06:30 -04:00
Rob Rix
f469b4f691 Implement Free.ana without application or composition operators.
Swift can’t trace `noescape` or `rethrows` transitively through them.
2015-10-28 12:05:40 -04:00
Rob Rix
8ca7cf7599 Free.merge’s argument does not escape. 2015-10-28 12:04:56 -04:00
Rob Rix
d7eb23d291 Free.cata rethrows errors. 2015-10-28 11:58:13 -04:00
Rob Rix
9228031f5d Free.flatMap rethrows errors. 2015-10-28 11:57:29 -04:00
Rob Rix
feabaa01a7 Free.map rethrows errors. 2015-10-28 11:56:49 -04:00
Rob Rix
abab6f3c7b Free.sum’s cost function does not escape. 2015-10-28 11:55:38 -04:00
Rob Rix
9f60616f8b Free.reduce’s combining function does not escape. 2015-10-28 11:55:06 -04:00
Rob Rix
2252f8dbe6 Free.analysis rethrows errors. 2015-10-28 11:54:40 -04:00
Rob Rix
11a2d2700a Free.cata’s argument does not escape. 2015-10-28 11:53:47 -04:00
Rob Rix
d4aaf2eb55 Syntax.map rethrows errors. 2015-10-28 11:51:43 -04:00
Rob Rix
602522dd21 A few MB less whitespace. 2015-10-27 19:31:33 -04:00
Rob Rix
8f51aa55a6 Remove another temporary. 2015-10-27 16:28:04 -04:00
Rob Rix
0902bf0508 Remove an obsolete typealias. 2015-10-27 16:26:34 -04:00
Rob Rix
fc4098129f Inline a definition. 2015-10-27 16:26:24 -04:00
Rob Rix
2ef9eaa798 Remove an obsolete comment. 2015-10-27 16:25:25 -04:00
Rob Rix
db6bfbb85c Drop a couple of bindings. 2015-10-27 16:22:12 -04:00
Rob Rix
3b21c087a0 Remove a couple of redundant typealiases. 2015-10-27 16:18:54 -04:00
Rob Rix
3b3ee835ba Remove an unnecessary type annotation. 2015-10-27 16:18:48 -04:00
Rob Rix
a51eb87d92 🔥 String : CollectionType. 2015-10-27 16:15:42 -04:00
Rob Rix
3c7eae25b5 🔥 String.lift. 2015-10-27 16:15:28 -04:00
Rob Rix
82284e422a Always parse over String.CharacterView. 2015-10-27 16:15:11 -04:00
Rob Rix
25467794f9 More leaning on satisfy parsers. 2015-10-27 16:12:23 -04:00
Rob Rix
8a86a0a741 Lean on oneOf. 2015-10-27 16:12:14 -04:00
Rob Rix
3c203e8f43 Extract the key/term parser. 2015-10-27 16:11:45 -04:00
Rob Rix
c366e379a0 Inline charP. 2015-10-27 16:11:38 -04:00