% Copyright 2012-2020, Alexander Shibakov
% This file is part of SPLinT
%
% SPLinT is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% (at your option) any later version.
%
% SPLinT is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
% GNU General Public License for more details.
%
% You should have received a copy of the GNU General Public License
% along with SPLinT.  If not, see <http://www.gnu.org/licenses/>.

% prototypes of all the macros produced by the ld parser
% we will follow the convention: 12string is a string of category 12 characters and spaces, tex_string: a string
% of TeX tokens; sptr is a pointer to the stash stream, fptr is a pointer to the format stream

\def\yyuniontag{\ldunion}
\def\parserstrictnamespace{ld-parser-strict}
\def\parserprototypesnamespace{ld-parser-strict:headers}
\def\parserdebugnamespace{ld-parser-debug}

\def\ldunion{\currentyyunionnamespace}
\def\currentyyunionnamespace{ld-generic}

% types returned by the lexer (* marks the types that get removed by the parser in some cases)

\defp\anint#1#2#3{} % integer :: \anint{integer}{fptr}{sptr}
\defp\bint#1#2#3{} % integer in a specifix radix :: \bint{integer}{fptr}{sptr}
\defp\hexint#1#2#3{} % hex integer :: \hexint{integer}{fptr}{sptr}

% ld commands

\defp\ldregexp#1{} % name pattern :: \ldregexp{{name}{name11}{fptr}{sptr}}
\defp\ldregop#1{} % name pattern :: \ldregop{name}
\defp\ldspace{} % space separator :: \ldspace
\defp\ldattributes#1{} % attributes :: \ldattributes{name}
\defp\ldattributesneg#1{} % complemented attributes :: \ldattributesneg{name}
\defp\ldfilename#1{} % file name :: \ldfilename{name}
\defp\ldcommandseparator#1#2#3#4{} % command separator :: \ldcommandseparator{fptr}{sptr}{prev command}{next command}
\defp\ldassignment#1#2#3{} % assignment :: \ldassignment{lhs}{op}{rhs}
\defp\ldhidden#1#2{} % hidden :: \ldhidden{lhs}{rhs}
\defp\ldprovide#1#2{} % provide :: \ldprovide{lhs}{rhs}
\defp\ldprovidehid#1#2{} % provide hidden :: \ldprovidehid{lhs}{rhs}
\defp\ldkeep#1{} % keep :: \ldkeep{list}
\defp\ldentry#1{} % entry :: \ldentry{name}
\defp\ldinclude#1{} % file inclusion :: \ldinclude{file name}
\defp\ldmemory#1{} % memory specification :: \ldmemory{memory spcification}
\defp\ldfill#1{} % fill expression :: \ldfill{expression}
\defp\ldmemoryspec#1#2#3#4{} % memory item :: \ldmemoryspec{name}{attributes}{origin}{length}
\defp\ldmemspecstash#1#2{} % memory spec stash :: \ldmemspecstash{fptr}{sptr}
\defp\ldmemspecseparator#1#2{} % memory spec separator :: \ldmemspecseparator{fptr}{sptr}
\defp\ldoriginspec#1{} % origin :: \ldoriginspec{expression}
\defp\ldlengthspec#1{} % length :: \ldlengthspec{expression}
\defp\ldsections#1{} % ld sections :: \ldsections{sections}
\defp\ldsectionseparator#1#2{} % section separator :: \ldsectionseparator{fptr}{sptr}
\defp\ldtype#1{} % section type :: \ldtype{type}
\defp\ldstatement#1{} % statement :: \ldstatement{statement}
\defp\ldsecspec#1{} % section spec :: \ldsecspec{section spec}
\defp\ldinsertcweb#1#2#3#4{} % insert accumulated \CWEB\ material :: \ldinsertcweb
                             % {fptr}{sptr}{command}{parsed segment} : never defined
\defp\ldnamedsection#1#2#3#4#5#6#7{} % named section :: \ldnamedsection{name}
                                     %                                 {{expression}{type}}{at}
                                     %                                 {{}{}{}:alignment}
                                     %                                 {constraint}{statements}
                                     %                                 {{}{}{}{}:placement}
