From 122e87ba19fd277f3e8cb94935fba56bb5e73213 Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Thu, 9 Feb 2023 16:47:59 +0100 Subject: [PATCH] This needs a copy now. This type-checked in a previous version of the compiler due to a type checking bug that has since been fixed. --- src/compiler/codegen/instr_count.fut | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/codegen/instr_count.fut b/src/compiler/codegen/instr_count.fut index 58ca08c..b506234 100644 --- a/src/compiler/codegen/instr_count.fut +++ b/src/compiler/codegen/instr_count.fut @@ -163,7 +163,7 @@ let instr_count [max_nodes] (tree: Tree[max_nodes]) = map2 (instr_count_fix_post tree.nodes initial_result) (iota max_nodes) initial_result |> unzip2 in - scatter initial_result fix_idx fix_offsets + scatter (copy initial_result) fix_idx fix_offsets let shift_right [n] 't (x: t) (xs: [n]t) : [n]t = xs |>