diff --git a/testsuite/compiler/compute/string_matching.gfs b/testsuite/compiler/compute/string_matching.gfs index 72088c964..672e7b048 100644 --- a/testsuite/compiler/compute/string_matching.gfs +++ b/testsuite/compiler/compute/string_matching.gfs @@ -26,3 +26,4 @@ cc x; _ => "?"} : Str> cc x; _ => "?"} : Str> cc test "abcd" cc test "xyz" +cc <\x -> case x of {"q1" => Q1; _ => Q2} : Str -> Q> diff --git a/testsuite/compiler/compute/string_matching.gfs.gold b/testsuite/compiler/compute/string_matching.gfs.gold index c60c2ab0c..f20f91bd0 100644 --- a/testsuite/compiler/compute/string_matching.gfs.gold +++ b/testsuite/compiler/compute/string_matching.gfs.gold @@ -25,3 +25,7 @@ param_table.Q2 "xy" param_table.Q1 param_table.Q2 +\v0 -> case of { + "q1" => param_table.Q1; + _ => param_table.Q2 + }