Perform newtype elimination on arguments of cases

Author: jazullo

gibbon-compiler/src/Gibbon/L0/ElimNewtype.hs

@@ -68,7 +68,7 @@ elimE cns tns dds e0 = case e0 of
   MkProdE es -> MkProdE (f <$> es)
   ProjE n e -> ProjE n (f e)
   CaseE e1 [(s, [(var, t)], e2)]
-    | S.member s cns -> LetE (var, [], g t, e1) (f e2)
+    | S.member s cns -> LetE (var, [], g t, f e1) (f e2)
   CaseE e x -> CaseE (f e) ((\(c, v, e1) -> (c, v, f e1)) <$> x)
   TimeIt e t b -> TimeIt (f e) (g t) b
   WithArenaE var e -> WithArenaE var (f e)