Skip pattern attributes in interpreter.

CHANGELOG.md

@@ -24,6 +24,8 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
 * Obscure issue related to replications of constants in complex
   intrablock kernels.
 
+* Interpreter no longer crashes on attributes in patterns.
+
 ## [0.25.19]
 
 ### Added

src/Language/Futhark/Interpreter.hs

@@ -431,6 +431,8 @@ matchPat env p v = do
     Just env' -> pure env'
 
 patternMatch :: Env -> Pat (TypeBase Size u) -> Value -> MaybeT EvalM Env
+patternMatch env (PatAttr _ p _) val =
+  patternMatch env p val
 patternMatch env (Id v (Info t) _) val =
   lift $
     pure $

tests/attributes/params1.fut

@@ -1,2 +1,5 @@
+-- ==
+-- input { 10 } output { 20 }
+
 def main (x: i32) =
   loop (#[maxval(1337)] acc : i32) = x for i < 10 do x + x