Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d

def · lines 401–419

syntaxOriginRebaseRange

Full file
401def syntaxOriginRebaseRange =
402  (lambda unrestricted origin : (family SyntaxOrigin) .
403    (lambda unrestricted relativeStart : Nat .
404      (lambda unrestricted relativeEnd : Nat .
405        (eliminate
406          SyntaxOrigin
407          (lambda unrestricted current : (family SyntaxOrigin) . (family SyntaxOrigin))
408          origin
409          (branch SyntaxOriginUnknown . (constructor SyntaxOrigin SyntaxOriginUnknown))
410          (branch
411            SyntaxOriginRange
412            start
413            end
414            .
415            (constructor
416              SyntaxOrigin
417              SyntaxOriginRange
418              (Std.Natural/naturalAdd start relativeStart)
419              (Std.Natural/naturalAdd start relativeEnd)))))))

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.