new test to outline the recursion support requirement and lots of small documentation...

[gitmo/MooseX-Types-Structured.git] / t / 10-recursion.t

diff --git a/t/10-recursion.t b/t/10-recursion.t
new file mode 100644 (file)
index 0000000..74d22c8
--- /dev/null
+++ b/t/10-recursion.t
@@ -0,0 +1,52 @@
+## Test case donated by Steven Little
+
+BEGIN {
+    package Interpreter;
+    use Moose;
+    use Moose::Util::TypeConstraints;
+    use MooseX::Types::Structured qw(Dict Tuple);
+    use MooseX::Types::Moose qw(Int Str);
+    use MooseX::Types -declare => [qw(
+        Var
+        Const
+        Op
+        Expr
+    )];
+
+    subtype Var() => as Str();
+
+    subtype Const() => as Int() | Str();
+
+    enum Op() => qw[ + - ^ ];
+
+    subtype Expr() => as
+          Const()
+        | Tuple([Expr(), Op(), Expr()]) # binop
+        | Var();
+}
+
+{
+    package Foo;
+    BEGIN { Interpreter->import(':all') };
+    use Test::More 'no_plan';
+
+    ok is_Var('x'), q{passes is_Var('x')};
+    ok is_Const(1), q{passes is_Const(1)};
+    ok is_Const('Hello World'), q{passes is_Const};
+
+    ok is_Op('+'), q{passes is_Op('+')};
+    ok is_Op('-'), q{passes is_Op('-')};
+    ok is_Op('^'), q{passes is_Op('^')};
+
+    use Data::Dump qw/dump/;
+    #die dump Expr();
+    ok Expr->check([ 11, '+', 12]), '';
+    ok is_Expr([ 1, '+', 1]), q{passes is_Expr([ 1, '+', 1])};
+    ok is_Expr([ 1, '+', [ 1, '+', 1 ]]), q{passes is_Expr([ 1, '+', [ 1, '+', 1 ]])};
+}
+
+
+
+
+
+