wip

mdr · Dec 1, 2024 · bc974a6 · bc974a6
1 parent 7543798
commit bc974a6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Aoc2024/Utils.lean b/Aoc2024/Utils.lean
@@ -32,8 +32,7 @@ instance [BEq α] [BEq β] : BEq (Except α β) where
     | Except.error x, Except.error y => x == y
     | _, _ => false
 
-def getOrThrow (message : String) (o : Option α) : Except String α :=
-  match o with
+def getOrThrow (message : String) : Option α -> Except String α
   | some x => pure x
   | none => throw message