1
1
mirror of https://github.com/github/semantic.git synced 2025-01-08 08:30:27 +03:00
Commit Graph

3538 Commits

Author SHA1 Message Date
Rob Rix
3424df075a Generalize Line and unLine over a. 2015-12-21 09:58:02 -05:00
Rob Rix
f714e83b62 Define adjoin2 in terms of its generalization over the selection of an open element. 2015-12-21 09:56:33 -05:00
Rob Rix
a9c744a54c Eta-reduce the openLine definition. 2015-12-21 09:54:03 -05:00
Rob Rix
b8e843a505 Spacing. 2015-12-21 09:53:49 -05:00
Rob Rix
4c0b6e9636 Define adjoin2Lines in terms of adjoin2LinesBy. 2015-12-21 09:53:37 -05:00
Rob Rix
05785a0b06 Add a generalization of adjoin2Lines, parameterized by the selection of an open element. 2015-12-21 09:52:57 -05:00
Rob Rix
afafed623c Define openLine in terms of openLineBy. 2015-12-21 09:52:41 -05:00
Rob Rix
3ec55a34a4 Add a generalization of openLine, parameterized by the selection of an open element. 2015-12-21 09:52:27 -05:00
Rob Rix
5089c1d2ed Rename the unLine parameter. 2015-12-18 17:34:08 -05:00
Rob Rix
9ec602ee82 The Show instances are constrained to Show a. 2015-12-18 17:33:45 -05:00
Rob Rix
2ede50401e Constrain the ToMarkup instances to ToMarkup a. 2015-12-18 16:45:06 -05:00
Rob Rix
7964727da6 Add a type parameter to Line. 2015-12-18 16:41:50 -05:00
Rob Rix
eb89e828bb Add a type parameter to Row.
Currently it’s a phantom type.
2015-12-18 16:37:16 -05:00
Rob Rix
c70c14bf1b Remove Debug.Trace. 2015-12-18 16:16:43 -05:00
Rob Rix
44d437ccdb 🔥 the prototype. 2015-12-18 14:20:46 -05:00
Rob Rix
32f562eea0 Move style.css. 2015-12-18 14:20:09 -05:00
Rob Rix
7ed7c71a63 🔥 the unused adjoinLines function. 2015-12-18 14:18:21 -05:00
Rob Rix
e8f57d6b27 Remove the redundant test. 2015-12-18 13:58:13 -05:00
Rob Rix
60edfc661a Test promotion through empty lines. 2015-12-18 13:58:02 -05:00
Rob Rix
de456dfe49 Remove the redundant test. 2015-12-18 13:40:54 -05:00
Rob Rix
e1cc29e032 Don’t expect empty rows to be elided. 2015-12-18 13:27:16 -05:00
Rob Rix
bcc7d6d578 Don’t elide empty rows. 2015-12-18 13:27:11 -05:00
Rob Rix
963887a115 Test the property that we don’t promote through empty lines onto closed lines.
This is falsified by empty row elision.
2015-12-18 13:27:03 -05:00
Rob Rix
7e67a6a490 Remove a redundant test. 2015-12-18 13:22:30 -05:00
Rob Rix
0b4aeb06af Remove the redundant test. 2015-12-18 13:19:51 -05:00
Rob Rix
d699adc714 Test the property that closed rows are closed. 2015-12-18 13:19:40 -05:00
Rob Rix
c02bd6e11a EmptyLines are not closed. 2015-12-18 13:19:05 -05:00
Rob Rix
8bb258a8e6 Add a predicate for closed rows. 2015-12-18 13:17:03 -05:00
Rob Rix
8f2473fd48 Remove a redundant test. 2015-12-18 13:05:08 -05:00
Rob Rix
6ffe3719d0 Reformat. 2015-12-18 13:04:52 -05:00
Rob Rix
595293e1a5 Actually test the property. 2015-12-18 13:02:46 -05:00
Rob Rix
e49715dd86 Use forAll to stub in the test. 2015-12-18 12:28:57 -05:00
Rob Rix
a549354030 Stub in a property test of appending onto open rows. 2015-12-18 12:11:01 -05:00
Rob Rix
013ed0e227 Add a predicate for open rows. 2015-12-18 12:10:46 -05:00
Rob Rix
d1020f4ca3 Tweak some test names. 2015-12-18 11:05:41 -05:00
Rob Rix
099096b409 Spacing. 2015-12-18 11:04:49 -05:00
Josh Vera
b3f178082b Merge pull request #350 from github/self-contained-binary
Self contained binary
2015-12-17 17:34:22 -05:00
Rob Rix
2deb91eeee Pin back to master. 2015-12-17 16:47:41 -05:00
Rob Rix
2949fcae84 Add some annotations to avoid some warnings. 2015-12-17 16:37:12 -05:00
Rob Rix
5f5b69d13e 🔥 a redundant import of Syntax. 2015-12-17 16:35:12 -05:00
Rob Rix
71d55d177e Revert "Figure out our extra lib dirs correctly."
This reverts commit fe4dcf2ae2f5f4118e3df6ae28d63b304482683c.
2015-12-17 16:34:28 -05:00
Rob Rix
590c7ce272 Revert "We don’t have a vendor dir any more."
This reverts commit a58bd14e7a0b58ffeed34c2236edc5d83905ded7.
2015-12-17 16:32:55 -05:00
Rob Rix
d3705a4faf Bump! 2015-12-17 16:28:05 -05:00
Rob Rix
ed2790d852 Bump the submodule. 2015-12-17 16:22:51 -05:00
Rob Rix
031832834f Bring tree-sitter-parsers back as a submodule. 2015-12-17 16:21:05 -05:00
Rob Rix
81187e917c We don’t have a vendor dir any more. 2015-12-17 15:45:37 -05:00
Rob Rix
015e7c6279 Remove the tree-sitter-parsers submodule. 2015-12-17 15:44:28 -05:00
Rob Rix
3ed9a4345e Remove all the other submodules. 2015-12-17 15:23:52 -05:00
Rob Rix
df8ba629b6 We don’t need to ignore libbridge.dylib because we won’t build it any more. 2015-12-17 15:22:27 -05:00
Rob Rix
355aa47c50 Update to use the new bridge API. 2015-12-17 14:56:43 -05:00