diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/test1.sail | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index 78258929..c035ea4b 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -13,6 +13,22 @@ let bool e = true let bit v = bitzero let ( bit [ 32 ] ) v1 = 0b101 +(* scattered function definition and union definition *) +scattered function unit f +scattered typedef ast = const union + +union ast member bit * bit * bit A +function clause f ( A (a,b,c) ) = () + +union ast member bit * bit B +function clause f ( B (a,b) ) = () + +union ast member bit C +function clause f ( C (a) ) = () + +end f +end ast + function bit sw s = switch s { case 0 -> bitzero } function bit main _ = {sw(0); v1[0] } |