From 0fda65b5aa2e3c3f3d5070d50fb60080cf447cad Mon Sep 17 00:00:00 2001
From: Sam Clegg <sbc@chromium.org>
Date: Thu, 18 Feb 2021 08:15:18 -0800
Subject: [PATCH] Feedback from #2

---
 interpreter/valid/valid.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/interpreter/valid/valid.ml b/interpreter/valid/valid.ml
index 25a65f59..213db23a 100644
--- a/interpreter/valid/valid.ml
+++ b/interpreter/valid/valid.ml
@@ -381,8 +381,8 @@ let check_func (c : context) (f : func) =
 
 let is_const (c : context) (e : instr) =
   match e.it with
-  | Const _ -> true
-  | Binary (Values.I32 I32Op.(Add | Sub | Mul)) -> true
+  | Const _
+  | Binary (Values.I32 I32Op.(Add | Sub | Mul))
   | Binary (Values.I64 I64Op.(Add | Sub | Mul)) -> true
   | GlobalGet x -> let GlobalType (_, mut) = global c x in mut = Immutable
   | _ -> false