diff options
| -rw-r--r-- | cabal.project | 5 | ||||
| -rw-r--r-- | test/Tests/C.hs | 2 |
2 files changed, 6 insertions, 1 deletions
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)) === [] |