More srg test cases.

2026-07-03 04:18:33 -06:00 · 2007-03-24 15:34:33 +00:00
parent 7095f7aa19
commit 2d713e78a5
3 changed files with 9 additions and 0 deletions
@@ -0,0 +1,4 @@
+cat S;
+fun f : S;
+
+lin f = { s = variants {"a"; "b"} ++ variants {"c"; "d"} ++ variants {"e"; "f"} ++ variants { "g";"h";} } ;