Commit 1f59deae authored by Peter Achten's avatar Peter Achten
Browse files

removing channelenv module

parent 7830d2fe
definition module channelenv
import StdFile
from StdTime import TimeEnv, Date, Tick, Time
from StdId import Ids
import id
class ChannelEnv env | Ids env & TimeEnv env & FileEnv env
where
channelEnvKind :: !*env -> (!Int, !*env)
mb_close_inet_receiver_without_id :: !Bool !(!Int, !Int) !*env -> *env
// :: !Bool !(!EndpointRef, !InetReceiverCategory) !*env -> *env
// mb_close_inet_receiver_without_id:
// iff the Boolean is True, this function closes the receiver, which is identified through
// the (!EndpointRef, !InetReceiverCategory) pair
//channelEnvKind can return the following values:
WORLD :== 0
IOST :== 1
PST :== 2
implementation module channelenv
import StdFile
import id
import StdTime
from StdId import Ids
class ChannelEnv env | Ids env & TimeEnv env & FileEnv env
where
channelEnvKind :: !*env -> (!Int, !*env)
mb_close_inet_receiver_without_id :: !Bool !(!Int, !Int) !*env -> *env
//channelEnvKind can return the following values:
// (some C functions rely on these values)
WORLD :== 0
IOST :== 1
PST :== 2
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment