diff options
| author | azidar | 2015-05-04 12:42:51 -0700 |
|---|---|---|
| committer | azidar | 2015-05-04 12:42:51 -0700 |
| commit | cfd3149589d03338d1d9735f5c232e89d67767b0 (patch) | |
| tree | 876cd86a956a27ac08c25db1a5dbb20cc65ceacb /src/main/stanza/primop.stanza | |
| parent | 20cd6b3b5830b8ac65434fd39d937f607c20d70d (diff) | |
Added a few more error checks. Not tested yet. Fixed bug in pad type inference
Diffstat (limited to 'src/main/stanza/primop.stanza')
| -rw-r--r-- | src/main/stanza/primop.stanza | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/stanza/primop.stanza b/src/main/stanza/primop.stanza index 9d88a019..a06c9b3f 100644 --- a/src/main/stanza/primop.stanza +++ b/src/main/stanza/primop.stanza @@ -189,7 +189,7 @@ public defn lower-and-type-primop (e:DoPrim) -> DoPrim : MUX-UU-OP : DoPrim(op(e),args(e),consts(e),u()) MUX-SS-OP : DoPrim(op(e),args(e),consts(e),s()) PAD-OP : - DoPrim{_,args(e),consts(e),of-type(args(e)[1])} $ + DoPrim{_,args(e),consts(e),of-type(args(e)[0])} $ match(type(args(e)[0])) : (t1:UIntType) : PAD-U-OP (t1:SIntType) : PAD-S-OP |