basis/compiler/tree/builder/builder-tests.factor

   1 USING: compiler.tree.builder tools.test sequences kernel
   2 compiler.tree stack-checker stack-checker.errors ;
   3 IN: compiler.tree.builder.tests
   4
   5 : inline-recursive ( -- ) inline-recursive ; inline recursive
   6
   7 [ t ] [ \ inline-recursive build-tree [ #recursive? ] any? ] unit-test
   8
   9 : bad-recursion-1 ( a -- b )
  10     dup [ drop bad-recursion-1 5 ] [ ] if ;
  11
  12 [ \ bad-recursion-1 build-tree ] [ inference-error? ] must-fail-with
  13
  14 FORGET: bad-recursion-1
  15
  16 : bad-recursion-2 ( obj -- obj )
  17     dup [ dup first swap second bad-recursion-2 ] [ ] if ;
  18
  19 [ \ bad-recursion-2 build-tree ] [ inference-error? ] must-fail-with
  20
  21 FORGET: bad-recursion-2
  22
  23 : bad-bin ( a b -- ) 5 [ 5 bad-bin bad-bin 5 ] [ 2drop ] if ;
  24
  25 [ \ bad-bin build-tree ] [ inference-error? ] must-fail-with
  26
  27 FORGET: bad-bin