diff --git a/testdata/parser/negative/8.pdl b/testdata/parser/negative/8.pdl new file mode 100644 index 0000000000000000000000000000000000000000..af9f36c5b48055bad30484961575675acaa8a77c --- /dev/null +++ b/testdata/parser/negative/8.pdl @@ -0,0 +1,20 @@ +#version 100 + +import std.reo; + +composite main(in a, out b) { + channel c -> d; + syncdrain(a, b); +} + +// shadowing import +primitive syncdrain(in a, in b) { + while (true) { + synchronous { + if (!fires(a) || !fires(b)) { + block(a); + block(b); + } + } + } +}