diff options
Diffstat (limited to 'tests/bugs190/modules/play/m')
-rw-r--r-- | tests/bugs190/modules/play/m | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/bugs190/modules/play/m b/tests/bugs190/modules/play/m new file mode 100644 index 000000000..54520da0a --- /dev/null +++ b/tests/bugs190/modules/play/m @@ -0,0 +1,11 @@ +module M.N { + requires A.B; + requires public C.D; + + exports P.Q; + exports R.S to T1.U1, T2.U2; + + uses V.W; + provides X.Y with Z1.Z2; + provides X.Y with Z3.Z4; +} |