99def sha256ErrorCodeBytes =
100 (lambda unrestricted code : (family SHA256ErrorCode) .
101 (eliminate
102 SHA256ErrorCode
103 (lambda unrestricted current : (family SHA256ErrorCode) . Bytes)
104 code
105 (branch SHA256InputLengthOverflow . b"ALPHA-SHA256-001")
106 (branch SHA256PendingBlockTooLarge . b"ALPHA-SHA256-002")
107 (branch SHA256ContextLengthMismatch . b"ALPHA-SHA256-003")
108 (branch SHA256BlockLengthInvalid . b"ALPHA-SHA256-004")
109 (branch SHA256ScheduleLengthInvalid . b"ALPHA-SHA256-005")
110 (branch SHA256RoundCountInvalid . b"ALPHA-SHA256-006")
111 (branch SHA256DigestLengthInvalid . b"ALPHA-SHA256-007")
112 (branch SHA256LengthEncodingInvalid . b"ALPHA-SHA256-008")
113 (branch SHA256PaddingLengthInvalid . b"ALPHA-SHA256-009")
114 (branch SHA256FileOpenFailed . b"ALPHA-SHA256-010")
115 (branch SHA256FileReadFailed . b"ALPHA-SHA256-011")
116 (branch SHA256FileCloseFailed . b"ALPHA-SHA256-012")
117 (branch SHA256DigestHexInvalid . b"ALPHA-SHA256-013")))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.