From 1398ac46264659b83ef686a2ffb3a7ba8b186a78 Mon Sep 17 00:00:00 2001 From: oxe-i Date: Fri, 24 Apr 2026 16:40:06 +0000 Subject: [PATCH] regenerate lakefile --- exercises/practice/acronym/lakefile.toml | 4 +++ .../practice/affine-cipher/lakefile.toml | 4 +++ .../practice/all-your-base/lakefile.toml | 4 +++ exercises/practice/allergies/lakefile.toml | 4 +++ exercises/practice/alphametics/lakefile.toml | 4 +++ exercises/practice/anagram/lakefile.toml | 4 +++ .../practice/armstrong-numbers/lakefile.toml | 4 +++ exercises/practice/assemble/lakefile.toml | 4 +++ .../practice/atbash-cipher/lakefile.toml | 4 +++ exercises/practice/bank-account/lakefile.toml | 4 +++ .../practice/binary-search-tree/lakefile.toml | 4 +++ .../practice/binary-search/lakefile.toml | 4 +++ exercises/practice/bob/lakefile.toml | 4 +++ exercises/practice/book-store/lakefile.toml | 4 +++ exercises/practice/camicia/lakefile.toml | 4 +++ exercises/practice/change/lakefile.toml | 4 +++ exercises/practice/clock/lakefile.toml | 4 +++ .../practice/collatz-conjecture/lakefile.toml | 4 +++ .../practice/complex-numbers/lakefile.toml | 4 +++ exercises/practice/connect/lakefile.toml | 4 +++ .../practice/crypto-square/lakefile.toml | 4 +++ exercises/practice/custom-set/lakefile.toml | 4 +++ exercises/practice/darts/lakefile.toml | 4 +++ exercises/practice/diamond/lakefile.toml | 4 +++ .../difference-of-squares/lakefile.toml | 4 +++ .../practice/dnd-character/lakefile.toml | 4 +++ exercises/practice/dominoes/lakefile.toml | 4 +++ exercises/practice/eliuds-eggs/lakefile.toml | 4 +++ exercises/practice/etl/lakefile.toml | 4 +++ .../practice/flatten-array/lakefile.toml | 4 +++ exercises/practice/forth/lakefile.toml | 4 +++ exercises/practice/game-of-life/lakefile.toml | 4 +++ exercises/practice/gigasecond/lakefile.toml | 4 +++ exercises/practice/grains/lakefile.toml | 4 +++ exercises/practice/grep/lakefile.toml | 4 +++ exercises/practice/hamming/lakefile.toml | 4 +++ exercises/practice/hangman/lakefile.toml | 4 +++ exercises/practice/hello-world/lakefile.toml | 4 +++ exercises/practice/high-scores/lakefile.toml | 4 +++ exercises/practice/house/lakefile.toml | 4 +++ .../practice/isbn-verifier/lakefile.toml | 4 +++ exercises/practice/isogram/lakefile.toml | 4 +++ .../kindergarten-garden/lakefile.toml | 4 +++ exercises/practice/knapsack/lakefile.toml | 4 +++ .../largest-series-product/lakefile.toml | 4 +++ exercises/practice/leap/lakefile.toml | 4 +++ exercises/practice/line-up/lakefile.toml | 4 +++ exercises/practice/linked-list/lakefile.toml | 4 +++ exercises/practice/luhn/lakefile.toml | 4 +++ .../practice/matching-brackets/lakefile.toml | 4 +++ exercises/practice/matrix/lakefile.toml | 4 +++ exercises/practice/meetup/lakefile.toml | 4 +++ exercises/practice/nth-prime/lakefile.toml | 4 +++ .../practice/nucleotide-count/lakefile.toml | 4 +++ .../palindrome-products/lakefile.toml | 4 +++ exercises/practice/pangram/lakefile.toml | 4 +++ .../parallel-letter-frequency/lakefile.toml | 4 +++ .../practice/pascals-triangle/lakefile.toml | 4 +++ .../practice/perfect-numbers/lakefile.toml | 4 +++ exercises/practice/phone-number/lakefile.toml | 4 +++ .../practice/prime-factors/lakefile.toml | 4 +++ .../protein-translation/lakefile.toml | 4 +++ .../pythagorean-triplet/lakefile.toml | 4 +++ exercises/practice/queen-attack/lakefile.toml | 4 +++ .../practice/rail-fence-cipher/lakefile.toml | 4 +++ exercises/practice/raindrops/lakefile.toml | 4 +++ .../practice/rational-numbers/lakefile.toml | 4 +++ exercises/practice/rectangles/lakefile.toml | 4 +++ .../practice/relative-distance/lakefile.toml | 4 +++ .../resistor-color-trio/lakefile.toml | 1 + .../practice/resistor-color/lakefile.toml | 4 +++ exercises/practice/reverse-list/lakefile.toml | 1 - .../practice/reverse-string/lakefile.toml | 4 +++ .../practice/rna-transcription/lakefile.toml | 4 +++ .../practice/roman-numerals/lakefile.toml | 4 +++ .../practice/rotational-cipher/lakefile.toml | 4 +++ .../run-length-encoding/lakefile.toml | 4 +++ exercises/practice/satellite/lakefile.toml | 4 +++ exercises/practice/say/lakefile.toml | 4 +++ .../practice/scrabble-score/lakefile.toml | 4 +++ .../practice/secret-handshake/lakefile.toml | 4 +++ exercises/practice/series/lakefile.toml | 4 +++ exercises/practice/sgf-parsing/lakefile.toml | 4 +++ exercises/practice/space-age/lakefile.toml | 4 +++ exercises/practice/square-root/lakefile.toml | 4 +++ exercises/practice/strain/lakefile.toml | 4 +++ exercises/practice/sublist/lakefile.toml | 4 +++ .../practice/sum-of-multiples/lakefile.toml | 4 +++ exercises/practice/transpose/lakefile.toml | 4 +++ exercises/practice/triangle/lakefile.toml | 4 +++ exercises/practice/twelve-days/lakefile.toml | 4 +++ exercises/practice/two-bucket/lakefile.toml | 4 +++ exercises/practice/two-fer/lakefile.toml | 4 +++ .../variable-length-quantity/lakefile.toml | 4 +++ exercises/practice/word-count/lakefile.toml | 4 +++ exercises/practice/wordy/lakefile.toml | 4 +++ exercises/practice/yacht/lakefile.toml | 4 +++ exercises/practice/zebra-puzzle/lakefile.toml | 4 +++ generators/GenerateTestFile.lean | 26 ++++++++++++------- templates/lakefile.toml | 4 +++ 100 files changed, 405 insertions(+), 11 deletions(-) diff --git a/exercises/practice/acronym/lakefile.toml b/exercises/practice/acronym/lakefile.toml index 4c0a804..e69d5e6 100644 --- a/exercises/practice/acronym/lakefile.toml +++ b/exercises/practice/acronym/lakefile.toml @@ -2,6 +2,7 @@ name = "acronym" version = "0.1.0" defaultTargets = ["AcronymTest"] testDriver = "AcronymTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Acronym" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AcronymTest" root = "AcronymTest" diff --git a/exercises/practice/affine-cipher/lakefile.toml b/exercises/practice/affine-cipher/lakefile.toml index b29daea..7c8a60d 100644 --- a/exercises/practice/affine-cipher/lakefile.toml +++ b/exercises/practice/affine-cipher/lakefile.toml @@ -2,6 +2,7 @@ name = "affine-cipher" version = "0.1.0" defaultTargets = ["AffineCipherTest"] testDriver = "AffineCipherTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "AffineCipher" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AffineCipherTest" root = "AffineCipherTest" diff --git a/exercises/practice/all-your-base/lakefile.toml b/exercises/practice/all-your-base/lakefile.toml index 7747ff2..9cd21ea 100644 --- a/exercises/practice/all-your-base/lakefile.toml +++ b/exercises/practice/all-your-base/lakefile.toml @@ -2,6 +2,7 @@ name = "all-your-base" version = "0.1.0" defaultTargets = ["AllYourBaseTest"] testDriver = "AllYourBaseTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "AllYourBase" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AllYourBaseTest" root = "AllYourBaseTest" diff --git a/exercises/practice/allergies/lakefile.toml b/exercises/practice/allergies/lakefile.toml index 7c13f75..af2a831 100644 --- a/exercises/practice/allergies/lakefile.toml +++ b/exercises/practice/allergies/lakefile.toml @@ -2,6 +2,7 @@ name = "allergies" version = "0.1.0" defaultTargets = ["AllergiesTest"] testDriver = "AllergiesTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Allergies" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AllergiesTest" root = "AllergiesTest" diff --git a/exercises/practice/alphametics/lakefile.toml b/exercises/practice/alphametics/lakefile.toml index 3675329..3208b20 100644 --- a/exercises/practice/alphametics/lakefile.toml +++ b/exercises/practice/alphametics/lakefile.toml @@ -2,6 +2,7 @@ name = "alphametics" version = "0.1.0" defaultTargets = ["AlphameticsTest"] testDriver = "AlphameticsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Alphametics" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AlphameticsTest" root = "AlphameticsTest" diff --git a/exercises/practice/anagram/lakefile.toml b/exercises/practice/anagram/lakefile.toml index 3583a4d..c9a3d93 100644 --- a/exercises/practice/anagram/lakefile.toml +++ b/exercises/practice/anagram/lakefile.toml @@ -2,6 +2,7 @@ name = "anagram" version = "0.1.0" defaultTargets = ["AnagramTest"] testDriver = "AnagramTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Anagram" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AnagramTest" root = "AnagramTest" diff --git a/exercises/practice/armstrong-numbers/lakefile.toml b/exercises/practice/armstrong-numbers/lakefile.toml index a0ca371..ef96241 100644 --- a/exercises/practice/armstrong-numbers/lakefile.toml +++ b/exercises/practice/armstrong-numbers/lakefile.toml @@ -2,6 +2,7 @@ name = "armstrong-numbers" version = "0.1.0" defaultTargets = ["ArmstrongNumbersTest"] testDriver = "ArmstrongNumbersTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ArmstrongNumbers" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ArmstrongNumbersTest" root = "ArmstrongNumbersTest" diff --git a/exercises/practice/assemble/lakefile.toml b/exercises/practice/assemble/lakefile.toml index 620a4e5..2db8cc9 100644 --- a/exercises/practice/assemble/lakefile.toml +++ b/exercises/practice/assemble/lakefile.toml @@ -2,6 +2,7 @@ name = "assemble" version = "0.1.0" defaultTargets = ["AssembleTest"] testDriver = "AssembleTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Assemble" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AssembleTest" root = "AssembleTest" diff --git a/exercises/practice/atbash-cipher/lakefile.toml b/exercises/practice/atbash-cipher/lakefile.toml index b85f191..80f4ce0 100644 --- a/exercises/practice/atbash-cipher/lakefile.toml +++ b/exercises/practice/atbash-cipher/lakefile.toml @@ -2,6 +2,7 @@ name = "atbash-cipher" version = "0.1.0" defaultTargets = ["AtbashCipherTest"] testDriver = "AtbashCipherTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "AtbashCipher" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "AtbashCipherTest" root = "AtbashCipherTest" diff --git a/exercises/practice/bank-account/lakefile.toml b/exercises/practice/bank-account/lakefile.toml index 8391245..c0edbd2 100644 --- a/exercises/practice/bank-account/lakefile.toml +++ b/exercises/practice/bank-account/lakefile.toml @@ -2,6 +2,7 @@ name = "bank-account" version = "0.1.0" defaultTargets = ["BankAccountTest"] testDriver = "BankAccountTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "BankAccount" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "BankAccountTest" root = "BankAccountTest" diff --git a/exercises/practice/binary-search-tree/lakefile.toml b/exercises/practice/binary-search-tree/lakefile.toml index e9d9618..a2a48f0 100644 --- a/exercises/practice/binary-search-tree/lakefile.toml +++ b/exercises/practice/binary-search-tree/lakefile.toml @@ -2,6 +2,7 @@ name = "binary-search-tree" version = "0.1.0" defaultTargets = ["BinarySearchTreeTest"] testDriver = "BinarySearchTreeTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "BinarySearchTree" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "BinarySearchTreeTest" root = "BinarySearchTreeTest" diff --git a/exercises/practice/binary-search/lakefile.toml b/exercises/practice/binary-search/lakefile.toml index 33aea82..5163c88 100644 --- a/exercises/practice/binary-search/lakefile.toml +++ b/exercises/practice/binary-search/lakefile.toml @@ -2,6 +2,7 @@ name = "binary-search" version = "0.1.0" defaultTargets = ["BinarySearchTest"] testDriver = "BinarySearchTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "BinarySearch" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "BinarySearchTest" root = "BinarySearchTest" diff --git a/exercises/practice/bob/lakefile.toml b/exercises/practice/bob/lakefile.toml index 64536b6..d666017 100644 --- a/exercises/practice/bob/lakefile.toml +++ b/exercises/practice/bob/lakefile.toml @@ -2,6 +2,7 @@ name = "bob" version = "0.1.0" defaultTargets = ["BobTest"] testDriver = "BobTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Bob" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "BobTest" root = "BobTest" diff --git a/exercises/practice/book-store/lakefile.toml b/exercises/practice/book-store/lakefile.toml index c885fe4..1c84a88 100644 --- a/exercises/practice/book-store/lakefile.toml +++ b/exercises/practice/book-store/lakefile.toml @@ -2,6 +2,7 @@ name = "book-store" version = "0.1.0" defaultTargets = ["BookStoreTest"] testDriver = "BookStoreTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "BookStore" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "BookStoreTest" root = "BookStoreTest" diff --git a/exercises/practice/camicia/lakefile.toml b/exercises/practice/camicia/lakefile.toml index 5763bfc..523f3ce 100644 --- a/exercises/practice/camicia/lakefile.toml +++ b/exercises/practice/camicia/lakefile.toml @@ -2,6 +2,7 @@ name = "camicia" version = "0.1.0" defaultTargets = ["CamiciaTest"] testDriver = "CamiciaTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Camicia" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "CamiciaTest" root = "CamiciaTest" diff --git a/exercises/practice/change/lakefile.toml b/exercises/practice/change/lakefile.toml index 63cee9c..6931b43 100644 --- a/exercises/practice/change/lakefile.toml +++ b/exercises/practice/change/lakefile.toml @@ -2,6 +2,7 @@ name = "change" version = "0.1.0" defaultTargets = ["ChangeTest"] testDriver = "ChangeTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Change" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ChangeTest" root = "ChangeTest" diff --git a/exercises/practice/clock/lakefile.toml b/exercises/practice/clock/lakefile.toml index 2727277..2793b5f 100644 --- a/exercises/practice/clock/lakefile.toml +++ b/exercises/practice/clock/lakefile.toml @@ -2,6 +2,7 @@ name = "clock" version = "0.1.0" defaultTargets = ["ClockTest"] testDriver = "ClockTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Clock" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ClockTest" root = "ClockTest" diff --git a/exercises/practice/collatz-conjecture/lakefile.toml b/exercises/practice/collatz-conjecture/lakefile.toml index 527fe58..e00ad7a 100644 --- a/exercises/practice/collatz-conjecture/lakefile.toml +++ b/exercises/practice/collatz-conjecture/lakefile.toml @@ -2,6 +2,7 @@ name = "collatz-conjecture" version = "0.1.0" defaultTargets = ["CollatzConjectureTest"] testDriver = "CollatzConjectureTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "CollatzConjecture" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "CollatzConjectureTest" root = "CollatzConjectureTest" diff --git a/exercises/practice/complex-numbers/lakefile.toml b/exercises/practice/complex-numbers/lakefile.toml index 85e3cc7..7fc8f97 100644 --- a/exercises/practice/complex-numbers/lakefile.toml +++ b/exercises/practice/complex-numbers/lakefile.toml @@ -2,6 +2,7 @@ name = "complex-numbers" version = "0.1.0" defaultTargets = ["ComplexNumbersTest"] testDriver = "ComplexNumbersTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ComplexNumbers" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ComplexNumbersTest" root = "ComplexNumbersTest" diff --git a/exercises/practice/connect/lakefile.toml b/exercises/practice/connect/lakefile.toml index 7ece56c..bae61a1 100644 --- a/exercises/practice/connect/lakefile.toml +++ b/exercises/practice/connect/lakefile.toml @@ -2,6 +2,7 @@ name = "connect" version = "0.1.0" defaultTargets = ["ConnectTest"] testDriver = "ConnectTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Connect" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ConnectTest" root = "ConnectTest" diff --git a/exercises/practice/crypto-square/lakefile.toml b/exercises/practice/crypto-square/lakefile.toml index b87bd9e..d1ee03f 100644 --- a/exercises/practice/crypto-square/lakefile.toml +++ b/exercises/practice/crypto-square/lakefile.toml @@ -2,6 +2,7 @@ name = "crypto-square" version = "0.1.0" defaultTargets = ["CryptoSquareTest"] testDriver = "CryptoSquareTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "CryptoSquare" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "CryptoSquareTest" root = "CryptoSquareTest" diff --git a/exercises/practice/custom-set/lakefile.toml b/exercises/practice/custom-set/lakefile.toml index 542aa99..93d097e 100644 --- a/exercises/practice/custom-set/lakefile.toml +++ b/exercises/practice/custom-set/lakefile.toml @@ -2,6 +2,7 @@ name = "custom-set" version = "0.1.0" defaultTargets = ["CustomSetTest"] testDriver = "CustomSetTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "CustomSet" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "CustomSetTest" root = "CustomSetTest" diff --git a/exercises/practice/darts/lakefile.toml b/exercises/practice/darts/lakefile.toml index 4a260aa..831d59c 100644 --- a/exercises/practice/darts/lakefile.toml +++ b/exercises/practice/darts/lakefile.toml @@ -2,6 +2,7 @@ name = "darts" version = "0.1.0" defaultTargets = ["DartsTest"] testDriver = "DartsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Darts" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "DartsTest" root = "DartsTest" diff --git a/exercises/practice/diamond/lakefile.toml b/exercises/practice/diamond/lakefile.toml index de1818a..25bf228 100644 --- a/exercises/practice/diamond/lakefile.toml +++ b/exercises/practice/diamond/lakefile.toml @@ -2,6 +2,7 @@ name = "diamond" version = "0.1.0" defaultTargets = ["DiamondTest"] testDriver = "DiamondTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Diamond" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "DiamondTest" root = "DiamondTest" diff --git a/exercises/practice/difference-of-squares/lakefile.toml b/exercises/practice/difference-of-squares/lakefile.toml index 6e0c169..73f2b0e 100644 --- a/exercises/practice/difference-of-squares/lakefile.toml +++ b/exercises/practice/difference-of-squares/lakefile.toml @@ -2,6 +2,7 @@ name = "difference-of-squares" version = "0.1.0" defaultTargets = ["DifferenceOfSquaresTest"] testDriver = "DifferenceOfSquaresTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "DifferenceOfSquares" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "DifferenceOfSquaresTest" root = "DifferenceOfSquaresTest" diff --git a/exercises/practice/dnd-character/lakefile.toml b/exercises/practice/dnd-character/lakefile.toml index 5fb7a00..a24279e 100644 --- a/exercises/practice/dnd-character/lakefile.toml +++ b/exercises/practice/dnd-character/lakefile.toml @@ -2,6 +2,7 @@ name = "dnd-character" version = "0.1.0" defaultTargets = ["DndCharacterTest"] testDriver = "DndCharacterTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "DndCharacter" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "DndCharacterTest" root = "DndCharacterTest" diff --git a/exercises/practice/dominoes/lakefile.toml b/exercises/practice/dominoes/lakefile.toml index 5b46d11..fe9d8d1 100644 --- a/exercises/practice/dominoes/lakefile.toml +++ b/exercises/practice/dominoes/lakefile.toml @@ -2,6 +2,7 @@ name = "dominoes" version = "0.1.0" defaultTargets = ["DominoesTest"] testDriver = "DominoesTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Dominoes" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "DominoesTest" root = "DominoesTest" diff --git a/exercises/practice/eliuds-eggs/lakefile.toml b/exercises/practice/eliuds-eggs/lakefile.toml index 79beea6..5c06837 100644 --- a/exercises/practice/eliuds-eggs/lakefile.toml +++ b/exercises/practice/eliuds-eggs/lakefile.toml @@ -2,6 +2,7 @@ name = "eliuds-eggs" version = "0.1.0" defaultTargets = ["EliudsEggsTest"] testDriver = "EliudsEggsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "EliudsEggs" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "EliudsEggsTest" root = "EliudsEggsTest" diff --git a/exercises/practice/etl/lakefile.toml b/exercises/practice/etl/lakefile.toml index 709b852..1fdfc1b 100644 --- a/exercises/practice/etl/lakefile.toml +++ b/exercises/practice/etl/lakefile.toml @@ -2,6 +2,7 @@ name = "etl" version = "0.1.0" defaultTargets = ["EtlTest"] testDriver = "EtlTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Etl" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "EtlTest" root = "EtlTest" diff --git a/exercises/practice/flatten-array/lakefile.toml b/exercises/practice/flatten-array/lakefile.toml index 2769137..fa89188 100644 --- a/exercises/practice/flatten-array/lakefile.toml +++ b/exercises/practice/flatten-array/lakefile.toml @@ -2,6 +2,7 @@ name = "flatten-array" version = "0.1.0" defaultTargets = ["FlattenArrayTest"] testDriver = "FlattenArrayTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "FlattenArray" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "FlattenArrayTest" root = "FlattenArrayTest" diff --git a/exercises/practice/forth/lakefile.toml b/exercises/practice/forth/lakefile.toml index 1590c0d..d397c34 100644 --- a/exercises/practice/forth/lakefile.toml +++ b/exercises/practice/forth/lakefile.toml @@ -2,6 +2,7 @@ name = "forth" version = "0.1.0" defaultTargets = ["ForthTest"] testDriver = "ForthTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Forth" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ForthTest" root = "ForthTest" diff --git a/exercises/practice/game-of-life/lakefile.toml b/exercises/practice/game-of-life/lakefile.toml index 63d4dca..deea770 100644 --- a/exercises/practice/game-of-life/lakefile.toml +++ b/exercises/practice/game-of-life/lakefile.toml @@ -2,6 +2,7 @@ name = "game-of-life" version = "0.1.0" defaultTargets = ["GameOfLifeTest"] testDriver = "GameOfLifeTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "GameOfLife" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "GameOfLifeTest" root = "GameOfLifeTest" diff --git a/exercises/practice/gigasecond/lakefile.toml b/exercises/practice/gigasecond/lakefile.toml index 1508af1..e6eef2c 100644 --- a/exercises/practice/gigasecond/lakefile.toml +++ b/exercises/practice/gigasecond/lakefile.toml @@ -2,6 +2,7 @@ name = "gigasecond" version = "0.1.0" defaultTargets = ["GigasecondTest"] testDriver = "GigasecondTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Gigasecond" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "GigasecondTest" root = "GigasecondTest" diff --git a/exercises/practice/grains/lakefile.toml b/exercises/practice/grains/lakefile.toml index a219151..c7ac329 100644 --- a/exercises/practice/grains/lakefile.toml +++ b/exercises/practice/grains/lakefile.toml @@ -2,6 +2,7 @@ name = "grains" version = "0.1.0" defaultTargets = ["GrainsTest"] testDriver = "GrainsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Grains" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "GrainsTest" root = "GrainsTest" diff --git a/exercises/practice/grep/lakefile.toml b/exercises/practice/grep/lakefile.toml index 88cb6f8..7b590f7 100644 --- a/exercises/practice/grep/lakefile.toml +++ b/exercises/practice/grep/lakefile.toml @@ -2,6 +2,7 @@ name = "grep" version = "0.1.0" defaultTargets = ["GrepTest"] testDriver = "GrepTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Grep" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "GrepTest" root = "GrepTest" diff --git a/exercises/practice/hamming/lakefile.toml b/exercises/practice/hamming/lakefile.toml index e687179..514f40d 100644 --- a/exercises/practice/hamming/lakefile.toml +++ b/exercises/practice/hamming/lakefile.toml @@ -2,6 +2,7 @@ name = "hamming" version = "0.1.0" defaultTargets = ["HammingTest"] testDriver = "HammingTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Hamming" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "HammingTest" root = "HammingTest" diff --git a/exercises/practice/hangman/lakefile.toml b/exercises/practice/hangman/lakefile.toml index 76f03a7..9d62f42 100644 --- a/exercises/practice/hangman/lakefile.toml +++ b/exercises/practice/hangman/lakefile.toml @@ -2,6 +2,7 @@ name = "hangman" version = "0.1.0" defaultTargets = ["HangmanTest"] testDriver = "HangmanTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Hangman" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "HangmanTest" root = "HangmanTest" diff --git a/exercises/practice/hello-world/lakefile.toml b/exercises/practice/hello-world/lakefile.toml index fd8cc1a..445a161 100644 --- a/exercises/practice/hello-world/lakefile.toml +++ b/exercises/practice/hello-world/lakefile.toml @@ -2,6 +2,7 @@ name = "hello-world" version = "0.1.0" defaultTargets = ["HelloWorldTest"] testDriver = "HelloWorldTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "HelloWorld" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "HelloWorldTest" root = "HelloWorldTest" diff --git a/exercises/practice/high-scores/lakefile.toml b/exercises/practice/high-scores/lakefile.toml index 9333121..478a244 100644 --- a/exercises/practice/high-scores/lakefile.toml +++ b/exercises/practice/high-scores/lakefile.toml @@ -2,6 +2,7 @@ name = "high-scores" version = "0.1.0" defaultTargets = ["HighScoresTest"] testDriver = "HighScoresTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "HighScores" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "HighScoresTest" root = "HighScoresTest" diff --git a/exercises/practice/house/lakefile.toml b/exercises/practice/house/lakefile.toml index bd48e52..8c4bab1 100644 --- a/exercises/practice/house/lakefile.toml +++ b/exercises/practice/house/lakefile.toml @@ -2,6 +2,7 @@ name = "house" version = "0.1.0" defaultTargets = ["HouseTest"] testDriver = "HouseTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "House" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "HouseTest" root = "HouseTest" diff --git a/exercises/practice/isbn-verifier/lakefile.toml b/exercises/practice/isbn-verifier/lakefile.toml index d19683a..a81700e 100644 --- a/exercises/practice/isbn-verifier/lakefile.toml +++ b/exercises/practice/isbn-verifier/lakefile.toml @@ -2,6 +2,7 @@ name = "isbn-verifier" version = "0.1.0" defaultTargets = ["IsbnVerifierTest"] testDriver = "IsbnVerifierTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "IsbnVerifier" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "IsbnVerifierTest" root = "IsbnVerifierTest" diff --git a/exercises/practice/isogram/lakefile.toml b/exercises/practice/isogram/lakefile.toml index 2101ff7..ac4d493 100644 --- a/exercises/practice/isogram/lakefile.toml +++ b/exercises/practice/isogram/lakefile.toml @@ -2,6 +2,7 @@ name = "isogram" version = "0.1.0" defaultTargets = ["IsogramTest"] testDriver = "IsogramTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Isogram" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "IsogramTest" root = "IsogramTest" diff --git a/exercises/practice/kindergarten-garden/lakefile.toml b/exercises/practice/kindergarten-garden/lakefile.toml index e6d53d0..7142ea1 100644 --- a/exercises/practice/kindergarten-garden/lakefile.toml +++ b/exercises/practice/kindergarten-garden/lakefile.toml @@ -2,6 +2,7 @@ name = "kindergarten-garden" version = "0.1.0" defaultTargets = ["KindergartenGardenTest"] testDriver = "KindergartenGardenTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "KindergartenGarden" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "KindergartenGardenTest" root = "KindergartenGardenTest" diff --git a/exercises/practice/knapsack/lakefile.toml b/exercises/practice/knapsack/lakefile.toml index a378a89..68138c5 100644 --- a/exercises/practice/knapsack/lakefile.toml +++ b/exercises/practice/knapsack/lakefile.toml @@ -2,6 +2,7 @@ name = "knapsack" version = "0.1.0" defaultTargets = ["KnapsackTest"] testDriver = "KnapsackTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Knapsack" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "KnapsackTest" root = "KnapsackTest" diff --git a/exercises/practice/largest-series-product/lakefile.toml b/exercises/practice/largest-series-product/lakefile.toml index 42a1b93..d4e9c41 100644 --- a/exercises/practice/largest-series-product/lakefile.toml +++ b/exercises/practice/largest-series-product/lakefile.toml @@ -2,6 +2,7 @@ name = "largest-series-product" version = "0.1.0" defaultTargets = ["LargestSeriesProductTest"] testDriver = "LargestSeriesProductTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "LargestSeriesProduct" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "LargestSeriesProductTest" root = "LargestSeriesProductTest" diff --git a/exercises/practice/leap/lakefile.toml b/exercises/practice/leap/lakefile.toml index 9036777..a7d61f6 100644 --- a/exercises/practice/leap/lakefile.toml +++ b/exercises/practice/leap/lakefile.toml @@ -2,6 +2,7 @@ name = "leap" version = "0.1.0" defaultTargets = ["LeapTest"] testDriver = "LeapTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Leap" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "LeapTest" root = "LeapTest" diff --git a/exercises/practice/line-up/lakefile.toml b/exercises/practice/line-up/lakefile.toml index 11bc6cf..552b5ea 100644 --- a/exercises/practice/line-up/lakefile.toml +++ b/exercises/practice/line-up/lakefile.toml @@ -2,6 +2,7 @@ name = "line-up" version = "0.1.0" defaultTargets = ["LineUpTest"] testDriver = "LineUpTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "LineUp" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "LineUpTest" root = "LineUpTest" diff --git a/exercises/practice/linked-list/lakefile.toml b/exercises/practice/linked-list/lakefile.toml index 7814a37..f0c0e3d 100644 --- a/exercises/practice/linked-list/lakefile.toml +++ b/exercises/practice/linked-list/lakefile.toml @@ -2,6 +2,7 @@ name = "linked-list" version = "0.1.0" defaultTargets = ["LinkedListTest"] testDriver = "LinkedListTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "LinkedList" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "LinkedListTest" root = "LinkedListTest" diff --git a/exercises/practice/luhn/lakefile.toml b/exercises/practice/luhn/lakefile.toml index bdee92d..acae1c5 100644 --- a/exercises/practice/luhn/lakefile.toml +++ b/exercises/practice/luhn/lakefile.toml @@ -2,6 +2,7 @@ name = "luhn" version = "0.1.0" defaultTargets = ["LuhnTest"] testDriver = "LuhnTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Luhn" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "LuhnTest" root = "LuhnTest" diff --git a/exercises/practice/matching-brackets/lakefile.toml b/exercises/practice/matching-brackets/lakefile.toml index 10a8c5c..3d8323e 100644 --- a/exercises/practice/matching-brackets/lakefile.toml +++ b/exercises/practice/matching-brackets/lakefile.toml @@ -2,6 +2,7 @@ name = "matching-brackets" version = "0.1.0" defaultTargets = ["MatchingBracketsTest"] testDriver = "MatchingBracketsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "MatchingBrackets" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "MatchingBracketsTest" root = "MatchingBracketsTest" diff --git a/exercises/practice/matrix/lakefile.toml b/exercises/practice/matrix/lakefile.toml index efde01e..5dc6005 100644 --- a/exercises/practice/matrix/lakefile.toml +++ b/exercises/practice/matrix/lakefile.toml @@ -2,6 +2,7 @@ name = "matrix" version = "0.1.0" defaultTargets = ["MatrixTest"] testDriver = "MatrixTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Matrix" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "MatrixTest" root = "MatrixTest" diff --git a/exercises/practice/meetup/lakefile.toml b/exercises/practice/meetup/lakefile.toml index f1105e2..e8b7121 100644 --- a/exercises/practice/meetup/lakefile.toml +++ b/exercises/practice/meetup/lakefile.toml @@ -2,6 +2,7 @@ name = "meetup" version = "0.1.0" defaultTargets = ["MeetupTest"] testDriver = "MeetupTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Meetup" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "MeetupTest" root = "MeetupTest" diff --git a/exercises/practice/nth-prime/lakefile.toml b/exercises/practice/nth-prime/lakefile.toml index 2193e65..29df1ea 100644 --- a/exercises/practice/nth-prime/lakefile.toml +++ b/exercises/practice/nth-prime/lakefile.toml @@ -2,6 +2,7 @@ name = "nth-prime" version = "0.1.0" defaultTargets = ["NthPrimeTest"] testDriver = "NthPrimeTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "NthPrime" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "NthPrimeTest" root = "NthPrimeTest" diff --git a/exercises/practice/nucleotide-count/lakefile.toml b/exercises/practice/nucleotide-count/lakefile.toml index 4863859..20789b8 100644 --- a/exercises/practice/nucleotide-count/lakefile.toml +++ b/exercises/practice/nucleotide-count/lakefile.toml @@ -2,6 +2,7 @@ name = "nucleotide-count" version = "0.1.0" defaultTargets = ["NucleotideCountTest"] testDriver = "NucleotideCountTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "NucleotideCount" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "NucleotideCountTest" root = "NucleotideCountTest" diff --git a/exercises/practice/palindrome-products/lakefile.toml b/exercises/practice/palindrome-products/lakefile.toml index 7f3a824..4571485 100644 --- a/exercises/practice/palindrome-products/lakefile.toml +++ b/exercises/practice/palindrome-products/lakefile.toml @@ -2,6 +2,7 @@ name = "palindrome-products" version = "0.1.0" defaultTargets = ["PalindromeProductsTest"] testDriver = "PalindromeProductsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "PalindromeProducts" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "PalindromeProductsTest" root = "PalindromeProductsTest" diff --git a/exercises/practice/pangram/lakefile.toml b/exercises/practice/pangram/lakefile.toml index bdbc375..e631b93 100644 --- a/exercises/practice/pangram/lakefile.toml +++ b/exercises/practice/pangram/lakefile.toml @@ -2,6 +2,7 @@ name = "pangram" version = "0.1.0" defaultTargets = ["PangramTest"] testDriver = "PangramTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Pangram" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "PangramTest" root = "PangramTest" diff --git a/exercises/practice/parallel-letter-frequency/lakefile.toml b/exercises/practice/parallel-letter-frequency/lakefile.toml index 7b65148..306c37f 100644 --- a/exercises/practice/parallel-letter-frequency/lakefile.toml +++ b/exercises/practice/parallel-letter-frequency/lakefile.toml @@ -2,6 +2,7 @@ name = "parallel-letter-frequency" version = "0.1.0" defaultTargets = ["ParallelLetterFrequencyTest"] testDriver = "ParallelLetterFrequencyTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ParallelLetterFrequency" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ParallelLetterFrequencyTest" root = "ParallelLetterFrequencyTest" diff --git a/exercises/practice/pascals-triangle/lakefile.toml b/exercises/practice/pascals-triangle/lakefile.toml index 60a425a..bae55c7 100644 --- a/exercises/practice/pascals-triangle/lakefile.toml +++ b/exercises/practice/pascals-triangle/lakefile.toml @@ -2,6 +2,7 @@ name = "pascals-triangle" version = "0.1.0" defaultTargets = ["PascalsTriangleTest"] testDriver = "PascalsTriangleTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "PascalsTriangle" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "PascalsTriangleTest" root = "PascalsTriangleTest" diff --git a/exercises/practice/perfect-numbers/lakefile.toml b/exercises/practice/perfect-numbers/lakefile.toml index 2c07c1c..f8049dc 100644 --- a/exercises/practice/perfect-numbers/lakefile.toml +++ b/exercises/practice/perfect-numbers/lakefile.toml @@ -2,6 +2,7 @@ name = "perfect-numbers" version = "0.1.0" defaultTargets = ["PerfectNumbersTest"] testDriver = "PerfectNumbersTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "PerfectNumbers" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "PerfectNumbersTest" root = "PerfectNumbersTest" diff --git a/exercises/practice/phone-number/lakefile.toml b/exercises/practice/phone-number/lakefile.toml index 6267bbf..5f64149 100644 --- a/exercises/practice/phone-number/lakefile.toml +++ b/exercises/practice/phone-number/lakefile.toml @@ -2,6 +2,7 @@ name = "phone-number" version = "0.1.0" defaultTargets = ["PhoneNumberTest"] testDriver = "PhoneNumberTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "PhoneNumber" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "PhoneNumberTest" root = "PhoneNumberTest" diff --git a/exercises/practice/prime-factors/lakefile.toml b/exercises/practice/prime-factors/lakefile.toml index ec4e556..ee489a5 100644 --- a/exercises/practice/prime-factors/lakefile.toml +++ b/exercises/practice/prime-factors/lakefile.toml @@ -2,6 +2,7 @@ name = "prime-factors" version = "0.1.0" defaultTargets = ["PrimeFactorsTest"] testDriver = "PrimeFactorsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "PrimeFactors" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "PrimeFactorsTest" root = "PrimeFactorsTest" diff --git a/exercises/practice/protein-translation/lakefile.toml b/exercises/practice/protein-translation/lakefile.toml index 92d271f..5f4e272 100644 --- a/exercises/practice/protein-translation/lakefile.toml +++ b/exercises/practice/protein-translation/lakefile.toml @@ -2,6 +2,7 @@ name = "protein-translation" version = "0.1.0" defaultTargets = ["ProteinTranslationTest"] testDriver = "ProteinTranslationTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ProteinTranslation" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ProteinTranslationTest" root = "ProteinTranslationTest" diff --git a/exercises/practice/pythagorean-triplet/lakefile.toml b/exercises/practice/pythagorean-triplet/lakefile.toml index 9c0f24a..7c195df 100644 --- a/exercises/practice/pythagorean-triplet/lakefile.toml +++ b/exercises/practice/pythagorean-triplet/lakefile.toml @@ -2,6 +2,7 @@ name = "pythagorean-triplet" version = "0.1.0" defaultTargets = ["PythagoreanTripletTest"] testDriver = "PythagoreanTripletTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "PythagoreanTriplet" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "PythagoreanTripletTest" root = "PythagoreanTripletTest" diff --git a/exercises/practice/queen-attack/lakefile.toml b/exercises/practice/queen-attack/lakefile.toml index 2d583f9..935f9f1 100644 --- a/exercises/practice/queen-attack/lakefile.toml +++ b/exercises/practice/queen-attack/lakefile.toml @@ -2,6 +2,7 @@ name = "queen-attack" version = "0.1.0" defaultTargets = ["QueenAttackTest"] testDriver = "QueenAttackTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "QueenAttack" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "QueenAttackTest" root = "QueenAttackTest" diff --git a/exercises/practice/rail-fence-cipher/lakefile.toml b/exercises/practice/rail-fence-cipher/lakefile.toml index 30f8c5f..ce754a3 100644 --- a/exercises/practice/rail-fence-cipher/lakefile.toml +++ b/exercises/practice/rail-fence-cipher/lakefile.toml @@ -2,6 +2,7 @@ name = "rail-fence-cipher" version = "0.1.0" defaultTargets = ["RailFenceCipherTest"] testDriver = "RailFenceCipherTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "RailFenceCipher" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RailFenceCipherTest" root = "RailFenceCipherTest" diff --git a/exercises/practice/raindrops/lakefile.toml b/exercises/practice/raindrops/lakefile.toml index 65e7f15..d0a92b9 100644 --- a/exercises/practice/raindrops/lakefile.toml +++ b/exercises/practice/raindrops/lakefile.toml @@ -2,6 +2,7 @@ name = "raindrops" version = "0.1.0" defaultTargets = ["RaindropsTest"] testDriver = "RaindropsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Raindrops" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RaindropsTest" root = "RaindropsTest" diff --git a/exercises/practice/rational-numbers/lakefile.toml b/exercises/practice/rational-numbers/lakefile.toml index d1d3ac0..1039877 100644 --- a/exercises/practice/rational-numbers/lakefile.toml +++ b/exercises/practice/rational-numbers/lakefile.toml @@ -2,6 +2,7 @@ name = "rational-numbers" version = "0.1.0" defaultTargets = ["RationalNumbersTest"] testDriver = "RationalNumbersTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "RationalNumbers" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RationalNumbersTest" root = "RationalNumbersTest" diff --git a/exercises/practice/rectangles/lakefile.toml b/exercises/practice/rectangles/lakefile.toml index fbb82ba..6b95a7f 100644 --- a/exercises/practice/rectangles/lakefile.toml +++ b/exercises/practice/rectangles/lakefile.toml @@ -2,6 +2,7 @@ name = "rectangles" version = "0.1.0" defaultTargets = ["RectanglesTest"] testDriver = "RectanglesTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Rectangles" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RectanglesTest" root = "RectanglesTest" diff --git a/exercises/practice/relative-distance/lakefile.toml b/exercises/practice/relative-distance/lakefile.toml index 89ddfb6..629c07d 100644 --- a/exercises/practice/relative-distance/lakefile.toml +++ b/exercises/practice/relative-distance/lakefile.toml @@ -2,6 +2,7 @@ name = "relative-distance" version = "0.1.0" defaultTargets = ["RelativeDistanceTest"] testDriver = "RelativeDistanceTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "RelativeDistance" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RelativeDistanceTest" root = "RelativeDistanceTest" diff --git a/exercises/practice/resistor-color-trio/lakefile.toml b/exercises/practice/resistor-color-trio/lakefile.toml index b651147..2344f32 100644 --- a/exercises/practice/resistor-color-trio/lakefile.toml +++ b/exercises/practice/resistor-color-trio/lakefile.toml @@ -2,6 +2,7 @@ name = "resistor-color-trio" version = "0.1.0" defaultTargets = ["ResistorColorTrioTest"] testDriver = "ResistorColorTrioTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" diff --git a/exercises/practice/resistor-color/lakefile.toml b/exercises/practice/resistor-color/lakefile.toml index edfab95..639c853 100644 --- a/exercises/practice/resistor-color/lakefile.toml +++ b/exercises/practice/resistor-color/lakefile.toml @@ -2,6 +2,7 @@ name = "resistor-color" version = "0.1.0" defaultTargets = ["ResistorColorTest"] testDriver = "ResistorColorTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ResistorColor" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ResistorColorTest" root = "ResistorColorTest" diff --git a/exercises/practice/reverse-list/lakefile.toml b/exercises/practice/reverse-list/lakefile.toml index 7d05e5b..25e17dd 100644 --- a/exercises/practice/reverse-list/lakefile.toml +++ b/exercises/practice/reverse-list/lakefile.toml @@ -17,4 +17,3 @@ name = "Extra" [[lean_exe]] name = "ReverseListTest" root = "ReverseListTest" - diff --git a/exercises/practice/reverse-string/lakefile.toml b/exercises/practice/reverse-string/lakefile.toml index 463d6af..0e74807 100644 --- a/exercises/practice/reverse-string/lakefile.toml +++ b/exercises/practice/reverse-string/lakefile.toml @@ -2,6 +2,7 @@ name = "reverse-string" version = "0.1.0" defaultTargets = ["ReverseStringTest"] testDriver = "ReverseStringTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ReverseString" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ReverseStringTest" root = "ReverseStringTest" diff --git a/exercises/practice/rna-transcription/lakefile.toml b/exercises/practice/rna-transcription/lakefile.toml index 58df778..8347597 100644 --- a/exercises/practice/rna-transcription/lakefile.toml +++ b/exercises/practice/rna-transcription/lakefile.toml @@ -2,6 +2,7 @@ name = "rna-transcription" version = "0.1.0" defaultTargets = ["RnaTranscriptionTest"] testDriver = "RnaTranscriptionTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "RnaTranscription" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RnaTranscriptionTest" root = "RnaTranscriptionTest" diff --git a/exercises/practice/roman-numerals/lakefile.toml b/exercises/practice/roman-numerals/lakefile.toml index 0d5d584..dd1c90d 100644 --- a/exercises/practice/roman-numerals/lakefile.toml +++ b/exercises/practice/roman-numerals/lakefile.toml @@ -2,6 +2,7 @@ name = "roman-numerals" version = "0.1.0" defaultTargets = ["RomanNumeralsTest"] testDriver = "RomanNumeralsTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "RomanNumerals" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RomanNumeralsTest" root = "RomanNumeralsTest" diff --git a/exercises/practice/rotational-cipher/lakefile.toml b/exercises/practice/rotational-cipher/lakefile.toml index 253539f..420c5e4 100644 --- a/exercises/practice/rotational-cipher/lakefile.toml +++ b/exercises/practice/rotational-cipher/lakefile.toml @@ -2,6 +2,7 @@ name = "rotational-cipher" version = "0.1.0" defaultTargets = ["RotationalCipherTest"] testDriver = "RotationalCipherTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "RotationalCipher" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RotationalCipherTest" root = "RotationalCipherTest" diff --git a/exercises/practice/run-length-encoding/lakefile.toml b/exercises/practice/run-length-encoding/lakefile.toml index 16fad25..b206d7f 100644 --- a/exercises/practice/run-length-encoding/lakefile.toml +++ b/exercises/practice/run-length-encoding/lakefile.toml @@ -2,6 +2,7 @@ name = "run-length-encoding" version = "0.1.0" defaultTargets = ["RunLengthEncodingTest"] testDriver = "RunLengthEncodingTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "RunLengthEncoding" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "RunLengthEncodingTest" root = "RunLengthEncodingTest" diff --git a/exercises/practice/satellite/lakefile.toml b/exercises/practice/satellite/lakefile.toml index 70605e2..b57930c 100644 --- a/exercises/practice/satellite/lakefile.toml +++ b/exercises/practice/satellite/lakefile.toml @@ -2,6 +2,7 @@ name = "satellite" version = "0.1.0" defaultTargets = ["SatelliteTest"] testDriver = "SatelliteTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Satellite" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SatelliteTest" root = "SatelliteTest" diff --git a/exercises/practice/say/lakefile.toml b/exercises/practice/say/lakefile.toml index b60c799..b0ef864 100644 --- a/exercises/practice/say/lakefile.toml +++ b/exercises/practice/say/lakefile.toml @@ -2,6 +2,7 @@ name = "say" version = "0.1.0" defaultTargets = ["SayTest"] testDriver = "SayTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Say" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SayTest" root = "SayTest" diff --git a/exercises/practice/scrabble-score/lakefile.toml b/exercises/practice/scrabble-score/lakefile.toml index dfc1e72..269e790 100644 --- a/exercises/practice/scrabble-score/lakefile.toml +++ b/exercises/practice/scrabble-score/lakefile.toml @@ -2,6 +2,7 @@ name = "scrabble-score" version = "0.1.0" defaultTargets = ["ScrabbleScoreTest"] testDriver = "ScrabbleScoreTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ScrabbleScore" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ScrabbleScoreTest" root = "ScrabbleScoreTest" diff --git a/exercises/practice/secret-handshake/lakefile.toml b/exercises/practice/secret-handshake/lakefile.toml index 30e0436..bb51664 100644 --- a/exercises/practice/secret-handshake/lakefile.toml +++ b/exercises/practice/secret-handshake/lakefile.toml @@ -2,6 +2,7 @@ name = "secret-handshake" version = "0.1.0" defaultTargets = ["SecretHandshakeTest"] testDriver = "SecretHandshakeTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "SecretHandshake" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SecretHandshakeTest" root = "SecretHandshakeTest" diff --git a/exercises/practice/series/lakefile.toml b/exercises/practice/series/lakefile.toml index eff1527..b7daee1 100644 --- a/exercises/practice/series/lakefile.toml +++ b/exercises/practice/series/lakefile.toml @@ -2,6 +2,7 @@ name = "series" version = "0.1.0" defaultTargets = ["SeriesTest"] testDriver = "SeriesTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Series" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SeriesTest" root = "SeriesTest" diff --git a/exercises/practice/sgf-parsing/lakefile.toml b/exercises/practice/sgf-parsing/lakefile.toml index 7f2eafb..8c7af22 100644 --- a/exercises/practice/sgf-parsing/lakefile.toml +++ b/exercises/practice/sgf-parsing/lakefile.toml @@ -2,6 +2,7 @@ name = "sgf-parsing" version = "0.1.0" defaultTargets = ["SgfParsingTest"] testDriver = "SgfParsingTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "SgfParsing" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SgfParsingTest" root = "SgfParsingTest" diff --git a/exercises/practice/space-age/lakefile.toml b/exercises/practice/space-age/lakefile.toml index 60df688..5624d3c 100644 --- a/exercises/practice/space-age/lakefile.toml +++ b/exercises/practice/space-age/lakefile.toml @@ -2,6 +2,7 @@ name = "space-age" version = "0.1.0" defaultTargets = ["SpaceAgeTest"] testDriver = "SpaceAgeTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "SpaceAge" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SpaceAgeTest" root = "SpaceAgeTest" diff --git a/exercises/practice/square-root/lakefile.toml b/exercises/practice/square-root/lakefile.toml index 7d173ac..e1945ef 100644 --- a/exercises/practice/square-root/lakefile.toml +++ b/exercises/practice/square-root/lakefile.toml @@ -2,6 +2,7 @@ name = "square-root" version = "0.1.0" defaultTargets = ["SquareRootTest"] testDriver = "SquareRootTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "SquareRoot" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SquareRootTest" root = "SquareRootTest" diff --git a/exercises/practice/strain/lakefile.toml b/exercises/practice/strain/lakefile.toml index 508a691..0ee433a 100644 --- a/exercises/practice/strain/lakefile.toml +++ b/exercises/practice/strain/lakefile.toml @@ -2,6 +2,7 @@ name = "strain" version = "0.1.0" defaultTargets = ["StrainTest"] testDriver = "StrainTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Strain" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "StrainTest" root = "StrainTest" diff --git a/exercises/practice/sublist/lakefile.toml b/exercises/practice/sublist/lakefile.toml index 4a9e0a4..821eac0 100644 --- a/exercises/practice/sublist/lakefile.toml +++ b/exercises/practice/sublist/lakefile.toml @@ -2,6 +2,7 @@ name = "sublist" version = "0.1.0" defaultTargets = ["SublistTest"] testDriver = "SublistTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Sublist" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SublistTest" root = "SublistTest" diff --git a/exercises/practice/sum-of-multiples/lakefile.toml b/exercises/practice/sum-of-multiples/lakefile.toml index ca3493c..3adb765 100644 --- a/exercises/practice/sum-of-multiples/lakefile.toml +++ b/exercises/practice/sum-of-multiples/lakefile.toml @@ -2,6 +2,7 @@ name = "sum-of-multiples" version = "0.1.0" defaultTargets = ["SumOfMultiplesTest"] testDriver = "SumOfMultiplesTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "SumOfMultiples" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "SumOfMultiplesTest" root = "SumOfMultiplesTest" diff --git a/exercises/practice/transpose/lakefile.toml b/exercises/practice/transpose/lakefile.toml index a5f322b..ffe65ba 100644 --- a/exercises/practice/transpose/lakefile.toml +++ b/exercises/practice/transpose/lakefile.toml @@ -2,6 +2,7 @@ name = "transpose" version = "0.1.0" defaultTargets = ["TransposeTest"] testDriver = "TransposeTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Transpose" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "TransposeTest" root = "TransposeTest" diff --git a/exercises/practice/triangle/lakefile.toml b/exercises/practice/triangle/lakefile.toml index 1c3dded..018ec61 100644 --- a/exercises/practice/triangle/lakefile.toml +++ b/exercises/practice/triangle/lakefile.toml @@ -2,6 +2,7 @@ name = "triangle" version = "0.1.0" defaultTargets = ["TriangleTest"] testDriver = "TriangleTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Triangle" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "TriangleTest" root = "TriangleTest" diff --git a/exercises/practice/twelve-days/lakefile.toml b/exercises/practice/twelve-days/lakefile.toml index 0b0d415..88481e2 100644 --- a/exercises/practice/twelve-days/lakefile.toml +++ b/exercises/practice/twelve-days/lakefile.toml @@ -2,6 +2,7 @@ name = "twelve-days" version = "0.1.0" defaultTargets = ["TwelveDaysTest"] testDriver = "TwelveDaysTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "TwelveDays" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "TwelveDaysTest" root = "TwelveDaysTest" diff --git a/exercises/practice/two-bucket/lakefile.toml b/exercises/practice/two-bucket/lakefile.toml index 8e11303..cf4e699 100644 --- a/exercises/practice/two-bucket/lakefile.toml +++ b/exercises/practice/two-bucket/lakefile.toml @@ -2,6 +2,7 @@ name = "two-bucket" version = "0.1.0" defaultTargets = ["TwoBucketTest"] testDriver = "TwoBucketTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "TwoBucket" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "TwoBucketTest" root = "TwoBucketTest" diff --git a/exercises/practice/two-fer/lakefile.toml b/exercises/practice/two-fer/lakefile.toml index 5984a94..26225ac 100644 --- a/exercises/practice/two-fer/lakefile.toml +++ b/exercises/practice/two-fer/lakefile.toml @@ -2,6 +2,7 @@ name = "two-fer" version = "0.1.0" defaultTargets = ["TwoFerTest"] testDriver = "TwoFerTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "TwoFer" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "TwoFerTest" root = "TwoFerTest" diff --git a/exercises/practice/variable-length-quantity/lakefile.toml b/exercises/practice/variable-length-quantity/lakefile.toml index 9cdad27..c4daa24 100644 --- a/exercises/practice/variable-length-quantity/lakefile.toml +++ b/exercises/practice/variable-length-quantity/lakefile.toml @@ -2,6 +2,7 @@ name = "variable-length-quantity" version = "0.1.0" defaultTargets = ["VariableLengthQuantityTest"] testDriver = "VariableLengthQuantityTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "VariableLengthQuantity" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "VariableLengthQuantityTest" root = "VariableLengthQuantityTest" diff --git a/exercises/practice/word-count/lakefile.toml b/exercises/practice/word-count/lakefile.toml index b28d3b3..5bcdcfd 100644 --- a/exercises/practice/word-count/lakefile.toml +++ b/exercises/practice/word-count/lakefile.toml @@ -2,6 +2,7 @@ name = "word-count" version = "0.1.0" defaultTargets = ["WordCountTest"] testDriver = "WordCountTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "WordCount" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "WordCountTest" root = "WordCountTest" diff --git a/exercises/practice/wordy/lakefile.toml b/exercises/practice/wordy/lakefile.toml index 612265d..326c74f 100644 --- a/exercises/practice/wordy/lakefile.toml +++ b/exercises/practice/wordy/lakefile.toml @@ -2,6 +2,7 @@ name = "wordy" version = "0.1.0" defaultTargets = ["WordyTest"] testDriver = "WordyTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Wordy" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "WordyTest" root = "WordyTest" diff --git a/exercises/practice/yacht/lakefile.toml b/exercises/practice/yacht/lakefile.toml index 739035c..7b47f5d 100644 --- a/exercises/practice/yacht/lakefile.toml +++ b/exercises/practice/yacht/lakefile.toml @@ -2,6 +2,7 @@ name = "yacht" version = "0.1.0" defaultTargets = ["YachtTest"] testDriver = "YachtTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "Yacht" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "YachtTest" root = "YachtTest" diff --git a/exercises/practice/zebra-puzzle/lakefile.toml b/exercises/practice/zebra-puzzle/lakefile.toml index b2d951a..dee4d76 100644 --- a/exercises/practice/zebra-puzzle/lakefile.toml +++ b/exercises/practice/zebra-puzzle/lakefile.toml @@ -2,6 +2,7 @@ name = "zebra-puzzle" version = "0.1.0" defaultTargets = ["ZebraPuzzleTest"] testDriver = "ZebraPuzzleTest" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "ZebraPuzzle" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "ZebraPuzzleTest" root = "ZebraPuzzleTest" diff --git a/generators/GenerateTestFile.lean b/generators/GenerateTestFile.lean index 7943360..185215b 100644 --- a/generators/GenerateTestFile.lean +++ b/generators/GenerateTestFile.lean @@ -397,17 +397,23 @@ def kebabCase (pascal : String) : String := else (acc.push ch, false) ) ("", true) |>.fst -def addTemplates (exercise : String) : IO Unit := do - let toolchainPath := s!"exercises/practice/{exercise}/lean-toolchain" - if ← System.FilePath.pathExists toolchainPath then +def addTemplates (pascal kebab : String) : IO Unit := do + let paths ← System.FilePath.walkDir "templates" + for path in paths do + if ← path.isDir then continue + let strPath := path.toString + let newPath := strPath.replace "templates" s!"exercises/practice/{kebab}" try - let newToolchain ← IO.FS.readFile "templates/lean-toolchain" - IO.FS.writeFile toolchainPath newToolchain + let content ← (do + if strPath.trimAsciiEnd.endsWith "lakefile.toml" then + IO.FS.readFile path + >>= (return ·.replace "%{pascal_slug}" pascal) + >>= (return ·.replace "%{kebab_slug}" kebab) + else + IO.FS.readFile path) + IO.FS.writeFile newPath content catch _ => - IO.eprintln "Couldn't find lean-toolchain in templates. Please add it manually." - else - IO.println s!"Couldn't find lean-toolchain in {toolchainPath}. Trying to add exercise" - addPracticeExercise exercise [] + IO.eprintln s!"Failed to add templates to {pascal}." def regenerateTestFiles : IO Unit := do let _ ← IO.Process.run { @@ -418,7 +424,7 @@ def regenerateTestFiles : IO Unit := do let kebab := kebabCase pascal try generateTestFile kebab - addTemplates kebab + addTemplates pascal kebab catch msg => IO.eprintln s!"Regeneration for {pascal} failed. Error logged was: {msg}" diff --git a/templates/lakefile.toml b/templates/lakefile.toml index c99ed7b..f5c57a5 100644 --- a/templates/lakefile.toml +++ b/templates/lakefile.toml @@ -2,6 +2,7 @@ name = "%{kebab_slug}" version = "0.1.0" defaultTargets = ["%{pascal_slug}Test"] testDriver = "%{pascal_slug}Test" +moreLeanArgs = [ "-DwarningAsError=true" ] [[lean_lib]] name = "LeanTest" @@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest" [[lean_lib]] name = "%{pascal_slug}" +[[lean_lib]] +name = "Extra" + [[lean_exe]] name = "%{pascal_slug}Test" root = "%{pascal_slug}Test"