Consensys / corset

4 stars 10 forks source link

Difference between `:byte` and `:i8` #132

Closed DavePearce closed 2 weeks ago

DavePearce commented 2 weeks ago

Are there any significant differences between these types? Let's have a look. Two tests:

(defcolumns (A :byte@prove))

and

(defcolumns (A :i8@prove))

Corset command:

corset debug -ceeeeNx --auto-constraints=nhood,sorts test.lisp

... and, they give the same output. So, no, looks like they are identical. Presumably they might have a different :display attribute, but that's not a specific concern here.

delehef commented 2 weeks ago

Purely retro-compatibility.