Added directly cyclic SRG test case.

2007-03-25 16:44:30 +00:00
parent 90ddf726c1
commit 005ad917d9
1 changed files with 7 additions and 0 deletions
@@ -0,0 +1,7 @@
 cat S;
 fun f : S -> S ;
 fun g : S ;
 lin f s = { s = s.s } ;
 lin g = { s = "g" } ;