From 2006198a53328e3898bcbe69429b751c065ea802 Mon Sep 17 00:00:00 2001
From: azidar
Date: Fri, 24 Apr 2015 14:58:38 -0700
Subject: Incorrectly propagated width constraint for non-muxes. This is only
 true for muxes

---
 src/main/stanza/primop.stanza | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/main/stanza/primop.stanza b/src/main/stanza/primop.stanza
index a1e9633f..a6b42e7c 100644
--- a/src/main/stanza/primop.stanza
+++ b/src/main/stanza/primop.stanza
@@ -279,7 +279,7 @@ public defn primop-gen-constraints (e:DoPrim,v:Vector<WGeq>) -> Type :
    val w-var = VarWidth(gensym(`w))
    val w* = 
       if not contains?(all-args-not-equal,op(e)) :
-         val max-args-w = all-equal(List(w-var,map(width!,args(e))))
+         val max-args-w = all-equal(map(width!,args(e)))
          switch {op(e) == _} :
             ADD-UU-OP : PlusWidth(max-args-w,IntWidth(1))
             ADD-US-OP : PlusWidth(max-args-w,IntWidth(1))
-- 
cgit v1.2.3