Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Adjust tests to GLR flattenning behavior
  • Loading branch information
@skids
skids committed Aug 22, 2015
1 parent 82d5a9e commit b7dfe8c
Show file tree
Hide file tree
Showing 2 changed files with 60 additions and 60 deletions.
4 changes: 2 additions & 2 deletions S06-currying/misc.t
View file
Expand Up @@ -13,13 +13,13 @@ is-primed-sig(sub (::T $a, $b, :$c) { }, :($b, :$c), 1);
is-primed-sig(sub (::T $a, T $b, T :$c) { }, :($b, :$c), 1);
is-primed-sig(sub (::T $a, T @b, T :@c) { }, :(@b, :@c), 1);
is-primed-sig(sub (::T $a, T $b, T :$c) { }, :(:$c), 1, 1);
is-primed-sig(sub (::T $a, T @b, T :@c) { }, :(:@c), 1, [1]);
is-primed-sig(sub (::T $a, T @b, T :@c) { }, :(:@c), 1, $[1]);
is-primed-sig(sub (::T $a, Array[T] $b, Array[Int] :$c) { }, :($b, Array[Int] :$c), 1);
is-primed-sig(sub (::T $a, Array[T] $b, Array[Int] :$c) { }, :(Array[Int] :$c), 1, $(Array[Int].new));
is-primed-sig(sub (::T $a, Array[Array[T]] $b, Array[Array[Int]] :$c) { }, :($b, Array[Array[Int]] :$c), 1);
is-primed-sig(sub (::T $a, Array[Positional[T]] $b, Array[Positional[Int]] :$c) { }, :($b, Array[Positional[Int]] :$c), 1);

#?rakudo skip 'We could do a better here'
#?rakudo skip 'We could do better here'
is-primed-call(sub (::T $a, T $b is copy, T :$c) { "a" ~ $a.perl ~ "b" ~ $b.perl ~ "c" ~ $c.perl }, \("A", :c<C>), ["aAb(Any)cC"], *, Nil);

