law signed_error_codes

bendtorch-core@0.1.0.0 · src/tensor/signed_LAWS.bend:307

import Base
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transforms
import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed

307# The new error codes: RepeatedInferred 17, AmbiguousInferred 18; the
308# unsigned reshape's errors keep their codes.
309law signed_error_codes:
310  for error: Transforms.Error
311  {(Signed.error_code(Signed.TransformError{error}), Signed.error_code(Signed.RepeatedInferred{}), Signed.error_code(Signed.AmbiguousInferred{})) ==
312    (Transforms.error_code(error), 17, 18) : U32 & U32 & U32}