tests/circular.tc

   1 // circular test cases
   2 //testcase {
   3 //    input  "x";
   4 //    output "a:{x}";
   5 //
   6 //    s   = a1:: a
   7 //    a   = s1:: s
   8 //    a   = ^"x"
   9 //}
  10 //
  11 //testcase {
  12 //    input  "x";
  13 //    output "x";
  14 //    output "s2:{s2:{s0 s0} x}";
  15 //    output "s2:{s0 x}";
  16 //
  17 //
  18 //    s   = s2:: s s
  19 //    s   = ^"x"
  20 //    s   = s0:: ()
  21 //}