bisectable6

query

use experimental :cached; multi fib(0 --> 0) { }; multi fib(1 --> 1) { }; multi fib(UInt:D $n) is cached { print "x"; fib($n-2) + fib($n-1) }; say fib(18); say fib(18)

result

Bisecting: 123 revisions left to test after this (roughly 7 steps)
[4693a52b2dcc2a8db2ebc747670e731215dcd135] Use Buf.append(Buf) instead of Buf.push(Buf)
»»»»» Testing 4693a52b2dcc2a8db2ebc747670e731215dcd135
»»»»» Script output:
Cannot invoke object with invocation handler in this context
  in block <unit> at /tmp/v4PyDktW2W line 1


»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing c57ac298348c602545f4c3ae5be52e8b921f7806
»»»»» Script output:
Cannot invoke object with invocation handler in this context
  in block <unit> at /tmp/v4PyDktW2W line 1


»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing a37cd221210bf242b5ad6847521e4922bc384e3a
»»»»» Script output:
Cannot invoke object with invocation handler in this context
  in block <unit> at /tmp/v4PyDktW2W line 1


»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 60870c13f6af4ed6dc4721ff07db14de3e78359f
»»»»» Script output:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing b519088f9d91b5bff8dbbc4acf65a6cbbad94cbd
»»»»» Script output:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 68afa3f1e77862e4b61f9946103047103fff3c2c
»»»»» Script output:
Cannot invoke object with invocation handler in this context
  in block <unit> at /tmp/v4PyDktW2W line 1


»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 0d491be25bad7c8b8bef06d1892f282627cfcc5f
»»»»» Script output:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 59b7e51b34057ae1cae87950b5d0a009aee6dbbf
»»»»» Script output:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
===SORRY!===
Invocant requires an instance of type Int, but a type object was passed.  Did you forget a .new?

»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
68afa3f1e77862e4b61f9946103047103fff3c2c is the first new commit
commit 68afa3f1e77862e4b61f9946103047103fff3c2c
Author: Jonathan Worthington <jnthn@jnthn.net>
Date:   Thu Jul 21 19:05:17 2016 +0200

    Correct handling of -> ASubsetType:D $x { }.
    
    We took the base type of the definiteness type, and just assumed it
    was already a simple nominal type. Now it is further analyzed, which
    fixes the compilation and behavior of the above construct.

:040000 040000 859404716e41dc309c4c9579f63afee0e3794e31 2326c7169685176c240929fb09de94e7581548fa M	src