wip

joelberkeley · Dec 24, 2023 · bba0ec5 · bba0ec5
1 parent 209e0d2
commit bba0ec5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Compiler/Eval.idr b/src/Compiler/Eval.idr
@@ -125,7 +125,7 @@ interpret xlaBuilder (MkFn params root env) = do
     else
      let broadcastDims = Prelude.map (+ length to `minus` length from) $ range $ length from
       in broadcastInDim !(get x) to broadcastDims
-  interpretE (Map {arity} f xs dims) = do
+  interpretE (Map f xs dims) = do
     subBuilder <- createSubBuilder xlaBuilder "computation"
     computation <- lift $ compile subBuilder f
     map xlaBuilder (toList !(traverse get xs)) computation dims