From fd64d4e3f291477e97a22358bf336464ace40e7b Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Sat, 9 Oct 2021 21:18:44 -0600
Subject: [PATCH] remove two unreachable LHS conversion errors

---
 src/Convert/Logic.hs          | 7 +------
 src/Convert/MultiplePacked.hs | 6 ++----
 2 files changed, 3 insertions(+), 10 deletions(-)

diff --git a/src/Convert/Logic.hs b/src/Convert/Logic.hs
index 0b9ba05..38dd211 100644
--- a/src/Convert/Logic.hs
+++ b/src/Convert/Logic.hs
@@ -141,12 +141,7 @@ traverseModuleItem ports scopes =
                         items =
                             [ MIPackageItem $ Decl decl
                             , always_comb $ Asgn AsgnOpEq Nothing lhs tmpExpr]
-                        lhs = case exprToLHS expr of
-                            Just l -> l
-                            Nothing ->
-                                error $ "bad non-lhs, non-net expr "
-                                    ++ show expr ++ " connected to output port "
-                                    ++ portName ++ " of " ++ instanceName
+                        Just lhs = exprToLHS expr
                 maybeModulePorts = Map.lookup moduleName ports
         fixModuleItem other = other
 
diff --git a/src/Convert/MultiplePacked.hs b/src/Convert/MultiplePacked.hs
index 2d66a13..ff569ca 100644
--- a/src/Convert/MultiplePacked.hs
+++ b/src/Convert/MultiplePacked.hs
@@ -144,10 +144,8 @@ traverseLHSM = traverseNestedLHSsM traverseLHSSingleM
         traverseLHSSingleM lhs = do
             let expr = lhsToExpr lhs
             expr' <- convertExprM expr
-            case exprToLHS expr' of
-                Just lhs' -> return lhs'
-                Nothing -> error $ "multi-packed conversion created non-LHS from "
-                    ++ (show expr) ++ " to " ++ (show expr')
+            let Just lhs' = exprToLHS expr'
+            return lhs'
 
 convertExprM :: Expr -> Scoper TypeInfo Expr
 convertExprM = embedScopes convertExpr