Skip to content

Instantly share code, notes, and snippets.

@Whateverable
Created June 14, 2021 13:46
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/fe938df236db3cf0b5d13abbd2c75b2c to your computer and use it in GitHub Desktop.
Save Whateverable/fe938df236db3cf0b5d13abbd2c75b2c to your computer and use it in GitHub Desktop.
bisectable6
my Int:D $a = 1; $a = Nil;
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:
Type check failed in assignment to $a; expected type Int:D cannot be itself (perhaps Nil was assigned to a :D which had no default?)
in block <unit> at /tmp/gBmQ2bSMT_ line 1
»»»»» Script exit code: 1
»»»»» Bisecting by exit code
»»»»» Current exit code is 1, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing c57ac298348c602545f4c3ae5be52e8b921f7806
»»»»» Script output:
Type check failed in assignment to $a; expected type Int:D cannot be itself (perhaps Nil was assigned to a :D which had no default?)
in block <unit> at /tmp/gBmQ2bSMT_ line 1
»»»»» Script exit code: 1
»»»»» Bisecting by exit code
»»»»» Current exit code is 1, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing a37cd221210bf242b5ad6847521e4922bc384e3a
»»»»» Script output:
»»»»» Script exit code: 0
»»»»» Bisecting by exit code
»»»»» Current exit code is 0, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 957dc0d034774df1cdd0085716086e362ede675e
»»»»» Script output:
»»»»» Script exit code: 0
»»»»» Bisecting by exit code
»»»»» Current exit code is 0, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 4551803db6c757dfae8a6b1cfe73c68f83d38faf
»»»»» Script output:
Type check failed in assignment to $a; expected type Int:D cannot be itself (perhaps Nil was assigned to a :D which had no default?)
in block <unit> at /tmp/gBmQ2bSMT_ line 1
»»»»» Script exit code: 1
»»»»» Bisecting by exit code
»»»»» Current exit code is 1, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing c2ae9149066babaee418ab7c76171a56937f5ee7
»»»»» Script output:
Type check failed in assignment to $a; expected type Int:D cannot be itself (perhaps Nil was assigned to a :D which had no default?)
in block <unit> at /tmp/gBmQ2bSMT_ line 1
»»»»» Script exit code: 1
»»»»» Bisecting by exit code
»»»»» Current exit code is 1, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 0a1d93253852312710e6bda98b9101f9abe81707
»»»»» Script output:
Type check failed in assignment to $a; expected type Int:D cannot be itself (perhaps Nil was assigned to a :D which had no default?)
in block <unit> at /tmp/gBmQ2bSMT_ line 1
»»»»» Script exit code: 1
»»»»» Bisecting by exit code
»»»»» Current exit code is 1, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 4eb9a3ef6145d47b0fd119e024d0fce207f55da9
»»»»» Script output:
Type check failed in assignment to $a; expected Int:D but got Int:D
in block <unit> at /tmp/gBmQ2bSMT_ line 1
»»»»» Script exit code: 1
»»»»» Bisecting by exit code
»»»»» Current exit code is 1, exit code on “old” revision is 0
»»»»» If exit code is not the same as on “old” revision, this revision will be marked as “new”
»»»»» Therefore, marking this revision as “new”
4eb9a3ef6145d47b0fd119e024d0fce207f55da9 is the first new commit
commit 4eb9a3ef6145d47b0fd119e024d0fce207f55da9
Author: skids <bri@abrij.org>
Date: Fri Jul 22 18:21:28 2016 -0400
Fix RT#127958 on moarvm... :D smiley containers assigned from Nil
There is no sensible default default for :D types, blame Kurt Gödel.
This breaks the assumption that a type's default is a legal value.
So, check the assigned type even when assigning from the_default.
:040000 040000 52341cf2e845bc3d574295a73c576a84f120c6ef e8f6a0e88e8fe761c2409ac5a9a49a58101399fd M src
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment