Swap arguments of ~, which induces a type error

Mikolaj · May 2, 2023 · 3905cf0 · 3905cf0
1 parent a9aec2b
commit 3905cf0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/simplified/HordeAd/Core/AstInterpret.hs b/simplified/HordeAd/Core/AstInterpret.hs
@@ -98,8 +98,8 @@ interpretLambdaIndexToIndex f env memo (vars, asts) =
 class (forall y. KnownNat y => c (Ranked r y)) => CRanked c r where
 instance (forall y. KnownNat y => c (Ranked r y)) => CRanked c r where
 
-class (BooleanOf r ~ b) => BooleanOfMatches b r where
-instance (BooleanOf r ~ b) => BooleanOfMatches b r where
+class (b ~ BooleanOf r) => BooleanOfMatches b r where
+instance (b ~ BooleanOf r) => BooleanOfMatches b r where
 
 type InterpretAst a =
   ( Tensor a, Tensor (Primal a), DynamicTensor a, ShowAstSimplify (ScalarOf a)