Correct mistake

byteverse · Jun 18, 2024 · d4385b4 · d4385b4
1 parent b14a970
commit d4385b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Arithmetic/Types.hs b/src/Arithmetic/Types.hs
@@ -79,7 +79,7 @@ instance Ord (Fin n) where
 pattern EitherFinLeft# :: Fin# m -> EitherFin# m n
 pattern EitherFinLeft# f <- (eitherFinToSum# -> (# f | #))
   where
-    EitherFinLeft# (Fin# i) = EitherFin# (1# -# i)
+    EitherFinLeft# (Fin# i) = EitherFin# ((-1#) -# i)
 
 pattern EitherFinRight# :: Fin# n -> EitherFin# m n
 pattern EitherFinRight# f <- (eitherFinToSum# -> (# | f #))