From e350183823b887d25df58129141251d56616e8ae Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 4 Jan 2025 20:16:51 +0100
Subject: Pull orthotope from git

---
 cabal.project   | 5 +++++
 test/Tests/C.hs | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/cabal.project b/cabal.project
index 697d3bd..63831f5 100644
--- a/cabal.project
+++ b/cabal.project
@@ -3,3 +3,8 @@ with-compiler: ghc-9.8.2
 
 allow-newer:
   orthotope:deepseq
+
+source-repository-package
+  type: git
+  location: https://github.com/augustss/orthotope
+  tag: master
diff --git a/test/Tests/C.hs b/test/Tests/C.hs
index 148e7f6..0530f53 100644
--- a/test/Tests/C.hs
+++ b/test/Tests/C.hs
@@ -58,7 +58,7 @@ prop_sum_empty = property $ genRank $ \outrankm1@(SNat @nm1) -> do
     return (n :$: sht)  -- n + 1
   guard (any (== 0) (toList (shrTail sh)))
   -- traceM ("sh: " ++ show sh ++ " -> " ++ show (product sh))
-  let arr = OR.fromList @Double @(n + 1) (toList sh) []
+  let arr = OR.fromList @(n + 1) @Double (toList sh) []
   let rarr = rfromOrthotope inrank arr
   OR.toList (rtoOrthotope (rsumOuter1 rarr)) === []
 
-- 
cgit v1.2.3-70-g09d2