Code quality

iu-parfunc · Feb 16, 2024 · cb4aed9 · cb4aed9
1 parent 64fd67e
commit cb4aed9
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/gibbon-compiler/src/Gibbon/L3/Typecheck.hs b/gibbon-compiler/src/Gibbon/L3/Typecheck.hs
@@ -834,9 +834,8 @@ tcExp isPacked ddfs env exp =
     SpawnE fn locs args -> go (AppE fn locs args)
     SyncE -> pure voidTy
     ParE e1 e2 -> do
-      ty1 <- go e1
-      ty2 <- go e2
-      pure $ ProdTy [ty1, ty2]
+      tys <- mapM go [e1, e2]
+      return $ ProdTy tys
 
     WithArenaE v e -> do
       let env' = extendVEnv v ArenaTy env