From 52c6cb4f01368b2032bccd3b1e98b9e2a82b2406 Mon Sep 17 00:00:00 2001 From: elmattic Date: Wed, 14 Apr 2021 00:11:18 +0200 Subject: [PATCH] Remove dead code --- base/Word/leading_ones.kind | 2 +- base/Word/leading_ones/go.kind | 6 +++--- base/Word/leading_zeros.kind | 2 +- base/Word/leading_zeros/go.kind | 6 +++--- base/Word/trailing_ones.kind | 2 +- base/Word/trailing_ones/go.kind | 4 ++-- base/Word/trailing_zeros.kind | 2 +- base/Word/trailing_zeros/go.kind | 4 ++-- 8 files changed, 14 insertions(+), 14 deletions(-) diff --git a/base/Word/leading_ones.kind b/base/Word/leading_ones.kind index db3f103f..93d7bc99 100644 --- a/base/Word/leading_ones.kind +++ b/base/Word/leading_ones.kind @@ -1,2 +1,2 @@ Word.leading_ones(word: Word(size)): Nat - Word.leading_ones.go(word, 0, 0) + Word.leading_ones.go(word, 0) diff --git a/base/Word/leading_ones/go.kind b/base/Word/leading_ones/go.kind index 4b559d5c..6f402dae 100644 --- a/base/Word/leading_ones/go.kind +++ b/base/Word/leading_ones/go.kind @@ -1,6 +1,6 @@ -Word.leading_ones.go(word: Word(size), c: Nat, n: Nat): Nat +Word.leading_ones.go(word: Word(size), n: Nat): Nat case word { e: n, - o: Word.leading_ones.go(word.pred, Nat.succ(c), 0), - i: Word.leading_ones.go(word.pred, Nat.succ(c), Nat.succ(n)) + o: Word.leading_ones.go(word.pred, 0), + i: Word.leading_ones.go(word.pred, Nat.succ(n)) }: Nat diff --git a/base/Word/leading_zeros.kind b/base/Word/leading_zeros.kind index bc05dff5..88cc2f3c 100644 --- a/base/Word/leading_zeros.kind +++ b/base/Word/leading_zeros.kind @@ -1,2 +1,2 @@ Word.leading_zeros(word: Word(size)): Nat - Word.leading_zeros.go(word, 0, 0) + Word.leading_zeros.go(word, 0) diff --git a/base/Word/leading_zeros/go.kind b/base/Word/leading_zeros/go.kind index 80060753..1ee8c7fb 100644 --- a/base/Word/leading_zeros/go.kind +++ b/base/Word/leading_zeros/go.kind @@ -1,6 +1,6 @@ -Word.leading_zeros.go(word: Word(size), c: Nat, n: Nat): Nat +Word.leading_zeros.go(word: Word(size), n: Nat): Nat case word { e: n, - o: Word.leading_zeros.go(word.pred, Nat.succ(c), Nat.succ(n)), - i: Word.leading_zeros.go(word.pred, Nat.succ(c), 0) + o: Word.leading_zeros.go(word.pred, Nat.succ(n)), + i: Word.leading_zeros.go(word.pred, 0) }: Nat diff --git a/base/Word/trailing_ones.kind b/base/Word/trailing_ones.kind index 363c5c2a..81c3162f 100644 --- a/base/Word/trailing_ones.kind +++ b/base/Word/trailing_ones.kind @@ -1,2 +1,2 @@ Word.trailing_ones(word: Word(size)): Nat - Word.trailing_ones.go(word, 0, 0) + Word.trailing_ones.go(word, 0) diff --git a/base/Word/trailing_ones/go.kind b/base/Word/trailing_ones/go.kind index 62a6633a..08fbbef3 100644 --- a/base/Word/trailing_ones/go.kind +++ b/base/Word/trailing_ones/go.kind @@ -1,6 +1,6 @@ -Word.trailing_ones.go(word: Word(size), c: Nat, n: Nat): Nat +Word.trailing_ones.go(word: Word(size), n: Nat): Nat case word { e: n o: n, - i: Word.trailing_ones.go(word.pred, Nat.succ(c), Nat.succ(n)) + i: Word.trailing_ones.go(word.pred, Nat.succ(n)) }: Nat diff --git a/base/Word/trailing_zeros.kind b/base/Word/trailing_zeros.kind index c341c145..89cf8eaf 100644 --- a/base/Word/trailing_zeros.kind +++ b/base/Word/trailing_zeros.kind @@ -1,2 +1,2 @@ Word.trailing_zeros(word: Word(size)): Nat - Word.trailing_zeros.go(word, 0, 0) + Word.trailing_zeros.go(word, 0) diff --git a/base/Word/trailing_zeros/go.kind b/base/Word/trailing_zeros/go.kind index 66a03be5..dc0a57d9 100644 --- a/base/Word/trailing_zeros/go.kind +++ b/base/Word/trailing_zeros/go.kind @@ -1,6 +1,6 @@ -Word.trailing_zeros.go(word: Word(size), c: Nat, n: Nat): Nat +Word.trailing_zeros.go(word: Word(size), n: Nat): Nat case word { e: n - o: Word.trailing_zeros.go(word.pred, Nat.succ(c), Nat.succ(n)), + o: Word.trailing_zeros.go(word.pred, Nat.succ(n)), i: n }: Nat