summaryrefslogtreecommitdiff
path: root/compiler/deSugar/deSugar.tex
blob: 02cb28574272a780e1aca821e5ca53a5ebc325a5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
\documentstyle{report}
\input{lit-style}

\begin{document}
\centerline{{\Large{deSugar}}}
\tableofcontents

\input{Desugar}    % {@deSugar@: the main function}
\input{DsBinds}    % {Pattern-matching bindings (HsBinds and MonoBinds)}
\input{DsGRHSs}    % {Matching guarded right-hand-sides (GRHSs)}
\input{DsExpr}     % {Matching expressions (Exprs)}
\input{DsHsSyn}    % {Haskell abstract syntax---added things for desugarer}
\input{DsListComp} % {Desugaring list comprehensions}
\input{DsMonad}    % {@DsMonad@: monadery used in desugaring}
\input{DsUtils}    % {Utilities for desugaring}
\input{Check}      % {Module @Check@ in @deSugar@}
\input{Match}      % {The @match@ function}
\input{MatchCon}   % {Pattern-matching constructors}
\input{MatchLit}   % {Pattern-matching literal patterns}
\input{DsForeign}  % {Desugaring \tr{foreign} declarations}
\input{DsCCall}    % {Desugaring \tr{_ccall_}s and \tr{_casm_}s}

\end{document}