mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 11:07:48 +03:00
Add binding for readCas
This commit is contained in:
parent
13e089a318
commit
55b6b817a8
@ -61,6 +61,7 @@
|
||||
unison-FOp-IO.ref
|
||||
unison-FOp-Ref.read
|
||||
unison-FOp-Ref.write
|
||||
unison-FOp-Ref.readForCas
|
||||
|
||||
unison-POp-ADDN
|
||||
unison-POp-ANDN
|
||||
@ -308,5 +309,6 @@
|
||||
(define (unison-FOp-Scope.ref a) (ref-new a))
|
||||
(define (unison-FOp-IO.ref a) (ref-new a))
|
||||
(define (unison-FOp-Ref.read ref) (ref-read ref))
|
||||
(define (unison-FOp-Ref.write ref a) (ref-write ref a)))
|
||||
(define (unison-FOp-Ref.write ref a) (ref-write ref a))
|
||||
(define (unison-FOp-Ref.readForCas ref) (ref-read ref)))
|
||||
|
||||
|
@ -1,6 +1,7 @@
|
||||
concurrency.tests = Tests.main do
|
||||
!simpleRefTest
|
||||
!simpleRefTestScope
|
||||
!ticketTest
|
||||
-- !casTest
|
||||
-- !threadTest
|
||||
-- !promiseSequentialTest
|
||||
@ -26,6 +27,11 @@ simpleRefTestScope = do
|
||||
Ref.write r 5
|
||||
checkEqual "Ref read-write" (i, j, Ref.read r) (1, 2, 5)
|
||||
|
||||
ticketTest = do
|
||||
r = IO.ref 3
|
||||
t = Ref.readForCas r
|
||||
checkEqual "Ticket test stub" true true
|
||||
|
||||
casTest = do
|
||||
ref = IO.ref 0
|
||||
ticket = Ref.readForCas ref
|
||||
|
Loading…
Reference in New Issue
Block a user