AlphaGitHub
Source/Packages

Compiler.IntegerLiteral

packages/compiler/src/Compiler/IntegerLiteral.alpha

903 lines95 declarations31.8 KiBSHA-256 578f5c4899f4
Download exact fileView at revisionf5034773ad4bb52133

def · lines 896–903

integerLiteralResultFailureTag

Full file
896def integerLiteralResultFailureTag =
897  (lambda unrestricted result : (family IntegerLiteralResult) .
898    (eliminate
899      IntegerLiteralResult
900      (lambda unrestricted current : (family IntegerLiteralResult) . Nat)
901      result
902      (branch IntegerLiteralWord width sign bytes . zero)
903      (branch IntegerLiteralFailed failure . (integerLiteralFailureTag failure))))

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.