781def parserLocatePendingAtom =
782 (lambda unrestricted offset : Nat .
783 (lambda unrestricted state : (family StreamingStructuralState) .
784 (eliminate
785 StreamingStructuralState
786 (lambda unrestricted current : (family StreamingStructuralState) .
787 (family StreamingStructuralState))
788 state
789 (branch
790 StreamingStructuralActive
791 pending
792 forest
793 stack
794 origin
795 .
796 (constructor
797 StreamingStructuralState
798 StreamingStructuralActive
799 pending
800 forest
801 stack
802 (constructor
803 SyntaxOrigin
804 SyntaxOriginRange
805 offset
806 (Std.Natural/naturalAdd offset (bytes-length pending)))))
807 (branch
808 StreamingStructuralFailed
809 code
810 structuralFailureOrigin
811 recoveryAtom
812 recoveryOrigin
813 .
814 (constructor
815 StreamingStructuralState
816 StreamingStructuralFailed
817 code
818 structuralFailureOrigin
819 recoveryAtom
820 (constructor
821 SyntaxOrigin
822 SyntaxOriginRange
823 offset
824 (Std.Natural/naturalAdd offset (bytes-length recoveryAtom))))))))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.