Skip to content

Instantly share code, notes, and snippets.

@Whateverable
Created May 10, 2017 03:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Whateverable/4403a1a13e795dea893ddca2ae8cef07 to your computer and use it in GitHub Desktop.
Save Whateverable/4403a1a13e795dea893ddca2ae8cef07 to your computer and use it in GitHub Desktop.
bisectable6
my %h{Any} of Str; %h<a>=2
Bisecting: 2117 revisions left to test after this (roughly 11 steps)
[8023dfbc6ff1cb71903fae5fd4d92ed63027719b] Throw on overflow in infix:<*>(int, int)
»»»»» Testing 8023dfbc6ff1cb71903fae5fd4d92ed63027719b
»»»»» Script output:
Type check failed in binding to assignval; expected Str but got Int (2)
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing a64607f0e77776a23a3bab7b3fc4e2e7c95299bb
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int (2)
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 79589da5d445a7133adb155cd6005e3ed1445594
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int (2)
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 8e967c83313c2aefefdd3c3ea3a23f474f977d53
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing f3cca8f816672e4fc57da99fbf7cd3b25555a898
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int (2)
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 78d2c7148ae28eb7aaa25729fb73dc4cd02e4ebd
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 73114b51f26842952443682dd01aa1760dfbcfe6
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 6159b5e22c1508899bf0e680993ec388a1e8f7e5
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 64ab188d5270b771dd6056ea7ac4bff0f6056272
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int (2)
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 0054aa7a1b8ecead03010e5ce8aba5c691f300a8
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 9983c2c8434ed81c532a5706996f284283b48d0a
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int (2)
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing e3b1dd391e7addf2ce81e9798748ee717d92444b
»»»»» Script output:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in binding assignval; expected Str but got Int
in block <unit> at /tmp/z6M7pdbL8f line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
9983c2c8434ed81c532a5706996f284283b48d0a is the first new commit
commit 9983c2c8434ed81c532a5706996f284283b48d0a
Author: Elizabeth Mattijsen <liz@dijkmat.nl>
Date: Thu Feb 18 10:32:56 2016 +0100
Make X::TypeCheck a little more informative
by showing the actual value passed if possible, truncated if too long
:040000 040000 ce42ca2db3a601818be6f4d448815b7cad2072da 3bbf10195b05bdfedaa2af4ba6bb12cec5b467c3 M src
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment