Fix #2016.

diku-dk · Sep 7, 2023 · 8430d77 · 8430d77
1 parent 9062d9f
commit 8430d77
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -20,6 +20,10 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
 * Rarely occurring deadlock for fused map-scan compositions in CUDA
   backend, when a bounds check failed in the map function.
 
+* Compiler and interpreter crash for tricky interactions of abstract
+  types and sizes (#2016).  Solved by banning such uses - in principle
+  this could break code.
+
 ## [0.25.3]
 
 ### Added

diff --git a/src/Language/Futhark/Prop.hs b/src/Language/Futhark/Prop.hs
@@ -215,8 +215,8 @@ traverseDims f = go mempty PosImmediate
 
     onTypeArg bound b (TypeArgDim d) =
       TypeArgDim <$> f bound b d
-    onTypeArg bound b (TypeArgType t) =
-      TypeArgType <$> go bound b t
+    onTypeArg bound _ (TypeArgType t) =
+      TypeArgType <$> go bound PosReturn t
 
 -- | Return the uniqueness of a type.
 uniqueness :: TypeBase shape Uniqueness -> Uniqueness