AlphaGitHub
Source/Packages

Compiler.Planning.VA

packages/compiler/planning/src/Compiler/Planning/VA.alpha

590 lines101 declarations22.4 KiBSHA-256 1df69a11644a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 317–336

vaTelemetryFailed

Full file
317def vaTelemetryFailed =
318  (lambda unrestricted eventIndex : Nat .
319    (lambda unrestricted inputNext : DeviceAddress .
320      (lambda unrestricted requestedBytes : ByteCount .
321        (lambda unrestricted error : (family VAErrorCode) .
322          (constructor
323            VATelemetry
324            VATelemetryValue
325            eventIndex
326            inputNext
327            requestedBytes
328            (constructor VAOptionalAlignment VANoAlignment)
329            (stdDeviceAddress modelWord64Zero)
330            (stdByteCount modelWord64Zero)
331            (stdByteCount modelWord64Zero)
332            (stdByteCount modelWord64Zero)
333            inputNext
334            zero
335            (constructor VAOptionalError VASomeError error)
336            zero)))))

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.