summaryrefslogtreecommitdiff
path: root/test/typecheck
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-09-19 17:00:05 +0100
committerAlasdair Armstrong2017-09-19 17:00:05 +0100
commit15309c879d2c877953512c401e66a7a48af6df97 (patch)
treede81b54ad3404498d5e4c2479a794742cc01041b /test/typecheck
parente4a2b9205daa7dd8a3a05b3a972d00c23f2adc7a (diff)
Added additional case for tuple l-expressions to increase compatability for ASL.
Diffstat (limited to 'test/typecheck')
-rw-r--r--test/typecheck/pass/nzcv.sail9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/typecheck/pass/nzcv.sail b/test/typecheck/pass/nzcv.sail
new file mode 100644
index 00000000..a477cd97
--- /dev/null
+++ b/test/typecheck/pass/nzcv.sail
@@ -0,0 +1,9 @@
+default Order dec
+
+val bit[4] -> unit effect pure test
+
+function test nzcv =
+{
+ (N,Z,C,V) := nzcv;
+ ()
+}