AlphaGitHub
Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 5880–5902

syntaxDropOriginPrefix

Full file
5880def syntaxDropOriginPrefix =
5881  (lambda unrestricted prefix : Nat .
5882    (lambda unrestricted syntax : (family Syntax) .
5883      (eliminate
5884        Syntax
5885        (lambda unrestricted current : (family Syntax) . (family Syntax))
5886        syntax
5887        (branch
5888          SyntaxAtom
5889          spelling
5890          origin
5891          .
5892          (constructor Syntax SyntaxAtom spelling (syntaxOriginDropPrefix prefix origin)))
5893        (branch SyntaxEmpty . (constructor Syntax SyntaxEmpty))
5894        (branch
5895          SyntaxCons
5896          head
5897          tail
5898          ih_head
5899          ih_tail
5900          .
5901          (constructor Syntax SyntaxCons ih_head ih_tail))
5902        (branch SyntaxNode children ih_children . (constructor Syntax SyntaxNode ih_children)))))

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.