@@ -1154,7 +1154,7 @@ unfoldLookupTable input =
11541154
11551155removeInstanceChecks :: JS -> JS
11561156removeInstanceChecks (JSCond conds) =
1157− JSCond $ eliminateDeadBranches $ map (
1157+ removeNoopConds $ JSCond $ eliminateDeadBranches $ map (
11581158 removeHelper *** removeInstanceChecks
11591159 ) conds
11601160 where
@@ -1169,6 +1169,11 @@ removeInstanceChecks (JSCond conds) =
11691169 eliminateDeadBranches (x:xs) = x : eliminateDeadBranches xs
11701170 eliminateDeadBranches [] = []
11711171
1172+
1173+ removeNoopConds :: JS -> JS
1174+ removeNoopConds (JSCond [(JSNoop, js)]) = js
1175+ removeNoopConds js = js
1176+
11721177removeInstanceChecks js = transformJS removeInstanceChecks js
11731178
11741179