summaryrefslogtreecommitdiff
path: root/src/test/test1.sail
diff options
context:
space:
mode:
authorKathy Gray2014-02-05 18:33:22 +0000
committerKathy Gray2014-02-05 18:33:22 +0000
commit1381969c9f9a3aa4a40747aea784bf0bb72974c9 (patch)
treeebd6e3bbe806cb4edcadf9e660714f04cab45c01 /src/test/test1.sail
parent85953dee9956667c544ff1ce83c6b45d26ea7b44 (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.sail4
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 }