Skip to content

Instantly share code, notes, and snippets.

@Whateverable
Created Jan 21, 2022
Embed
What would you like to do?
bisectable6
m: my Int \z = 42; z :=100;
Bisecting: 80 revisions left to test after this (roughly 6 steps)
[4ea2ca2d18db52b6ee70c4d8cdea62ffdc91ed09] Merge pull request #4627 from MasterDuke17/consistently_use_is-raw_for_(Mix|Bag|Set)Hash_.values
»»»»» Testing 4ea2ca2d18db52b6ee70c4d8cdea62ffdc91ed09
»»»»» Script output:
===SORRY!=== Error while compiling /tmp/HKSX__nJLQ
Cannot bind to 'z' because it is a term and terms cannot be rebound
at /tmp/HKSX__nJLQ:1
------> m: my Int \z = 42; z :=100⏏;
»»»»» 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 665adc06c3ff615d6e3a931d088b60546fea6681
»»»»» 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 a507f7c0473a4c34d46ff8cb71d00048b5a673e4
»»»»» 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 e8a48286e3a3035f0040afbdf10c7033f95c8fd5
»»»»» Script output:
===SORRY!=== Error while compiling /tmp/HKSX__nJLQ
Cannot bind to 'z' because it is a term and terms cannot be rebound
at /tmp/HKSX__nJLQ:1
------> m: my Int \z = 42; z :=100⏏;
»»»»» 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 dc182f5d0e187a69c6f594fe81365e565289c8a0
»»»»» 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 32e307b6f5b685ec58665c4df6a2d8175ae9dabc
»»»»» Script output:
===SORRY!=== Error while compiling /tmp/HKSX__nJLQ
Cannot bind to 'z' because it is a term and terms cannot be rebound
at /tmp/HKSX__nJLQ:1
------> m: my Int \z = 42; z :=100⏏;
»»»»» 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 903070358f86f411d77cd7f674e3db6f5f6711d1
»»»»» Script output:
===SORRY!=== Error while compiling /tmp/HKSX__nJLQ
Cannot use bind operator with this left-hand side
at /tmp/HKSX__nJLQ:1
------> m: my Int \z = 42; z :=100⏏;
»»»»» 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 aeaf6f5ecc3fdd8713e0add698801d5033a5930e
»»»»» 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”
903070358f86f411d77cd7f674e3db6f5f6711d1 is the first new commit
commit 903070358f86f411d77cd7f674e3db6f5f6711d1
Author: Daniel Sockwell <daniel@codesections.com>
Date: Fri Sep 24 14:57:53 2021 -0400
Prevent typed \ terms from rebinding
Terms declared with \ are not supposed to be rebindable, but they
previously were when declared with a type constraint. This commit
fixes that bug.
:040000 040000 b6edc11223bd291af47d00ba4e289e8d3c67e26d dc74c5f2f75998ce4708c0ac647eff3393b5c959 M src
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment