Fix warnings about overloading.

diku-dk · Dec 22, 2024 · 845e340 · 845e340
1 parent 7b57df6
commit 845e340
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Language/Futhark/TypeChecker/Terms2.hs b/src/Language/Futhark/TypeChecker/Terms2.hs
@@ -1337,7 +1337,7 @@ generaliseAndDefaults ::
 generaliseAndDefaults unconstrained solution t = do
   let (generalised, unconstrained') =
         generalise t unconstrained solution
-  solution' <- doDefaults (map typeParamName generalised) solution
+  solution' <- doDefaults (S.toList $ typeVars t) solution
   pure
     ( generalised,
       -- See #1552 for why we resolve unconstrained and