AlphaGitHub
Source/Packages

Accelerator.SM86.FieldEncoding

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/FieldEncoding.alpha

861 lines86 declarations33.8 KiBSHA-256 1449867e9447
Download exact fileView at revisionf5034773ad4bb52133

def · lines 124–149

sm86EncodingErrorStableCode

Full file
124def sm86EncodingErrorStableCode =
125  (lambda unrestricted error : (family SM86EncodingErrorCode) .
126    (eliminate
127      SM86EncodingErrorCode
128      (lambda unrestricted current : (family SM86EncodingErrorCode) . Bytes)
129      error
130      (branch
131        SM86EncodingWordLengthInvalid
132        .
133        b"ALPHA-SM86-ENC-001")
134      (branch
135        SM86EncodingFieldWidthInvalid
136        .
137        b"ALPHA-SM86-ENC-002")
138      (branch
139        SM86EncodingFieldExtentInvalid
140        .
141        b"ALPHA-SM86-ENC-003")
142      (branch
143        SM86EncodingFieldValueOverflow
144        .
145        b"ALPHA-SM86-ENC-004")
146      (branch
147        SM86EncodingControlInvalid
148        .
149        b"ALPHA-SM86-ENC-005")))

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.