Detect scope violations.

diku-dk · Jan 3, 2025 · 6503e99 · 6503e99
1 parent 956653e
commit 6503e99
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Language/Futhark/TypeChecker/Constraints.hs b/src/Language/Futhark/TypeChecker/Constraints.hs
@@ -695,6 +695,8 @@ scopeCheck reason v v_lvl ty = do
       case ty_v_info of
         Just (Right (TyVarParam ty_v_lvl _ _))
           | ty_v_lvl > v_lvl -> scopeViolation reason v ty ty_v
+        Just (Right (TyVarSol ty')) ->
+          mapM_ check $ typeVars ty'
         _ -> pure ()
 
 -- If a type variable has a liftedness constraint, we propagate that