2 \documentstyle[11pt,literate,a4wide]{article}
4 \title{The Glasgow \Haskell{} typechecker}
12 \section[Typechecker]{The typechecker}
18 \section[Typechecker-monadery]{Typechecker: monad stuff (Saps)}
21 \input{TcMonadFns.lhs}
24 \section{Typechecker: misc}
33 \section[Typechecker-toplevel]{Typechecker: top-level modules}
38 \section[Typechecker-core]{Typechecking the abstract syntax}
41 \input{TcClassDcl.lhs}
42 \input{TcClassSig.lhs}
43 \input{TcConDecls.lhs}
47 \input{TcIfaceSig.lhs}
48 \input{TcInstDcls.lhs}
50 \input{TcMonoBnds.lhs}
51 \input{TcMonoType.lhs}
53 \input{TcPolyType.lhs}
59 \section[Typechecker-support]{Typechecker: supporting modules}
61 \input{GenSpecEtc.lhs}
62 \input{TcSimplify.lhs}
68 \begin{onlystandalone}