AlphaGitHub
Source/Packages

Compiler.DependentCore

packages/compiler/src/Compiler/DependentCore.alpha

12,943 lines498 declarations489.0 KiBSHA-256 ef207b0de796
Download exact fileView at revisionf5034773ad4bb52133

def · lines 12172–12187

inferCoreBindInput

Full file
12172def inferCoreBindInput =
12173  (lambda unrestricted effects : (family CoreTerm) .
12174    (lambda unrestricted resultType : (family CoreTerm) .
12175      (lambda unrestricted functionResult : (family CoreInferenceResult) .
12176        (lambda unrestricted inputResult : (family CoreInferenceResult) .
12177          (eliminate
12178            CoreInferenceResult
12179            (lambda unrestricted result : (family CoreInferenceResult) .
12180              (family CoreInferenceResult))
12181            functionResult
12182            (branch CoreInferred marker . (inferCoreBindInputResult effects resultType inputResult))
12183            (branch
12184              CoreInferenceFailed
12185              code
12186              .
12187              (constructor CoreInferenceResult CoreInferenceFailed code)))))))

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.