unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 06:07:21 +03:00
Code Issues Projects Releases Wiki Activity

Ref should be the first argument

Browse Source
This commit is contained in:
Fabio Labella 2023-01-19 15:51:54 +00:00
parent 38e79afbe2
commit c643ace1b5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
parser-typechecker/src/Unison/Builtin.hs
View File

@ -856,8 +856,8 @@ stmBuiltins =
refPromiseBuiltins :: [(Text, Type)]
refPromiseBuiltins =
[ ("Ref.Ticket.read", forall1 "a" $ \a -> ticket a --> a),
("Ref.ticket", forall1 "a" $ \a -> reft iot a --> io (ticket a)),
("Ref.cas", forall1 "a" $ \a -> ticket a --> a --> reft iot a --> io boolean),
("Ref.readForCas", forall1 "a" $ \a -> reft iot a --> io (ticket a)),
("Ref.cas", forall1 "a" $ \a -> reft iot a --> ticket a --> a --> io boolean),
("Promise.new", forall1 "a" $ \a -> unit --> io (promise a)),
("Promise.read", forall1 "a" $ \a -> promise a --> io a),
("Promise.tryRead", forall1 "a" $ \a -> promise a --> io (optionalt a)),