# How or whether this should fail is less clear to me. Currently LTA error.
Expand Down
116 changes: 58 additions & 58 deletions S06-currying/positional.t
View file
Expand Up @@ -116,38 +116,38 @@ is-primed-sig(sub (Array[Array[X::AdHoc]] $a, Array[Array[X::AdHoc]] $b) { }, :(
is-primed-sig(sub (Array[Array[X::AdHoc]] $, Array[Array[X::AdHoc]] $b) { }, :(Array[Array[X::AdHoc]] $b), $@AoAoXAH);
is-primed-sig(sub (Array[Array[X::AdHoc]] $, Array[Array[X::AdHoc]] $) { }, :(Array[Array[X::AdHoc]] $), $@AoAoXAH);
is-primed-sig(sub (Array[Array[X::AdHoc]] $a, Array[Array[X::AdHoc]] $) { }, :(Array[Array[X::AdHoc]] $), $@AoAoXAH);
is-primed-sig(sub (@a) { }, :(), [1]);
is-primed-sig(sub (@a, @b) { }, :(@b), [1]);
is-primed-sig(sub (@a?) { }, :(), [1]);
is-primed-sig(sub (@a, @b?) { }, :(@b?), [1]);
is-primed-sig(sub (@a?, @b?) { }, :(@b?), [1]);
is-primed-sig(sub (@a = 2) { }, :(), [1]);
is-primed-sig(sub (@a = 4, @b = 2) { }, :(@b?), [1]);
is-primed-sig(sub (@a) { }, :(), $[1]);
is-primed-sig(sub (@a, @b) { }, :(@b), $[1]);
is-primed-sig(sub (@a?) { }, :(), $[1]);
is-primed-sig(sub (@a, @b?) { }, :(@b?), $[1]);
is-primed-sig(sub (@a?, @b?) { }, :(@b?), $[1]);
is-primed-sig(sub (@a = 2) { }, :(), $[1]);
is-primed-sig(sub (@a = 4, @b = 2) { }, :(@b?), $[1]);
is-primed-sig(sub (@a, @b) { }, :(@b), Nil);
is-primed-sig(sub (@a, @b) { }, :(@a), *, [2]);
is-primed-sig(sub (@a, @b, $c) { }, :(@b), [1], *, [3]);
is-primed-sig(sub (@a, @b) { }, :(@a), *, $[2]);
is-primed-sig(sub (@a, @b, $c) { }, :(@b), $[1], *, $[3]);
is-primed-sig(sub (@a) { }, :(@a), *);
is-primed-sig(sub (@) { }, :(), [1]);
is-primed-sig(sub (@, @b) { }, :(@b), [1]);
is-primed-sig(sub (@?) { }, :(), [1]);
is-primed-sig(sub (@, @b?) { }, :(@b?), [1]);
is-primed-sig(sub (@?, @b?) { }, :(@b?), [1]);
is-primed-sig(sub (@ = 2) { }, :(), [1]);
is-primed-sig(sub (@ = 4, @b = 2) { }, :(@b?), [1]);
is-primed-sig(sub (@) { }, :(), $[1]);
is-primed-sig(sub (@, @b) { }, :(@b), $[1]);
is-primed-sig(sub (@?) { }, :(), $[1]);
is-primed-sig(sub (@, @b?) { }, :(@b?), $[1]);
is-primed-sig(sub (@?, @b?) { }, :(@b?), $[1]);
is-primed-sig(sub (@ = 2) { }, :(), $[1]);
is-primed-sig(sub (@ = 4, @b = 2) { }, :(@b?), $[1]);
is-primed-sig(sub (@, @b) { }, :(@b), Nil);
is-primed-sig(sub (@, @b) { }, :(@), *, [2]);
is-primed-sig(sub (@, @b, @c) { }, :(@b), [1], *, [3]);
is-primed-sig(sub (@, @b) { }, :(@), *, $[2]);
is-primed-sig(sub (@, @b, @c) { }, :(@b), $[1], *, $[3]);
is-primed-sig(sub (@) { }, :(@), *);
is-primed-sig(sub (@, @) { }, :(@), [1]);
is-primed-sig(sub (@, @?) { }, :(@?), [1]);
is-primed-sig(sub (@?, @?) { }, :(@?), [1]);
is-primed-sig(sub (@ = 2) { }, :(), [1]);
is-primed-sig(sub (@ = 4, @ = 2) { }, :(@?), [1]);
is-primed-sig(sub (@, @) { }, :(@), $[1]);
is-primed-sig(sub (@, @?) { }, :(@?), $[1]);
is-primed-sig(sub (@?, @?) { }, :(@?), $[1]);
is-primed-sig(sub (@ = 2) { }, :(), $[1]);
is-primed-sig(sub (@ = 4, @ = 2) { }, :(@?), $[1]);
is-primed-sig(sub (@, @) { }, :(@), Nil);
is-primed-sig(sub (@, @) { }, :(@), *, [2]);
is-primed-sig(sub (@, @b, @) { }, :(@b), [1], *, [3]);
is-primed-sig(sub (@, @, @) { }, :(@), [1], *, [3]);
is-primed-sig(sub (@, [2]) { }, :(@), [1]);
is-primed-sig(sub (@, @) { }, :(@), *, $[2]);
is-primed-sig(sub (@, @b, @) { }, :(@b), $[1], *, $[3]);
is-primed-sig(sub (@, @, @) { }, :(@), $[1], *, $[3]);
is-primed-sig(sub (@, [2]) { }, :(@), $[1]);
is-primed-sig(sub (Int @a, Int @b) { }, :(Int @b), $@AoI);
is-primed-sig(sub (Int @, Int @b) { }, :(Int @b), $@AoI);
is-primed-sig(sub (Int @, Int @) { }, :(Int @), $@AoI);
Expand Down Expand Up @@ -181,37 +181,37 @@ my Int %HoI = a => 1, b => 2;
my Str %HoS = a => 'A', b => 'B';
my Array[Int] %HoAoI = a => $@AoI, b => $@AoI;
my Hash[X::AdHoc] %HoHoXAH = a => $%HoXAH, b=> $%HoXAH;
is-primed-sig(sub (%a) { }, :(), {:1a,:2b});
is-primed-sig(sub (%a, %b) { }, :(%b), {:1a,:2b});
is-primed-sig(sub (%a?) { }, :(), {:1a,:2b});
is-primed-sig(sub (%a, %b?) { }, :(%b?), {:1a,:2b});
is-primed-sig(sub (%a?, %b?) { }, :(%b?), {:1a,:2b});
is-primed-sig(sub (%a = 2) { }, :(), {:1a,:2b});
is-primed-sig(sub (%a = 4, %b = 2) { }, :(%b?), {:1a,:2b});
is-primed-sig(sub (%a) { }, :(), {:1a,:2b}.item);
is-primed-sig(sub (%a, %b) { }, :(%b), {:1a,:2b}.item);
is-primed-sig(sub (%a?) { }, :(), {:1a,:2b}.item);
is-primed-sig(sub (%a, %b?) { }, :(%b?), {:1a,:2b}.item);
is-primed-sig(sub (%a?, %b?) { }, :(%b?), {:1a,:2b}.item);
is-primed-sig(sub (%a = 2) { }, :(), {:1a,:2b}.item);
is-primed-sig(sub (%a = 4, %b = 2) { }, :(%b?), {:1a,:2b}.item);
is-primed-sig(sub (%a, %b) { }, :(%b), Nil);
is-primed-sig(sub (%a, %b) { }, :(%a), *, {:2b});
is-primed-sig(sub (%a, %b, $c) { }, :(%b), {:1a,:2b}, *, {:3c});
is-primed-sig(sub (%a, %b) { }, :(%a), *, {:2b}.item);
is-primed-sig(sub (%a, %b, $c) { }, :(%b), {:1a,:2b}.item, *, {:3c}.item);
is-primed-sig(sub (%a) { }, :(%a), *);
is-primed-sig(sub (%) { }, :(), {:1a,:2b});
is-primed-sig(sub (%, %b) { }, :(%b), {:1a,:2b});
is-primed-sig(sub (%?) { }, :(), {:1a,:2b});
is-primed-sig(sub (%, %b?) { }, :(%b?), {:1a,:2b});
is-primed-sig(sub (%?, %b?) { }, :(%b?), {:1a,:2b});
is-primed-sig(sub (% = 2) { }, :(), {:1a,:2b});
is-primed-sig(sub (% = 4, %b = 2) { }, :(%b?), {:1a,:2b});
is-primed-sig(sub (%) { }, :(), {:1a,:2b}.item);
is-primed-sig(sub (%, %b) { }, :(%b), {:1a,:2b}.item);
is-primed-sig(sub (%?) { }, :(), {:1a,:2b}.item);
is-primed-sig(sub (%, %b?) { }, :(%b?), {:1a,:2b}.item);
is-primed-sig(sub (%?, %b?) { }, :(%b?), {:1a,:2b}.item);
is-primed-sig(sub (% = 2) { }, :(), {:1a,:2b}.item);
is-primed-sig(sub (% = 4, %b = 2) { }, :(%b?), {:1a,:2b}.item);
is-primed-sig(sub (%, %b) { }, :(%b), Nil);
is-primed-sig(sub (%, %b) { }, :(%), *, {:2b});
is-primed-sig(sub (%, %b, %c) { }, :(%b), {:1a,:2b}, *, {:3c});
is-primed-sig(sub (%, %b) { }, :(%), *, {:2b}.item);
is-primed-sig(sub (%, %b, %c) { }, :(%b), {:1a,:2b}.item, *, {:3c}.item);
is-primed-sig(sub (%) { }, :(%), *);
is-primed-sig(sub (%, %) { }, :(%), {:1a,:2b});
is-primed-sig(sub (%, %?) { }, :(%?), {:1a,:2b});
is-primed-sig(sub (%?, %?) { }, :(%?), {:1a,:2b});
is-primed-sig(sub (% = 2) { }, :(), {:1a,:2b});
is-primed-sig(sub (% = 4, % = 2) { }, :(%?), {:1a,:2b});
is-primed-sig(sub (%, %) { }, :(%), {:1a,:2b}.item);
is-primed-sig(sub (%, %?) { }, :(%?), {:1a,:2b}.item);
is-primed-sig(sub (%?, %?) { }, :(%?), {:1a,:2b}.item);
is-primed-sig(sub (% = 2) { }, :(), {:1a,:2b}.item);
is-primed-sig(sub (% = 4, % = 2) { }, :(%?), {:1a,:2b}.item);
is-primed-sig(sub (%, %) { }, :(%), Nil);
is-primed-sig(sub (%, %) { }, :(%), *, {:2b});
is-primed-sig(sub (%, %b, %) { }, :(%b), {:1a,:2b}, *, {:3c});
is-primed-sig(sub (%, %, %) { }, :(%), {:1a,:2b}, *, {:3c});
is-primed-sig(sub (%, %) { }, :(%), *, {:2b}.item);
is-primed-sig(sub (%, %b, %) { }, :(%b), {:1a,:2b}.item, *, {:3c}.item);
is-primed-sig(sub (%, %, %) { }, :(%), {:1a,:2b}.item, *, {:3c}.item);
is-primed-sig(sub (Int %a, Int %b) { }, :(Int %b), $%HoI);
is-primed-sig(sub (Int %, Int %b) { }, :(Int %b), $%HoI);
is-primed-sig(sub (Int %, Int %) { }, :(Int %), $%HoI);
Expand Down Expand Up @@ -247,8 +247,8 @@ multi testsubproto (Str $x, $y) { "Str + $y" }
multi testsubproto (Int $x, $y) { "Int + $y" }

is-primed-call(&abc123, \(1,2,3), ['a','b','c',1,2,3], 'a','b','c');
is-primed-call(-> Str $a { $a.WHAT }, \(), [Str], Nil);
is-primed-call(&testsubproto, \(43), ["Int + 43"], 42);
is-primed-call(&testsubproto, \(44), ["Str + 44"], "a Str");
is-primed-call(&atan2, \(2), [atan2(1,2)],1);
is-primed-call(&atan2, \(1), [atan2(1,2)],*,2);
is-primed-call(-> Str $a { $a.WHAT }, \(), $[Str], Nil);
is-primed-call(&testsubproto, \(43), $["Int + 43"], 42);
is-primed-call(&testsubproto, \(44), $["Str + 44"], "a Str");
is-primed-call(&atan2, \(2), $[atan2(1,2)],1);
is-primed-call(&atan2, \(1), $[atan2(1,2)],*,2);

0 comments on commit b7dfe8c

Please sign in to comment.