@@ -175,8 +175,8 @@ solveScheme region scheme =
175175allDistinct :: A.Region -> [Variable] -> StateT TS.SolverState IO ()
176176allDistinct region vars =
177177 do seen <- TS.uniqueMark
178− let check var = do
179− desc <- liftIO $ UF.descriptor var
178+ forM_ vars $ \var ->
179+ do desc <- liftIO $ UF.descriptor var
180180 case structure desc of
181181 Just _ -> TS.addError region (Just msg) var var
182182 where msg = "Cannot generalize something that is not a type variable."
@@ -187,7 +187,6 @@ allDistinct region vars =
187187 in TS.addError region (Just msg) var var
188188 else return ()
189189 liftIO $ UF.setDescriptor var (desc { mark = seen })
190− mapM_ check vars
191190
192191
193192-- Check that a variable has rank == noRank, meaning that it can be generalized.