diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/test1.sail | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index d75206fd..c603bb65 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -15,16 +15,16 @@ let ( bit [ 32 ] ) v1 = 0b101 (* scattered function definition and union definition *) scattered typedef ast = const union -scattered function unit f +scattered function ast f union ast member bit * bit * bit A -function clause f ( A (a,b,c) ) = () +function clause f ( A (a,b,c) ) = C(a) union ast member bit * bit B -function clause f ( B (a,b) ) = () +function clause f ( B (a,b) ) = C(a) union ast member bit C -function clause f ( C (a) ) = () +function clause f ( C (a) ) = C(a) end ast end f |