Skip to content

Commit 4951300

Browse files
committed
Mark low-level primitives as unsafe
1 parent ce117fb commit 4951300

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

libraries/common/io/promise.effekt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ extern {async, global} def await[T](promise: Promise[T]): T =
4949
val signal = signal::allocate()
5050
// TODO use reference.set and signal.wait
5151
set(reference, Pending(Cons(signal, signals)))
52-
wait(signal)
52+
unsafeWait(signal)
5353
}
5454
}
5555

@@ -65,7 +65,7 @@ extern {io, global} def resolve[T](promise: Promise[T], value: T): Unit =
6565
// TODO use reference.set
6666
set(reference, Resolved(value))
6767
// TODO use signals.reverse.foreach
68-
foreach(reverse(signals)) { signal => send(signal, value) }
68+
foreach(reverse(signals)) { signal => unsafeSend(signal, value) }
6969
}
7070
}
7171

libraries/common/io/signal.effekt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,13 +14,13 @@ namespace signal {
1414
"""
1515
}
1616

17-
extern global def send[T](signal: Signal[T], value: T): Unit =
17+
extern global def unsafeSend[T](signal: Signal[T], value: T): Unit =
1818
llvm """
1919
call void @c_signal_send(%Pos ${signal}, %Pos ${value})
2020
ret %Pos zeroinitializer
2121
"""
2222

23-
extern async def wait[T](signal: Signal[T]): T =
23+
extern async def unsafeWait[T](signal: Signal[T]): T =
2424
llvm """
2525
call void @c_signal_wait(%Pos ${signal}, %Stack %stack)
2626
ret void

0 commit comments

Comments
 (0)