macros.tex

% Project name
\newcommand{\Rulecheck}{\textit{Rulecheck}\xspace}
\newcommand{\rctool}{\texttt{rulecheck}\xspace}
\newcommand{\Quickcheck}{\texttt{QuickCheck}\xspace}
\newcommand{\Hackage}{\texttt{Hackage}\xspace}
\newcommand{\fastmath}{\texttt{fast-math}\xspace}
\newcommand{\secref}[1]{Sec.~\ref{sec:#1}}
\newcommand{\figref}[1]{Fig.~\ref{fig:#1}}
\newcommand{\rbinders}{\texttt{x\textsubscript{1}, \ldots, x\textsubscript{n}}\xspace}
\newcommand{\rlhs}{\texttt{lhs}\xspace}
\newcommand{\rrhs}{\texttt{rhs}\xspace}
\newcommand{\rrule}{\texttt{\{-\# RULES forall \rbinders~.~\rlhs = \rrhs \#-\}}}
\newcommand{\rcghcver}{\texttt{9.0.2}\xspace}
\newcommand{\NaN}{\texttt{NaN}\xspace}
\newcommand\ZGTODO[1]{\textcolor{blue}{\textbf{ZGTODO:} #1}}
\newcommand\ECTODO[1]{\textcolor{purple}{\textbf{ECTODO:} #1}}
\newcommand{\packagestested}{six\xspace}
\newcommand{\rulestested}{144\xspace}
\newcommand{\packagesfailed}{four\xspace}
\newcommand{\rulesfailed}{53\xspace}
\newcommand{\mboxtt}[1]{\mbox{\texttt{#1}}}