unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 08:18:04 +03:00
Code Issues Projects Releases Wiki Activity
5,717 Commits 419 Branches 90 Tags 331 MiB
5b55275701
Commit Graph

546 Commits

Author SHA1 Message Date
Paul Chiusano
e46ceb8cee Merge remote-tracking branch 'origin/master' into fix/987 2019-12-09 14:46:38 -05:00
Mitchell Rosen
6d8ea064c1 Add 'delete' command, which combines 'delete.term' and 'delete.type' 2019-12-08 17:29:47 -05:00
Paul Chiusano
8b72eb311a added.transcript 2019-12-08 15:23:39 -05:00
Noah Haasis
eb1ff619ee Add implementation for Nat.toFloat 2019-12-02 14:48:08 +00:00
Chris Gibbs
8ee3ea30f8 \:] to escape :] in doc literals 2019-11-30 15:58:31 +00:00
Chris Gibbs
02f3048752 #936 pretty-print doc literals - merge through suffixy names 2019-11-24 22:16:51 +00:00
Chris Gibbs
a4c6dde06a Merge branch 'master' into topic/docs-936-pretty-literals 2019-11-24 22:05:17 +00:00
Chris Gibbs
408f4ca393 #936 pretty-print doc literals - done, with some snags remaining 2019-11-24 22:04:20 +00:00
Paul Chiusano
504e53bbc5 resolve.{term,type} => replace.{term,type} and updated transcripts 
Also curiously transcripts with invalid commands would just silently noop. Now they fail the transcript.
 2019-11-21 13:01:46 -05:00
Paul Chiusano
9a0350a669 Address PR comments 2019-11-19 11:28:23 -05:00
Paul Chiusano
00d0fc8c56 type based search uses suffixed input + regenerated transcripts 2019-11-13 13:57:51 -08:00
Paul Chiusano
aa4990848e Merge remote-tracking branch 'origin/master' into topic/suffix-resolve 
# Conflicts:
#	parser-typechecker/src/Unison/Codebase/Editor/HandleInput.hs
#	parser-typechecker/src/Unison/Codebase/Editor/Output.hs
 2019-11-13 13:01:57 -08:00
