781def quotedTextFinish =
782 (lambda unrestricted state : (family QuotedTextState) .
783 (lambda unrestricted offset : Nat .
784 (eliminate
785 QuotedTextState
786 (lambda unrestricted current : (family QuotedTextState) . (family QuotedLiteralResult))
787 state
788 (branch
789 QuotedTextNormal
790 .
791 (constructor
792 QuotedLiteralResult
793 QuotedLiteralFailed
794 (constructor QuotedLiteralFailure QuotedUnterminated)
795 zero
796 offset))
797 (branch
798 QuotedTextEscape
799 start
800 .
801 (constructor
802 QuotedLiteralResult
803 QuotedLiteralFailed
804 (constructor QuotedLiteralFailure QuotedIncompleteEscape)
805 start
806 offset))
807 (branch
808 QuotedTextUnicodeOpen
809 start
810 .
811 (constructor
812 QuotedLiteralResult
813 QuotedLiteralFailed
814 (constructor QuotedLiteralFailure QuotedUnicodeSyntax)
815 start
816 offset))
817 (branch
818 QuotedTextUnicodeDigits
819 start
820 count
821 accumulator
822 .
823 (constructor
824 QuotedLiteralResult
825 QuotedLiteralFailed
826 (constructor QuotedLiteralFailure QuotedUnicodeSyntax)
827 start
828 offset))
829 (branch QuotedTextClosed . (constructor QuotedLiteralResult QuotedLiteralDecoded b"")))))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.