Repro for too complicated to desugar problem

Mikolaj · Aug 7, 2023 · a458406 · a458406
1 parent 79a5096
commit a458406
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/HordeAd/Core/Engine.hs b/src/HordeAd/Core/Engine.hs
@@ -67,15 +67,15 @@ rev
      , vals ~ Value astvals, Value vals ~ vals )
   => (astvals -> g FullSpan r y) -> vals -> vals
 rev f vals = revDtMaybe f vals Nothing
-{- TODO: RULE left-hand side too complicated to desugar
+--{- TODO: RULE left-hand side too complicated to desugar
 {-# SPECIALIZE rev
   :: ( HasSingletonDict y
      , AdaptableDomains (AstDynamic FullSpan) astvals
      , AdaptableDomains OD.Array vals
      , vals ~ Value astvals, Value vals ~ vals )
   => (astvals -> AstRanked FullSpan Double y) -> vals
   -> vals #-}
--}
+---}
 
 -- | This version additionally takes the sensitivity parameter.
 revDt