Arya Irani
bf631d2fcd support remote Unison paths in push/pull (#935) 
* wip git url parser & some Git module cleanup

* modern-uri

* trailing whitespace

* dice up the git uri parser for more easily testable implementation

* ipv6 address reference

* add an ipv4 test for `UriParser.parseProtocol`

* remove duplicate test and typo

* add some autocompletion shortcuts for git urls

* clean up gitUrlArg

* partially update `push` and `pull` InputPatterns & docs

* it compiles!

* sometimes even comments can break the build

* missed a couple of `gitIn`s, so command executed in wrong working dir

* delete UriParser.webRepoParser in favor of autocompletes

* bikeshedding the ConfiguredGitUrlIncludesShortBranchHash error message

* cleanup

* simplify push/pull help

* pretty-print reflog entry for `pull` using RemoteRepo.printNamespace
 2019-11-12 16:52:48 -05:00
Paul Chiusano
d6b903cdca hook up suffix-based resolution to the parser + add test case for it 2019-11-11 16:33:31 -08:00
Noah Haasis
fd166b4c41 Add a transcript testing the behaivour of todo and bug 2019-11-09 12:44:58 +00:00
Paul Chiusano
93ad88a4ac sync master 2019-11-08 08:39:04 -05:00
Paul Chiusano
87ee95bf3e
Merge pull request #944 from unisonweb/topic/edit.all 
View/edit multiple definitions
 2019-11-07 21:16:14 -05:00
Arya Irani
10aebd6211 fix #942; have propagate write new terms and types as it goes 2019-11-07 17:52:20 -05:00
Runar Bjarnason
edf28247c3 Added a transcript for numeric arguments 2019-11-07 16:53:24 -05:00
Paul Chiusano
da9ab8dcdb Add broken test 2019-11-07 16:24:54 -05:00
Paul Chiusano
37c5542390 Merge remote-tracking branch 'origin/master' into topic/docs 2019-11-07 15:14:47 -05:00
Chris Gibbs
7524f0d654 #936 pretty-print doc literals - skeleton 2019-11-06 23:02:05 +00:00
Arya Irani
6b415149d0 update out-of-sync transcript outputs 2019-11-05 08:17:32 -05:00
Paul Chiusano
d296266602 simplify paragraphyText, it's now much better behaved 2019-11-04 21:15:13 -05:00
Paul Chiusano
d28e532aa6 update docs example 2019-11-04 18:18:36 -05:00
Paul Chiusano
d3ab6ae190 Added a documentation transcript 2019-11-04 18:00:25 -05:00
Paul Chiusano
83be276cd1
Merge pull request #901 from unisonweb/topic/links 
First class links / references as Unison values
 2019-10-30 15:06:24 -04:00
Runar Bjarnason
c7722061a0 Workaround for unique type guid nondeterminism 2019-10-30 13:20:59 -04:00
Runar Bjarnason
ecd79f3d1c Merge branch 'master' of github.com:unisonweb/unison into topic/propagatetypes 2019-10-30 11:43:04 -04:00
Runar Bjarnason
6d95544bc2 I accidentally a line. 2019-10-30 11:42:32 -04:00
Paul Chiusano
646733981e Merge remote-tracking branch 'origin/topic/propagatetypes' into topic/links 2019-10-30 09:44:37 -04:00
Paul Chiusano
41ef402e4f Added test case 2019-10-28 21:18:17 -04:00
Runar Bjarnason
1636d8ea32 I accidentally this file 2019-10-28 16:25:28 -04:00
Paul Chiusano
63122606f7
Merge pull request #902 from unisonweb/topic/891b 
display synthetic reflog entries for initial and external changes
 2019-10-28 15:39:37 -04:00
Arya Irani
cce64e3c03 change "branch" to "namespace" 2019-10-28 15:11:57 -04:00
Arya Irani
2dfb7958e9 update transcripts 2019-10-28 15:02:39 -04:00
Paul Chiusano
77e16533cb Merge remote-tracking branch 'origin/topic/propagatetypes' into topic/links 
# Conflicts:
#	parser-typechecker/src/Unison/Term.hs
 2019-10-28 14:42:18 -04:00
Noah Haasis
dcbf1dee25 Allow boolean operators to be used in sequence 2019-10-27 10:47:49 +00:00
Runar Bjarnason
ef640acb3b Make sure propagation only applies to local branch 2019-10-24 15:19:57 -04:00
Runar Bjarnason
38f7d1eda2 Test the preservation of user type variables 2019-10-23 15:27:35 -04:00
Runar Bjarnason
b35cc5875f Make the propagation actually replace stuff 2019-10-23 12:51:35 -04:00
Paul Chiusano
b28fad6172
Merge pull request #883 from noahhaasis/char-comparison 
Implement ordering for char literals (fix #850)
 2019-10-21 13:45:31 -04:00
Noah Haasis
c6c8c46798 test char comparison 2019-10-21 17:06:07 +00:00
Paul Chiusano
130519b258
Merge pull request #880 from noahhaasis/infix-boolean-operators 
Infix boolean operators (Fix #530)
 2019-10-21 11:32:32 -04:00
Noah Haasis
f312f8fc62 Update tests to use infix boolean operators and backtrack on failure 2019-10-20 14:16:33 +00:00
George Marrows
8abeb68331 Add Char test to literals.u 2019-10-20 15:16:58 +03:00
Arya Irani
6bce3188e1
Merge pull request #875 from noahhaasis/guard-and-or 
Fix #770: Allow boolean operators in pattern guards
 2019-10-19 13:06:19 -04:00
Arya Irani
4c2a8f23e1 add a transcript test to close #873 2019-10-19 11:01:12 -04:00
Noah Haasis
b12f3e9f77 Allow boolean operators in pattern guards 2019-10-19 13:53:44 +00:00
Arya Irani
a570e63baf fix #868, #870 2019-10-16 15:23:16 -04:00
Noah Haasis
9b68fedcee
Update link to language reference in readme (#864) 
Update readme to point to the new language reference on unisonweb.org and delete the old reference
 2019-10-14 13:13:49 +02:00
Prat T
d49164fdb8 Add a transcript for find-patch 2019-10-11 22:20:57 -07:00
Arya Irani
93647cd8da expand numbered args in TranscriptParser 2019-10-11 15:49:25 -04:00
Arya Irani
fba10a4a62 Merge branch 'master' into topic/reflog 
# Conflicts:
#	unison-src/transcripts/merges.output.md
 2019-10-10 18:55:19 -04:00
Arya Irani
006b8837f6 add transcript test for reflog 2019-10-10 18:45:53 -04:00
Paul Chiusano
d0f15c917e improved parsing of ShortBranchHash by not trying to use the base32hex decoder, just do alphabet check 2019-10-09 18:39:43 -04:00
Paul Chiusano
8ce44ccca4 fix #849 2019-10-07 15:55:01 -04:00
Paul Chiusano
1f827886d2
Merge pull request #847 from noahhaasis/fix-issue-785 
Fix #785: Allow sequence literals as arguments to constructors
 2019-10-07 09:49:21 -04:00
Noah Haasis
2bce239af8 Add test for parsing a sequence literal as an argument 2019-10-07 13:33:09 +00:00
Runar Bjarnason
51852b6414 Resolve merge bug between resolve.term and init 2019-10-03 16:37:55 -04:00
Rúnar
392b25068a
Runarorama/317 resolve edit command for resolving edit (#830) 
* Fixed branchdiff semigroup
* Fixed patch diff application in 3-way merge
* Added a transcript for resolve.term
 2019-10-03 12:59:12 -04:00
Paul Chiusano
ec4e952b9d added merge transcript test 2019-09-24 13:13:52 -04:00
Paul Chiusano
ebe1e05849 test harness for running integration tests 2019-09-24 12:10:35 -04:00
Arya Irani
8cee89dc29 rename Builtins in initial namespace construction, and update tests 
- () -> Unit
- ().() -> Unit.Unit
- Pair -> Tuple
- Pair.Pair -> Tuple.Cons
- Sequence -> List
- Effect -> Request
- {Int,Nat,Float,Text}.{==,<,<=,>,>=} -> {Int,Nat,Float,Text}.{eq,lt,lteq,gt,gteq}
- mark Text.!= as a deprecated builtin
 2019-08-22 16:34:12 -04:00
Scott Christopher
3b46f5d780 Fixes #739: Add optional semi to record field separators in FileParser 2019-08-21 21:09:30 +10:00
Paul Chiusano
133589002a remove garbage past the fold 2019-08-19 16:36:40 -04:00
Paul Chiusano
30eb92c90e added failing test 2019-08-19 16:32:00 -04:00
Runar Bjarnason
ccfbfa6df0 Tests for int/float/text roundtrips 2019-08-16 22:54:16 -04:00
Runar Bjarnason
6b09e30e9d Fix text with !! in a name 2019-08-03 23:34:11 -04:00
Paul Chiusano
3c6fa57856 Fix #595 2019-07-27 00:17:29 -04:00
William Carroll
95632a2c75 Rename unison2 -> unison 
Prefer "unison" to "unison2" for the executable.

See this thread for more details:
https://github.com/unisonweb/unison/issues/593#issuecomment-515462774
 2019-07-26 15:03:13 +01:00
Paul Chiusano
dfeb9f7bc2 pending test per #595 2019-07-24 19:04:49 -04:00
Paul Chiusano
726d25445d lexer change and test for allowing closing ) to be past the end of a layout block, example is like - 
ex2 = '(let
  use List ++
  [1] ++ [3]
)
 2019-07-19 14:08:43 -04:00
Paul Chiusano
0800a02c0d wildcard imports fixes #579 2019-07-17 23:24:22 -04:00
Paul Chiusano
6f4a18fcdb dots are BACK and ready for action 🎸🤘 was like a 2 line change 
added tests for this and also added result file for the semis.u test
 2019-07-13 22:15:54 -04:00
Paul Chiusano
2abc45c08f allow actual semicolons, for the occasional one-liner 2019-07-13 21:33:07 -04:00
Paul Chiusano
740cc7e570 131 failures - fix bug in Term.freeTypeVars that was causing some tests to fail 2019-07-12 00:46:14 -04:00
Chris Gibbs
ea27c162a2 #287 pretty-print in color - colored in data declarations 2019-07-06 16:32:02 +01:00
Chris Gibbs
52d5de1d4e Merge branch 'wip/branchless' into topic/287-prettyprint-color 2019-07-06 15:25:13 +01:00
Paul Chiusano
ba976142c9 new and improved add/update output 2019-07-03 17:08:32 -04:00
Paul Chiusano
7e4d87d1c1 fix #514 2019-07-02 22:59:49 -04:00
Paul Chiusano
0b1ace1c92 use . Nat now works to give .Nat the local name Nat, also simplified use statement parser 2019-07-02 20:18:11 -04:00
Chris Gibbs
765e938c41 #287 pretty-print in color - fix test 2019-07-01 23:17:46 +01:00
Chris Gibbs
cd283c69b5 #287 pretty-print in color - add example that hits all the colors 2019-07-01 23:17:46 +01:00
Paul Chiusano
77bbe47c8f fix #528 2019-06-30 23:16:57 -04:00
Arya Irani
1b0588d17a renames and cleanup 2019-06-29 12:05:50 -04:00
Paul Chiusano
0612e27a27 further minimized 2019-06-28 14:26:09 -04:00
Paul Chiusano
add1e992cb minimized #528 to totally self contained example 2019-06-28 11:43:27 -04:00
Paul Chiusano
173aad36d3 pending test for #528 2019-06-28 11:41:32 -04:00
Runar Bjarnason
d6511c3204 Usability changes to testing lib 2019-06-28 10:00:54 -04:00
Runar Bjarnason
5d84681070 Improved test library dx 2019-06-28 00:15:45 -04:00
Runar Bjarnason
982e1d9a43 Weighted search fromList 2019-06-27 18:03:52 -04:00
Runar Bjarnason
645218e546 Weighted search library 2019-06-27 17:52:09 -04:00
Runar Bjarnason
85997dfb3c stashing 2019-06-27 14:30:50 -04:00
Runar Bjarnason
fd452f1068 Rename sequence to list in unison tests 2019-06-27 11:07:22 -04:00
Runar Bjarnason
10f54037c1 Really rename Sequence to List 2019-06-27 11:01:19 -04:00
Runar Bjarnason
6760afc938 Rename Sequence to List 2019-06-27 09:36:57 -04:00
Runar Bjarnason
461eaf2882 Merge branch 'wip/branchless' of github.com:unisonweb/unison into wip/branchless 2019-06-26 10:07:28 -04:00
Runar Bjarnason
6080616922 Add - on nat to base 2019-06-26 10:07:19 -04:00
Paul Chiusano
183f8d7433 remove trailing line whitespace 2019-06-26 09:43:26 -04:00
Arya Irani
97831acf4e updated sheepshead.u to compile 2019-06-19 10:51:11 -04:00
Runar Bjarnason
c519587b8e Deduplicating name resolutions 
when two names refer to the same thing.
 2019-06-18 21:35:09 -04:00
Runar Bjarnason
b1e7ca7b2e Base compiling 2019-06-18 16:12:47 -04:00
Runar Bjarnason
9463b55aef Merge branch 'wip/branchless' of github.com:unisonweb/unison into wip/branchless 2019-06-18 15:53:54 -04:00
Paul Chiusano
6b4037f2fc added some tests 2019-06-03 21:58:07 -04:00
Runar Bjarnason
15e83539ba wip 2019-05-28 17:44:56 -04:00
Runar Bjarnason
407c4a0a32 Resolved infinite loop in Trie 2019-05-23 10:24:44 -04:00
Runar Bjarnason
6b5c663600 Testing library things 2019-05-22 17:50:08 -04:00
Runar Bjarnason
00b2e9e444 Deduplicate TDNR resolutions 2019-05-22 12:00:15 -04:00
Runar Bjarnason
473405d457 No monads and no effects 2019-05-22 11:47:18 -04:00
Runar Bjarnason
6fec47cb56 Generating test reports 2019-05-14 13:43:21 -04:00
Runar Bjarnason
86abb4d47b Cofree and tries 2019-05-13 17:36:04 -04:00
Runar Bjarnason
41baba00ca Basic model of test framework 2019-05-13 16:25:29 -04:00
Paul Chiusano
c76a40c282 parser and prettypinter fix 2019-05-10 03:20:47 -04:00
Paul Chiusano
00a1258b61 record accessor generation moved to DataDeclaration.hs 2019-05-10 00:55:24 -04:00
Paul Chiusano
f11022933e generating get, set, modify for fields 2019-05-09 23:37:11 -04:00
Paul Chiusano
727bad7478 added test 2019-05-09 18:17:59 -04:00
Paul Chiusano
086b01efbb unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message 2019-05-09 10:36:29 -04:00
Paul Chiusano
cb6cadde75 delete abomination that was qualifiedId, just defined wordyId and symbolyId directly, now test> watches parse 2019-04-30 23:17:48 -04:00
Paul Chiusano
cd18b95f56 just kidding, now added the test! 2019-04-29 15:17:02 -04:00
Paul Chiusano
deff4b2e26 fix #469 2019-04-26 16:43:16 -04:00
Paul Chiusano
5b6edd6b33
Merge pull request #467 from mrdziuban/pattern-match-vec-fns 
Add pattern matching on sequences
 2019-04-26 14:50:13 -04:00
Paul Chiusano
7beb69095d added some notes to stream pending test 2019-04-25 23:36:31 -04:00
Paul Chiusano
21b86ba141 fix #407 2019-04-25 23:27:10 -04:00
Paul Chiusano
d02ed44c10 tests pass after refactoring, but want to retract the context 2019-04-25 21:50:58 -04:00
Matt Dziuban
6d4828582e Add error case test for concat match without constant length. 2019-04-20 21:26:18 -04:00
Matt Dziuban
223fede9ad Merge branch 'master' of github.com:unisonweb/unison into pattern-match-vec-fns 2019-04-20 18:45:13 -04:00
Matt Dziuban
d1ba4845e2 Clean up some todos, test more edge cases, and fix some bugs. 2019-04-20 14:00:45 -04:00
Matt Dziuban
2a2a93caf6 Merge branch 'master' of github.com:unisonweb/unison into pattern-match-vec-fns 2019-04-17 20:15:24 -04:00
Paul Chiusano
32b8068b70 Merge remote-tracking branch 'origin/master' into wip/var-refactor 2019-04-17 19:43:39 -04:00
Paul Chiusano
2edad9f905 spotted several bugs 2019-04-17 18:22:14 -04:00
Matt Dziuban
e5ea784728 Fix runtime implementation of concat with prefix literal. 2019-04-17 18:16:21 -04:00
Arya Irani
9d9b0fe1f5 whoops 2019-04-16 17:25:33 -04:00
Arya Irani
4b345d1fe8 added pending test for #344 2019-04-16 17:17:59 -04:00
Paul Chiusano
643b5e33db unsolved existentials get instantiated to {} as a fallback in abilityCheck 2019-04-14 21:21:43 -04:00
Paul Chiusano
b9c185ca77 tests 2019-04-12 15:48:39 -04:00
Paul Chiusano
4490f6318c improved error message a bit 2019-04-11 17:43:02 -04:00
Paul Chiusano
c0181c4158 failing test for #455 2019-04-11 16:34:51 -04:00
Paul Chiusano
d46bb05f23 fixed #374 2019-04-11 16:22:11 -04:00
Paul Chiusano
26ca33aaca unpending a test 2019-04-11 16:14:53 -04:00
Paul Chiusano
a64f462a50 fix rest of tests and unpending some more 2019-04-11 16:00:55 -04:00
Paul Chiusano
b6d02f4500 fix one test and add a new pending test 2019-04-11 13:40:09 -04:00
Matt Dziuban
c0f07631de Add more examples, fix some issues. 2019-04-10 08:01:58 -04:00
Matt Dziuban
faa189a5ec Fail typechecking on concat if neither side is a literal. 2019-04-09 21:42:43 -04:00
Matt Dziuban
26f2731d19 Implement runtime and concat functionality. 2019-04-09 21:31:41 -04:00
Arya Irani
ff071ae2e8 misguided initial attempt for compilePattern 
next steps: add PatternCons and PatternSnoc constructors to IR, and handle in Rt1
 2019-04-08 20:24:41 -04:00
Matt Dziuban
76a0000543 Generalize uncons to other seq ops. 2019-04-08 17:36:28 -04:00
Matt Dziuban
f405eb0c98 Get closer to vector ops. 2019-04-08 17:36:28 -04:00
Matt Dziuban
15a1fd7ded Start working on lexer for vector ops. 2019-04-08 17:36:28 -04:00
Matt Dziuban
8f19bdc476 Start adding uncons pattern matching. 2019-04-08 17:36:28 -04:00