Name change in Channels
commit72ab227d843acfc850e720f93c477332ff24117e
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 9 Sep 2016, 16:26 (10 years ago)
parentdd6c823
libs/base/System/Concurrency/Channels.idr+1−1
@@ -58,6 +58,6 @@ unsafeSend (MkConc pid ch_id) val
5858||| a protocol (externally checked) which ensures that the message received
5959||| is of the type given by the sender.
6060export
61−unsafeRecv : (a : Type) -> Channel -> IO (Maybe a)
61+unsafeRecv : (expected : Type) -> Channel -> IO (Maybe expected)
6262unsafeRecv a (MkConc pid ch_id) = getMsgFrom {a} pid ch_id
6363