Skip to content

Instantly share code, notes, and snippets.

@Whateverable
Created June 3, 2019 02:58
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/ed13208404dcaceca77d42eee53865dd to your computer and use it in GitHub Desktop.
Save Whateverable/ed13208404dcaceca77d42eee53865dd to your computer and use it in GitHub Desktop.
bisectable6
say (-> Int $n is copy { $n ÷= 1 })(2)
Bisecting: 4940 revisions left to test after this (roughly 12 steps)
[2d07e8a70c7a5dba1ad7be9e890ecc2ee1506474] No need to check MAIN-ALLOW-NAMED-ANYWHERE
»»»»» Testing 2d07e8a70c7a5dba1ad7be9e890ecc2ee1506474
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 26e35162503547b0310b19fa6ad044ca97352e5c
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 20ba0ecde1e9db0e4ada91c7ea54b04bf6913be4
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing c3446c014e34b99fc27e70f90b7188463cb5c348
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 470be033192dd34cf7336e77ca46573f5cdadfb5
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing c70a18e9cd4aff36c2c7a6b8f9a62770c8c533b3
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing e3b1dd391e7addf2ce81e9798748ee717d92444b
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is identical
»»»»» Therefore, marking this revision as “old”
»»»»» -------------------------------------------------------------------------
»»»»» Testing a02d44b93ff0f01360de3a142a99c844a4a7fae7
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing dae9f6a3633b1f80ac801ad7c450ed3aa16ccd71
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing edac531c6c11934760e81905cc5c5bf12625ea01
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing e93a06c1d5792e550b09a949b2ebe2552ebae42a
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 02709661848ca367af9380f693023600a7e68b1d
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
»»»»» Testing 9983c2c8434ed81c532a5706996f284283b48d0a
»»»»» Script output:
Type check failed in assignment to $n; expected Int but got Rat (2.0)
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» Script exit code: 1
»»»»» Bisecting by output
»»»»» Output on “old” revision is:
Type check failed in assignment to $n; expected Int but got Rat
in block <unit> at /tmp/Mi66m7WvqL line 1
»»»»» The output is different
»»»»» Therefore, marking this revision as “new”
»»»»» -------------------------------------------------------------------------
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