typing of transformation argument should not ignore coercion
In a context like
use import int.Int type byte = < range 0 255 > meta coercion function byte'int goal g : ...
one should be able to something like
cut (3 = (4:byte))
Instead, we get: Parsing error: This term has type byte, but is expected to have type int
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information