diff options
| author | Alasdair Armstrong | 2017-07-27 13:22:09 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-27 13:22:09 +0100 |
| commit | 55cef4bf4baf94c5984b02aea6d53abcf82ba1ea (patch) | |
| tree | 1c6bc0ae5e5a5944a4c433e4e67726aa802f9539 /test/typecheck | |
| parent | c1a431aa50a65704a349174ecf7b9017ff87c570 (diff) | |
Fixed bug with pattern synonyms in Cons and List patterns
Diffstat (limited to 'test/typecheck')
| -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 |