diff options
| author | Gabriel Kerneis | 2014-02-05 19:27:42 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-05 19:28:01 +0000 |
| commit | 32d73f19bd5815832c0223c82b0a15423a47fa41 (patch) | |
| tree | 5de2c58f37bdf6ec4c47ab90cb1f27fc04eb2800 /src/test/test1.sail | |
| parent | 1381969c9f9a3aa4a40747aea784bf0bb72974c9 (diff) | |
Test scattered typedef cross-reference
Diffstat (limited to 'src/test/test1.sail')
| -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 |