AlphaGitHub
Source/Packages

Compiler.ApplicationBuilder

packages/compiler/src/Compiler/ApplicationBuilder.alpha

767 lines104 declarations33.8 KiBSHA-256 4afcba25576e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 435–452

buildAppN

Full file
435def buildAppN :
436  (pi unrestricted function : (family Term) .
437    (pi unrestricted arguments : (family ApplicationBuilderTermArguments) .
438      (family TermApplicationBuildResult))) =
439  (lambda unrestricted function : (family Term) .
440    (lambda unrestricted arguments : (family ApplicationBuilderTermArguments) .
441      (constructor TermApplicationBuildResult TermApplicationBuilt
442        (app (app appN function) arguments)
443        (constructor ApplicationBuilderTelemetry
444          ApplicationBuilderTelemetryValue
445          (app applicationBuilderTermArgumentCount arguments)
446          (app applicationBuilderTermArgumentCount arguments)
447          (app applicationBuilderTermArgumentCount arguments)
448          zero
449          zero
450          zero
451          zero
452          applicationBuilderSuccessCode))))

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.