Commit Graph

3789 Commits

Author SHA1 Message Date
Noah Haasis
fe528db534 Order search results by score 2019-04-03 05:02:12 +02:00
Noah Haasis
1188927346 Remove duplicate elements from branch search 2019-04-02 16:31:27 +02:00
Paul Chiusano
f6dfa4db45
Create testing.markdown 2019-03-29 11:54:44 -04:00
Arya Irani
7ef417d291
Update development.markdown 2019-03-28 17:38:30 -07:00
Arya Irani
0d6af33749
Merge pull request #423 from unisonweb/development-doc
Update development.markdown
2019-03-28 14:48:53 -07:00
Arya Irani
2fb958be3e almost everything was out of date 😅 2019-03-28 14:46:39 -07:00
Ben Fradet
ab7bf75c96 Update development documentation 2019-03-28 22:23:53 +01:00
Arya Irani
67a72c7726 restore a message after branch merge 2019-03-28 11:34:21 -04:00
Arya Irani
a24e7266b9 Merge branch 'master' of github.com:unisonweb/unison 2019-03-27 14:09:36 -04:00
Arya Irani
771f8dd12c unname (name tbd) now takes hashqualified arguments (i.e. numbered results) 2019-03-27 14:09:18 -04:00
Arya Irani
8f7b09f660 Merge branch 'master' of github.com:unisonweb/unison 2019-03-27 11:20:23 -04:00
Arya Irani
051dc572c4 CLI shouldn't autocomplete branch names 2019-03-27 11:20:14 -04:00
Paul Chiusano
2ab759444e remove stray space for nullary ctors 2019-03-26 17:40:30 -04:00
Paul Chiusano
5fc75f5e70 pipes and = at the beginning of the line if a data decl is broken into multitple lines 2019-03-26 17:26:14 -04:00
Paul Chiusano
57ea53238d Merge branch 'master' of https://github.com/unisonweb/unison 2019-03-26 11:17:43 -04:00
Paul Chiusano
610d9f9ec2 added unname command 2019-03-26 11:17:36 -04:00
Runar Bjarnason
27aa0f3107 Pretty print abilities 2019-03-25 18:02:06 -04:00
Runar Bjarnason
d1c87f60b3 Delete IO.u scratch file 2019-03-25 17:18:51 -04:00
Runar Bjarnason
ed69a95128 Pretty-print data declarations 2019-03-25 17:10:07 -04:00
Paul Chiusano
905e674441 minimized failure 2019-03-25 14:30:19 -04:00
Paul Chiusano
28b95c6647 Merge branch 'master' of https://github.com/unisonweb/unison 2019-03-25 14:13:04 -04:00
Paul Chiusano
9a62bf9e2b add pending test for runtime error 2019-03-25 14:13:01 -04:00
Arya Irani
3adf77b105
Merge pull request #418 from BenFradet/ability-editor-support
Replace `effect` by `ability` in the editor-support projects
2019-03-25 13:39:28 -04:00
Ben Fradet
b9158ab462 Add BenFradet in contributors.md 2019-03-25 18:27:00 +01:00
Ben Fradet
9d7ff77619 Replace effect by ability in the editor-support projects 2019-03-25 17:53:04 +01:00
Runar Bjarnason
8ed2133646 Merge branch 'master' of github.com:unisonweb/unison into topic/io 2019-03-25 10:32:29 -04:00
Paul Chiusano
0f1d474732 pending test 2019-03-25 10:01:52 -04:00
Paul Chiusano
e7a13ccf12 a few more functions for Base.u 2019-03-24 22:36:23 -04:00
Paul Chiusano
4f217c65ec more functions 2019-03-24 15:36:39 -04:00
Paul Chiusano
5fa00264ee Map.size and Set.size 2019-03-24 11:57:49 -04:00
Paul Chiusano
bf5a0d0f9d renamed Map.u -> Base.u and added a bunch o' functions 2019-03-24 10:33:40 -04:00
Paul Chiusano
21b25af4da
Merge pull request #416 from unisonweb/fix/373a
keyword based expressions like `if` can be parenthesized
2019-03-24 09:24:36 -04:00
Paul Chiusano
0ed21d5619 fix #413 2019-03-23 23:06:55 -04:00
Paul Chiusano
e22273be0c when popping from the layout stack based on a closing token like ')' or '}', pop to the matching open token
this fixed the pending test I noticed and is probably much more robust in other cases
2019-03-23 22:06:53 -04:00
Paul Chiusano
d5ce8c41ae docs and tests, found an interesting pending test 2019-03-23 21:54:10 -04:00
Paul Chiusano
79c5d9a7bc closes #373 2019-03-23 21:14:41 -04:00
Paul Chiusano
bcfedc5c62 cleanup, fix bug 2019-03-23 21:02:00 -04:00
Paul Chiusano
25ffaa2a55 one attempt 2019-03-23 16:35:50 -04:00
Runar Bjarnason
96d70364f6 Send and receive bytes 2019-03-22 16:38:59 -04:00
Runar Bjarnason
eed504776f Fix broken continuation at completion of IO 2019-03-22 16:04:56 -04:00
Runar Bjarnason
81a6a4a796 Merge branch 'master' of github.com:unisonweb/unison into topic/io 2019-03-22 15:52:39 -04:00
Arya Irani
32d5310f4e CLI be able to refer to numbered results from previous commands 2019-03-22 15:30:01 -04:00
Paul Chiusano
55b1d9bd5c add pending test for underapply ability check failure 2019-03-21 23:03:34 -04:00
Paul Chiusano
408c52a0a1 use more robust check for whether a binding is a function 2019-03-21 22:50:51 -04:00
Paul Chiusano
8bb95293ae closes #408 2019-03-21 22:41:40 -04:00
Arya Irani
8436b20d90 close #405 2019-03-21 13:48:55 -04:00
Arya Irani
711b83206d
Merge pull request #404 from unisonweb/topic/branch.delete
Add `branch.delete`
2019-03-21 09:29:11 -04:00
Arya Irani
e25e7ded9d move a bunch of pure logic from the IO loop to the pure loop 2019-03-20 23:08:50 -04:00
Arya Irani
50b1014a11 well that was harder than expected 2019-03-20 22:33:34 -04:00
Runar Bjarnason
35ae646c51 Repair merge 2019-03-20 18:05:23 -04:00