\defp\ldsectionstash#1#2{} % sections spec stash :: \ldsectionstash{fptr}{sptr}

\savecslist{ld-parser-prototypes}\ldunion

\input ldint.sty

\def\bigbracedel{\delimiter"4266308}

\newtoks\lddisplay

\restorecslist{ld-parser-strict}\ldunion

\defc\ldinclude{%
    \toksa={&##\cr\ttl include\ &}#1%
    \concat\toksa\toksc
    \toksc{\cr}
    \concat\toksa\toksc
    \edef\next{\lddisplay{\the\lddisplay\halign{\the\toksa}}}\next
}

\defc\ldmemory{%
    \savecslist{local-namespace}{\ldunion}%
    \restorecslist{ld-parser:memory-spec}\ldunion
    \toksa{}#1%
    \toksc{%
        \hfil##\qquad&##\hfil&\qquad##\hfil\quad&\hfil##&\qquad\hfil##\cr
        \ttl memory&\hfil&\ttl attributes&\ttl starts at&\ttl length\cr
        \noalign{\smallskip}%
    }%
    \edef\next{\lddisplay{\the\lddisplay\halign{\the\toksc\the\toksa}}}\next
    \restorecslist{local-namespace}{\ldunion}%
}

\defc\ldsections{%
    \savecslist{local-namespace}{\ldunion}%
    \restorecslist{ld-parser:sections}\ldunion
    \toksa{}\def\sections@header{\ttl sections}%
    #1%
    \toksc{%
        &##\hfil\quad\cr
    }%
    \edef\next{\lddisplay{\the\lddisplay\halign{\the\toksc\the\toksa}}}\next
    \restorecslist{local-namespace}{\ldunion}%
}

\def\ldextractname#1#2#3#4{%
    \edef\next{\toksc{\gidxentry{\termttstring}{#2}{}{\ntt #2}}}\next
}

\def\ldextractmemname#1#2#3#4{%
    {%
        \expandafter\let\expandafter\tosmallparser\csname to\stripbrackets\cwebclinknamespace parser\endcsname
        \let\optstrextra\optstrextraesc
        \def\hostparsernamespace{[none]}%
        \nameproc{#2}\with\parsebin
        \edef\next{\toksc{\gidxentry{\termvstring}{#2}{}{\let\idxfont\nx\empty\ntt\the\toksa}}}%
        \expandafter
    }\next%

}

% the grammar of ld scripts is very uniform so the separator form
% below should be more than adequate; if a more sophisticated spacing
% strategy is required, one may consult the design of
% \separatorswitcheq and \separatorswitchneq in yyunion.sty

\defc\ldcommandseparator{%
    \restorecs{table-render}{\strm}%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
        \yyifsamestring{#3}{#4}{}{\appendrnx\lddisplay{\medskip}}%
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \edef\next{\toksc{\toksa{}\the\yystashlocal
            \noexpand\ldmakestashbox{}}}\next
        \appendrnx\lddisplay{\smallskip\noindent}%
        \concat\lddisplay\toksc
        \appendrnx\lddisplay{\smallskip}%
    \fi
}

\defc\ldcommandseparator{% new version; TODO: remove the duplicates after the macros have been tested
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
        \yyifsamestring{#3}{#4}{}{\appendrnx\lddisplay{\medskip}}%
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \appendrnx\lddisplay{\smallskip\noindent}%
        \appendr  \lddisplay{\toksa{\the\yystashlocal}}%
        \appendrnx\lddisplay{\ldmakestashbox{}\smallskip}%
    \fi
}

\defc\ldstatement{\toksc{\hbox{$#1$}}\concat\lddisplay\toksc}

\let\ldsecspec\ldstatement

\defc\ldassignment{%
    #1#2#3%
}

\defc\ldhidden{%
    \mathop{\hbox{\ssf hidden}}\hbox{$\langle\,$}#1\K#2\hbox{$\,\rangle$}%
}

\defc\ldprovide{%
    \mathop{\hbox{\ssf provide}}\hbox{$\langle\,$}#1\K#2\hbox{$\,\rangle$}%
}

\defc\ldprovidehid{%
     \mathop{\hbox{\ssf provide$_{h}$}}\hbox{$\langle\,$}#1\K#2\hbox{$\,\rangle$}%
}

\defc\anint{%
    \uppercase{\ldsciinteger{#1}}%
}

\defc\hexint{%
    \ldsciinteger{#1}%
}

\defc\bint{%
    \uppercase{\ldbasedinteger{#1}}%
}

\defc\ldregexp{%
        \ldreg@xp#1%
}

\def\ldreg@xp#1#2#3#4{%
  \expandafter\ifx\csname ldvarname[#2]\endcsname\relax
      {%
          \let\termindex\writeidxentry
          \let\hostparsernamespace\cwebclinknamespace% process the variable names as in \CWEB            
          \edef\next{\toksc{\gidxentry{\termttstring}{#1}{}}}\next\the\toksc
          \hbox{\ntt@#1}%
          \expandafter
      }\the\toksc
  \else
      \yyifsamestring{#2}{.}{% special . name
          {%
              \let\termindex\writeidxentry
              \let\hostparsernamespace\cwebclinknamespace% for consistency
              \edef\next{\toksc{\gidxentry{\termexception}{.origin&}{.}}}\next
              \hbox{\csname\prettynamecs\hostparsernamespace{.origin&}\endcsname{}}%
              \expandafter
          }\the\toksc
      }{%
          {%
              \let\termindex\writeidxentry
              \let\hostparsernamespace\cwebclinknamespace% process the variable names as in \CWEB
              \edef\next{\toksc{\gidxentry{\termhostidstring}{#1}{}}}\next
              \hbox{%
                  \expandafter\let\expandafter\tosmallparser\csname to\stripbrackets\cwebclinknamespace parser\endcsname
                  \let\optstrextra\optstrextraesc
                  \nameproc{#2}\with\parsebin
                  \it\the\toksa
              }%
              \expandafter
          }\the\toksc
      }%
  \fi
}

\defc\ldregop{%
        \ldreg@p#1%
}

\def\ldreg@p#1#2#3#4{%
  \hbox{\ntt@#1}%
}

\defc\ldfill{%
    #1%
}

\defc\ldentry{% this command survives till the table time
    \hbox{\ttl entry{\rm: }} #1%
}

\defc\ldkeep{%
    \mathop{\hbox{\ssf keep}}(#1)%
}

\defc\ldfilename{\ldextractname#1}

\savecslist{ld-display}\ldunion

% memory specifications

\restorecslist{ld-parser-strict}\ldunion

\defc\ldmemoryspec{%
    \toksb{\hfil&}%
    \let\termindex\writeidxhentry
        \ldextractmemname#1\concat\toksb\toksc
    \let\termindex\eatone
    \appendrnx\toksb{&}%
    \toksc{}#2\concat\toksb\toksc
    \toksc{}#3\concat\toksb\toksc
    \toksc{}#4\concat\toksb\toksc
    \concat\toksa\toksb
    \toksb{\cr}\concat\toksa\toksb
}

\defc\ldattributes{%
    \ldextractname#1\appendrnx\toksc{&}%
}

\defc\ldlengthspec{%
    \toksc{#1}%
}

\defc\ldoriginspec{%
    \toksc{#1&}%
}

\defc\ldinclude{%
    \toksc={\hfil&\ttl include }%
    \concat\toksa\toksc#1%
    \concat\toksa\toksc
    \toksc{&\hfil&\hfil&\hfil\cr}%
    \concat\toksa\toksc
}

\defc\ldmemspecseparator{% TODO: remove after testing is complete
    \restorecs{table-render}{\strm}%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \edef\next{\toksc{&\noexpand\multispan4\toksa{}\the\yystashlocal
            \noexpand\ldmakestashbox{\cdotfill}\noexpand\quad\cr}}\next\concat\toksa\toksc
    \fi
}

\defc\ldmemspecseparator{%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \appendr\toksa{&\nx\multispan4\toksa{\the\yystashlocal}\nx\ldmakestashbox{\nx\cdotfill}\nx\quad\cr}%
    \fi
}

\defc\ldmemspecstash{%
    \restorecs{table-render}{\strm}%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \edef\next{\toksc{&\noexpand\multispan4\toksa{}\the\yystashlocal
            \noexpand\ldmakestashbox{\cdotfill}\noexpand\quad\cr}}\next\concat\toksa\toksc
    \fi
}

\defc\ldmemspecstash{%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \appendr\toksa{&\nx\multispan4\toksa{\the\yystashlocal}\nx\ldmakestashbox{\nx\cdotfill}\nx\quad\cr}%
    \fi
}

\restorecs{ld-display}{\ldfilename\ldentry}
\toyyunion{ld-parser:memory-spec}

% sections commands

\restorecslist{ld-parser-strict}\ldunion

\newif\ifplacementpushed
\newif\ifsectioncomplete
\newif\iffillextracted

\defc\ldnamedsection{ % named section :: \ldnamedsection{name}
                      %                                 {{bind?}{expression}{block?}{expression}{type}}{at}
                      %                                 {{}{}{}:alignment}
                      %                                 {constraint}{statements}
                      %                                 {{}{}{}{}:placement}
    \tempca=\z@ % line counter
    \tempcb=\z@ % alignment line counter
    \placementpushedfalse
    \sectioncompletefalse
    \fillextractedfalse
    \bloop
        \toksb{}%
        \ifnum\tempca=\z@
            \toksb\expandafter{\sections@header&}% section header
            \ldextractname#1% section name
            \concat\toksb\toksc
            \appendrnx\toksb{&}%
            \ldexpwithtype#2% location and type
            \concat\toksb\toksc
            \appendrnx\toksb{&}%
            \yystringempty{#3}{\ldpushalignment#4}{\toksc{{\ttl at }$#3$}}% alignment            
            \concat\toksb\toksc
            \appendrnx\toksb{&}%
            \yystringempty{#5}{\ldpushplacement#7}{\toksc{{\ttl #5}}}% constraint
            \concat\toksb\toksc
            \appendrnx\toksb{&}%
            \ldstartpheaders#7% possible pheaders
            \concat\toksb\toksc
            \appendrnx\toksb{\cr}%
            \def\sections@header{}%
       \else
            \toksb\expandafter{&}% section header
            \advance\tempca\m@ne
            \ldextractitem\tempca{#6}% expression
            \advance\tempca\@ne
            \yytoksempty\toksc{%
                \ldextractfill#7%
                \iffillextracted
                    \ifnum\tempcb<\tw@
                    \else
                        \sectioncompletetrue
                    \fi
                \fi
                \fillextractedtrue
            }{%
                \toksc\expandafter{\expandafter\qquad\expandafter$\the\toksc{}$}%
            }%
            \concat\toksb\toksc
            \appendrnx\toksb{&}%
%            \ldexpwithtype#2% location and type
%            \concat\toksa\toksc
            \appendrnx\toksb{&}%
            \ldpushalignment#4% alignment            
            \concat\toksb\toksc
            \appendrnx\toksb{&}%
            \ldpushplacement#7% placement
            \concat\toksb\toksc
            \appendrnx\toksb{&}%
            \ldpushpheaders#7% possible pheaders
            \concat\toksb\toksc
            \appendrnx\toksb{\cr}%
            \def\sections@header{}%
        \fi
    \ifsectioncomplete
    \else 
        \concat\toksa\toksb
        \advance\tempca\@ne
    \repeat 
}

\def\ldextractitem#1#2{%
    \yystringempty{#2}{%
        \toksc{}%
    }{%
        \let\ldor\or
        \toksc=\ifcase#1#2\else{}\fi
        \let\ldor\relax
    }%
}

\def\ldpushalignment#1#2#3{%
    \toksd=\ifcase\tempcb{#1}\or{#2}\or{#3}\else{}\fi
    \yytoksempty\toksd{%
        \advance\tempcb\@ne
        \ifnum\tempcb<\tw@
            \yybreak{\ldpushalignment{#1}{#2}{#3}}%
        \else
            \yybreak{\toksc{}}%
        \yycontinue
    }{%
        \toksc=\ifcase\tempcb{{\ttl align }}\concat\toksc\toksd\or
                             {{\ttl align\_with\_input}}\or
                             {{\ttl subalign }}\concat\toksc\toksd\fi
        \advance\tempcb\@ne
    }%
}

\def\ldpushplacement#1#2#3#4{%
    \ifplacementpushed
        \toksc{}%
    \else
        \yystringempty{#1}{% any > ?
            \toksc{}%
        }{%
            \ldextractname#1%
            \toksd{{\ttl in }}%
            \concatl\toksd\toksc
        }%
        \yystringempty{#2}{% any AT > ?
        }{%
            \yytoksempty\toksc{\toksc{{\ttl as }}}{\appendrnx\toksc{ {\ttl as }}}%
            \toksd=\toksc
            \ldextractname#2%
            \concat\toksd\toksc
            \toksc=\toksd
        }%
        \placementpushedtrue
    \fi
}

\def\ldstartpheaders#1#2#3#4{%
    \tempcc=\z@
    \yystringempty{#3}{\toksc{}}{\toksc{{\ttl phdrs}}}%
}

\def\ldextractfill#1#2#3#4{%
    \yystringempty{#4}{%
        \toksc{}%
        \fillextractedtrue
    }{%
        \iffillextracted
            \toksc{}%
        \else
            \toksc={\qquad{\ttl fill }$#4$}%
        \fi
    }%
}

\def\ldpushpheaders#1#2#3#4{%
    \ldextractitem\tempcc{#3}%
    \advance\tempcc\@ne
    \yytoksempty\toksc{}{\expandafter\ldextractname\the\toksc}%
}

\def\ldexpwithtype#1#2#3#4#5{% TODO
    \yystringempty{#2}{\toksc{$}}{\toksc{$#2}}%$
    \yystringempty{#5}{\toksd{{}$}}{#5\appendlnx\toksd{[}\appendrnx\toksd{]$}}%
    \concat\toksc\toksd
}

\defc\ldtype{%
    \toksd{\hbox{\ttl #1}}%
}

\defc\ldstatement{{#1}} % the braces form the group for a \toks assignment

\let\ldsecspec\ldstatement

\defc\ldsectionseparator{\toksc{&\multispan5\cdotfill\quad\cr}\concat\toksa\toksc}

\def\ldboxstash#1{%
  \ifchecktrim\errmessage{stash contents: \the\toksa}\fi
  {\setbox0 \vbox{\the\toksa}\ifdim\ht0=\z@\aftergroup\toksa\else\aftergroup\eatone\fi}{}%
  \yytoksempty\toksa{#1}{%
      $\vtop{\activateinlinec\tabskip\z@\halign{\strut\ignorespaces##\hfil\cr\the\toksa\crcr}}$\hfill}}

\def\ldmakestashbox#1{\cleanstash\stripstash\ldboxstash{#1}}

\defc\ldsectionseparator{%
    \restorecs{table-render}{\strm}%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \edef\next{\toksc{&\noexpand\multispan5\toksa{}\the\yystashlocal
            \noexpand\ldmakestashbox{\cdotfill}\noexpand\quad\cr}}\next\concat\toksa\toksc
    \fi
}

\defc\ldsectionseparator{%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \appendr\toksa{&\nx\multispan5\toksa{\the\yystashlocal}\nx\ldmakestashbox{\nx\cdotfill}\nx\quad\cr}%
    \fi
}

\defc\ldsectionstash{%
    \restorecs{table-render}{\strm}%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \edef\next{\toksc{\sections@header&\noexpand\multispan5\toksa{}\the\yystashlocal
            \noexpand\ldmakestashbox{\cdotfill}\noexpand\quad\cr}}\next\concat\toksa\toksc
        \def\sections@header{}%
    \fi
}

\defc\ldsectionstash{%
    \expandafter\ifx\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\expandafter\expandafter\yystashlocal\expandafter\expandafter\expandafter{\csname ldstashentry[#2]\endcsname}%
        \appendr\toksa{\sections@header&\nx\multispan5\toksa{\the\yystashlocal}\nx\ldmakestashbox{\nx\cdotfill}\nx\quad\cr}%
        \let\sections@header\empty
    \fi
}

\restorecs{ld-display}{\ldregexp\ldassignment\ldfill\ldinsertcweb\ldentry}
\toyyunion{ld-parser:sections}

% preprocessing macros: collecing stash and marking variables

\restorecslist{ld-parser-prototypes}\ldunion
\restorecs{ld-parser-strict}{\insertcweb}

\defc\ldmemory{#1} % memory specification :: \ldmemory{memory spcification}

\defc\ldmemspecstash{%
    \readstash{#2}%
    \setbox0 \vbox{\toksa\expandafter{\the\yystashlocal}\cleanstash\stripstash\the\toksa}%
    \ifdim\ht0=\z@
        \expandafter\let\csname ldstashentry[#2]\endcsname\relax    
    \else
        \expandafter\edef\csname ldstashentry[#2]\endcsname{\the\yystashlocal}%
    \fi
} % memory spec stash :: \ldmemspecstash{fptr}{sptr}

\defc\ldmemspecseparator{%
    \readstash{#2}%
    \setbox0 \vbox{\toksa\expandafter{\the\yystashlocal}\cleanstash\stripstash\the\toksa}%
    \ifdim\ht0=\z@
        \expandafter\let\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\edef\csname ldstashentry[#2]\endcsname{\the\yystashlocal}%
    \fi
} % memory spec separator :: \ldmemspecseparator{fptr}{sptr}

\defc\ldsections{#1} % ld sections :: \ldsections{sections}

\defc\ldsectionseparator{%
    \readstash{#2}%
    \setbox0 \vbox{\toksa\expandafter{\the\yystashlocal}\cleanstash\stripstash\the\toksa}%
    \ifdim\ht0=\z@
        \expandafter\let\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\edef\csname ldstashentry[#2]\endcsname{\the\yystashlocal}%
    \fi
} % section separator :: \ldsectionseparator{fptr}{sptr}

\defc\ldsectionstash{%
    \readstash{#2}%
    \setbox0 \vbox{\toksa\expandafter{\the\yystashlocal}\cleanstash\stripstash\the\toksa}%
    \ifdim\ht0=\z@
        \expandafter\let\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\edef\csname ldstashentry[#2]\endcsname{\the\yystashlocal}%
    \fi
} % sections spec stash :: \ldsectionstash{fptr}{sptr}

\defc\ldcommandseparator{%
    \readstash{#2}%
    \setbox0 \vbox{\toksa\expandafter{\the\yystashlocal}\cleanstash\stripstash\the\toksa}%
    \ifdim\ht0=\z@
        \expandafter\let\csname ldstashentry[#2]\endcsname\relax
    \else
        \expandafter\edef\csname ldstashentry[#2]\endcsname{\the\yystashlocal}%
    \fi
} % command separator :: \ldcommandseparator{fptr}{sptr}{prev command}{next command}

\defc\ldstatement{#1}

\defc\ldnamedsection{\let\ldor\empty#6}

\defc\ldassignment{%
    {%
        \let\ldregexp\markldname
        #1%
    }{\errmessage{Not an \\ldregexp!}}%
}
\defc\ldprovide{%
    {%
        \let\ldregexp\markldname
        #1%
    }{\errmessage{Not an \\ldregexp!}}%
}

\defc\ldentry{%
    {%
        \let\ldregexp\markldname
        #1%
    }{\errmessage{Not an \\ldregexp!}}%
}

\def\markldname#1{%
    \markldn@me#1%
}
\def\markldn@me#1#2#3#4{%
     \aftergroup\def\expandafter\aftergroup\csname ldvarname[#2]\endcsname
}

\let\ldhidden\ldprovide
\let\ldprovidehid\ldprovide

\toyyunion{ld-parser:restash}