rename so names are unique in benchmarks

This commit is contained in:
Folkert 2021-01-28 15:33:11 +01:00
parent 55eff1dba1
commit badce47838
2 changed files with 8 additions and 7 deletions

5
Cargo.lock generated
View File

@ -1542,9 +1542,9 @@ dependencies = [
[[package]]
name = "linked-hash-map"
version = "0.5.3"
version = "0.5.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8dd5a6d5999d9907cda8ed67bbd137d3af8085216c2ac62de5be860bd41f304a"
checksum = "7fb9b38af92608140b86b693604b9ffcc5824240a484d1ecd4795bacb2fe88f3"
[[package]]
name = "llvm-sys"
@ -2904,6 +2904,7 @@ version = "0.1.0"
dependencies = [
"bumpalo",
"indoc",
"linked-hash-map",
"maplit",
"pretty_assertions",
"quickcheck",

View File

@ -18,10 +18,10 @@ length : ConsList a -> I64
length = \xs -> lengthHelp xs 0
lengthHelp : ConsList a, I64 -> I64
lengthHelp = \xs, acc ->
when xs is
lengthHelp = \foobar, acc ->
when foobar is
Cons _ lrest -> lengthHelp lrest (1 + acc)
Nil -> acc
Cons _ rest -> lengthHelp rest (1 + acc)
safe : I64, I64, ConsList I64 -> Bool
safe = \queen, diagonal, xs ->
@ -41,8 +41,8 @@ appendSafe = \k, soln, solns ->
else
appendSafe (k - 1) soln solns
extend = \n, acc, solns ->
when solns is
extend = \n, acc, solutions ->
when solutions is
Nil -> acc
Cons soln rest -> extend n (appendSafe n soln acc) rest