diff options
| author | Alasdair Armstrong | 2017-07-27 13:54:49 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-27 13:54:49 +0100 |
| commit | 34c27ada18e9e36a0224e2ff9999559ed2899157 (patch) | |
| tree | 965e00c20eb381b5547961cb02092d16f3897e9d /test | |
| parent | 10daf305e6620b7088b08d7fbe58fea314736162 (diff) | |
| parent | 55cef4bf4baf94c5984b02aea6d53abcf82ba1ea (diff) | |
Merge remote-tracking branch 'origin/sail_new_tc' into experiments
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/cons_pattern_synonym.sail | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/typecheck/pass/cons_pattern_synonym.sail b/test/typecheck/pass/cons_pattern_synonym.sail new file mode 100644 index 00000000..f5b26294 --- /dev/null +++ b/test/typecheck/pass/cons_pattern_synonym.sail @@ -0,0 +1,7 @@ +typedef ty = list<(bit[8])> + +function bool foo ((ty) l) = + switch l { + case _ :: _ -> false + case _ -> true + }
\ No newline at end of file |