diff options
| author | Kathy Gray | 2014-02-05 18:33:22 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-02-05 18:33:22 +0000 |
| commit | 1381969c9f9a3aa4a40747aea784bf0bb72974c9 (patch) | |
| tree | ebd6e3bbe806cb4edcadf9e660714f04cab45c01 /src/test/test1.sail | |
| parent | 85953dee9956667c544ff1ce83c6b45d26ea7b44 (diff) | |
Fix type id parsing error ans associated type checking bugs in scattereds
Diffstat (limited to 'src/test/test1.sail')
| -rw-r--r-- | src/test/test1.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index 0cb592d8..d75206fd 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -14,8 +14,8 @@ let bit v = bitzero let ( bit [ 32 ] ) v1 = 0b101 (* scattered function definition and union definition *) -scattered function unit f scattered typedef ast = const union +scattered function unit f union ast member bit * bit * bit A function clause f ( A (a,b,c) ) = () @@ -26,8 +26,8 @@ function clause f ( B (a,b) ) = () union ast member bit C function clause f ( C (a) ) = () -end f end ast +end f function bit sw s = switch s { case 0 -> bitzero } |
