MikaelElkiaer
commented
8 years ago This currently doesn't work for function calls which has constant-labeled values as part of their argument expression.
Open MikaelElkiaer opened 8 years ago
MikaelElkiaer
commented
8 years ago This currently doesn't work for function calls which has constant-labeled values as part of their argument expression.
Output channels are very similar to normal function calls. However, by adding the
p1, p2 <- *FUNDECL*, the compiler should make the extra check described below. The reader set for the output contains the only readers who are able to receive the input. So if we want to call an output function the inputs (possibly marked) must hold the effective reader set check.