bool channels not supported? #3
Description
I think there might be a bug when using bool channels:
Consider the following act code:
defproc test(chan?(bool) a; chan!(bool) b) { dataflow { a -> [1] b } } This produces the following chp code:
defproc test (chan(bool)? a; chan(bool)! b) { chan(int<1>) b_bufIn; func_0W1W1 b_bufIn_inst(a, b_bufIn); lib::onebuf<1> b_inst(b_bufIn, b); } It keeps the bool channels for the interface, but then uses int<1> channels internally. Loading this code using interact's act:read command then yields:
ERROR: File `test_chp.act', line 9, col 31 Typechecking failed on connection! (position: 0) Types `chan(int<1>)?' and `chan(bool)?' are not compatible