diff options
Diffstat (limited to 'src/main/stanza/errors.stanza')
| -rw-r--r-- | src/main/stanza/errors.stanza | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/stanza/errors.stanza b/src/main/stanza/errors.stanza index 80ad3e56..6cdd1dca 100644 --- a/src/main/stanza/errors.stanza +++ b/src/main/stanza/errors.stanza @@ -278,7 +278,7 @@ public defn check-high-form (c:Circuit) -> Circuit : (e) : add(errors,InvalidIndex(info)) (e:DoPrim) : check-high-form-primop(e,errors,info) (e:UIntValue) : - if value(e) < BigIntLit("0") : add(errors,NegUInt(info)) + if value(e) < BigIntLit("h0",length(value(e))) : add(errors,NegUInt(info)) (e) : false map(check-high-form-w{info,_:Width},e) map(check-high-form-t{info,_:Type},e) |