dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Change Show for List to include brackets

Browse Source
This commit is contained in:
Steve Dunham
2025-12-08 08:25:01 -08:00
parent 6c836a6ef4
commit 55e9476607
4 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
aoc2024/Day21.newt.golden
View File

@@ -1,8 +1,8 @@
aoc2024/day21/eg.txt
(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))
[(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))]
part1 126384
part2 154115708116294
aoc2024/day21/input.txt
(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))
[(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))]
part1 248108
part2 303836969158972

4
aoc2024/Day21monad.newt.golden
View File

@@ -1,8 +1,8 @@
aoc2024/day21/eg.txt
(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))
[(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))]
part1 126384
part2 154115708116294
aoc2024/day21/input.txt
(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))
[(0, (3, 1)), (1, (2, 0)), (2, (2, 1)), (3, (2, 2)), (4, (1, 0)), (5, (1, 1)), (6, (1, 2)), (7, (0, 0)), (8, (0, 1)), (9, (0, 2)), (A, (3, 2))]
part1 248108
part2 303836969158972

2
src/Prelude.newt
View File

@@ -828,7 +828,7 @@ instance ∀ a b. {{Show a}} {{Show b}} → Show (a × b) where
show (a,b) = "(" ++ show a ++ ", " ++ show b ++ ")"
instance ∀ a. {{Show a}} → Show (List a) where
show xs = joinBy ", " $ map show xs
show xs = "[" ++ (joinBy ", " $ map show xs) ++ "]"
-- For now, I'm not having the compiler do this automatically

2
tests/Possible.newt.fail
View File

@@ -1,7 +1,7 @@
*** Process tests/Possible.newt
module Prelude
module Possible
ERROR at tests/Possible.newt:6:5--6:8: possible constructors: Prelude.Z, Prelude.S
ERROR at tests/Possible.newt:6:5--6:8: possible constructors: [Prelude.Z, Prelude.S]
foo : Nat → Nat
foo ()