unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-24 00:39:58 +03:00
Code Issues Projects Releases Wiki Activity
6,803 Commits 418 Branches 90 Tags 342 MiB
ed9bf17dd1
Commit Graph

6803 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Arya Irani
ed9bf17dd1
Merge branch 'trunk' into topic/codebaseserver-openapi 2021-02-16 13:12:44 -05:00
runarorama
92f3a52a32 Connect to a random available port 2021-02-13 10:56:02 -05:00
Paul Chiusano
a11cd47364
Merge pull request #1807 from unisonweb/fix/1711 
Fix boolean pattern compilation in the new runtime
 2021-02-11 14:45:34 -06:00
Dan Doel
5e48418a32 Add additional extra-dependencies necessary for newer containers 2021-02-11 14:39:14 -05:00
Dan Doel
e99ac92246 Override containers version 2021-02-11 10:57:12 -05:00
Paul Chiusano
45f6e612d9
Merge pull request #1808 from unisonweb/topic/init-metadata-terms 
Add `isPropagated`/`isTest` metadata to codebase init and `builtins.merge`
 2021-02-11 09:01:03 -06:00
Arya Irani
ffd76ce020 clean up transcripts 2021-02-10 22:41:36 -05:00
Arya Irani
45c7cdc6d9 cleanup 2021-02-10 22:27:42 -05:00
Arya Irani
d87182f855 add isPropagated/isTest to init & builtins.merge 2021-02-10 22:19:09 -05:00
Dan Doel
54b2657dc6 Use more informative test failures for evaluation tests 2021-02-10 16:54:01 -05:00
Dan Doel
86fdd87eb3 More matching in the pattern-matching test 2021-02-10 16:07:57 -05:00
Dan Doel
e5d98a2b76 Properly handle boolean patterns in the new runtime 2021-02-10 16:00:10 -05:00
Rúnar
beec380cd2
Merge pull request #1806 from scott-christopher/1804-delete.term-replacement 
Fix delete.term-replacement to support coinciding type and term names
 2021-02-10 10:05:30 -05:00
Scott Christopher
72f1e3754f Fix delete.term-replacement to support coinciding type and term names 
Resolves #1804

Removes names from `hqNameQuery` misses in `doRemoveReplacement` when the relevant type or term exists in both.
 2021-02-10 22:21:17 +10:30
runarorama
c43456f770 Revert accidentally a comment 2021-02-09 16:19:04 -05:00
runarorama
83ee3fe984 Delete dead code 2021-02-09 16:18:01 -05:00
runarorama
bbd9afbe56 Moved failing transcript mvar.md 2021-02-09 13:22:39 -05:00
runarorama
97ff3d53b7 Fix md output 2021-02-09 13:19:27 -05:00
runarorama
16bd55dbd2 Fix root prefix parsing at the root 2021-02-09 13:17:34 -05:00
runarorama
a2cfe5e9f5 Fix output for empty namespace 2021-02-08 21:39:30 -05:00
runarorama
8c47f13392 Update transcript output 2021-02-08 15:02:10 -05:00
runarorama
9f0c8061fe Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2021-02-08 13:23:52 -05:00
runarorama
b14a1efd31 Fix spurious crash 2021-02-08 13:12:52 -05:00
runarorama
05816fa3ff Add names for tests 2021-02-04 21:31:12 -05:00
Paul Chiusano
7ceadd6e3d
Merge pull request #1797 from stew/feature/Any 
Add an Any parameter to the Failure type
 2021-02-01 11:17:18 -05:00
Stew O'Connor
6a5230ffc7 get rid of unneded constructors 2021-02-01 00:12:11 -08:00
runarorama
454fb392e8 Fix order of list entries 2021-01-28 21:26:21 -05:00
Stew O'Connor
258ec6357f Add an Any parameter to the Failure type 2021-01-28 13:57:03 -08:00
runarorama
ba7e8c9f70 Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2021-01-28 16:20:29 -05:00
runarorama
51058a07de Fixed bug in absolute name parsing 2021-01-28 15:22:34 -05:00
runarorama
d1920dc2fe wip 2021-01-27 15:36:23 -05:00
Paul Chiusano
e528dc518c
Merge pull request #1793 from stew/stew/tls-testing 
Working TLS, Tests for io2
 2021-01-25 14:54:01 -05:00
Stew O'Connor
17fe0e6e19 Merge remote-tracking branch 'origin/trunk' into stew/tls-testing 2021-01-23 01:25:52 -08:00
Stew O'Connor
71aeeee669 tls tests are working woot 2021-01-23 00:57:23 -08:00
Paul Chiusano
45ec741223
Merge pull request #1787 from unisonweb/topic/stm 
Implement STM builtins
 2021-01-15 12:57:52 -05:00
Dan Doel
cdd338346a Fix forkComp name in Unison.Runtime.Builtin 2021-01-14 17:58:31 -05:00
Dan Doel
c3bd993b9a Fix transcripts for added builtins 2021-01-14 14:28:58 -05:00
Dan Doel
7ae522c21b Add/implement TVar.swap 2021-01-14 14:27:53 -05:00
Dan Doel
22cce8b61f Use TVar.swap in transcript 2021-01-14 14:17:34 -05:00
Stew O'Connor
550d577e11 lots of IO tests working 
we have transcripts for threads, mvars, net.
 2021-01-13 14:20:57 -08:00
Dan Doel
2a2490c4d0 Add an stm test transcript 2021-01-13 14:35:19 -05:00
Dan Doel
da82a03643 Atomically exec was bumping the stack too early 2021-01-13 11:16:10 -05:00
Dan Doel
ac9c4a48f1 First pass adding/implementing STM builtins 
- Not working as of yet
 2021-01-12 16:56:01 -05:00
runarorama
adbc2ea081 Fix some tests 2021-01-12 14:27:09 -05:00
runarorama
4566637761 Fix merge error 2021-01-08 20:51:45 -05:00
runarorama
af091f3f07 Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2021-01-08 11:40:52 -05:00
runarorama
c5bc998b03 Integrate backend into servant server 2021-01-08 11:39:54 -05:00
Paul Chiusano
1adb44b21e
Merge pull request #1785 from unisonweb/topic/serial-tests 
Add more comprehensive serialization tests
 2021-01-08 11:11:38 -05:00
Dan Doel
65cb9a0668 Merge branch 'trunk' into topic/serial-tests 2021-01-08 10:49:06 -05:00
Arya Irani
d5fb6b2c86
Merge pull request #1777 from unisonweb/topic/ghc-8.10 
update to ghc 8.10.3
 2021-01-07 22:01:12 -05:00