Re-disable a SPECIALIZE pragma that is sometimes too complex

Mikolaj · Feb 28, 2024 · b42aeab · b42aeab
1 parent fc41217
commit b42aeab
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/HordeAd/Core/TensorADVal.hs b/src/HordeAd/Core/TensorADVal.hs
@@ -54,10 +54,12 @@ import           HordeAd.Util.SizedIndex
 instance (KnownNat n, GoodScalar r, ADReady ranked)
          => AdaptableHVector (ADVal ranked)
                              (ADVal ranked r n) where
+{- TODO: RULE left-hand side too complicated to desugar in GHC 9.6.4
+    with -O0, but not -O1
   {-# SPECIALIZE instance
       KnownNat n
       => AdaptableHVector (ADVal (Flip OR.Array))
-                          (ADVal (Flip OR.Array) Double n) #-}
+                          (ADVal (Flip OR.Array) Double n) #-} -}
 {- TODO: this causes a cyclic dependency:
   {-# SPECIALIZE instance
       KnownNat n