From: Matthijs Kooijman Date: Mon, 22 Jun 2009 12:26:20 +0000 (+0200) Subject: Merge git://github.com/darchon/clash into cλash X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=d21c34b00b9041a146da89324e9dda6b22271b47;hp=98734f52c51081459172bd28c0913162264cf3e5;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git Merge git://github.com/darchon/clash into cλash --- diff --git a/GlobalNameTable.hs b/GlobalNameTable.hs index 756c611..6317ebc 100644 --- a/GlobalNameTable.hs +++ b/GlobalNameTable.hs @@ -21,6 +21,6 @@ globalNameTable = mkGlobalNameTable , ("head" , (1, genExprFCall headId ) ) , ("hwxor" , (2, genExprOp2 AST.Xor ) ) , ("hwand" , (2, genExprOp2 AST.And ) ) - , ("hwor" , (2, genExprOp2 AST.And ) ) + , ("hwor" , (2, genExprOp2 AST.Or ) ) , ("hwnot" , (1, genExprOp1 AST.Not ) ) ] diff --git a/VHDL.hs b/VHDL.hs index 0f60fcb..4db7445 100644 --- a/VHDL.hs +++ b/VHDL.hs @@ -351,6 +351,7 @@ mkConcSm (bndr, (Case (Var scrut) b ty [(_, _, Var false), (con, _, Var true)])) return $ mkCondAssign (Left bndr) cond_expr true_expr false_expr mkConcSm (_, (Case (Var _) _ _ alts)) = error "VHDL.mkConcSm Not in normal form: Case statement with more than two alternatives" mkConcSm (_, Case _ _ _ _) = error "VHDL.mkConcSm Not in normal form: Case statement has does not have a simple variable as scrutinee" +mkConcSm (bndr, expr) = error $ "VHDL.mkConcSM Unsupported binding in let expression: " ++ pprString bndr ++ " = " ++ pprString expr -- Create an unconditional assignment statement mkUncondAssign ::