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 12150–12170

inferCoreBindInputResult

Full file
12150def inferCoreBindInputResult =
12151  (lambda unrestricted effects : (family CoreTerm) .
12152    (lambda unrestricted resultType : (family CoreTerm) .
12153      (lambda unrestricted inputResult : (family CoreInferenceResult) .
12154        (eliminate
12155          CoreInferenceResult
12156          (lambda unrestricted result : (family CoreInferenceResult) . (family CoreInferenceResult))
12157          inputResult
12158          (branch
12159            CoreInferred
12160            inputComputationType
12161            .
12162            (inferCoreBindInspection
12163              effects
12164              resultType
12165              (inspectCoreInferenceFunction inputComputationType)))
12166          (branch
12167            CoreInferenceFailed
12168            code
12169            .
12170            (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.