ghc/compiler/typecheck/root.lit

   1 \begin{onlystandalone}
   2 \documentstyle[11pt,literate,a4wide]{article}
   3 \begin{document}
   4 \title{The Glasgow \Haskell{} typechecker}
   5 \author{The AQUA team}
   6 \date{February 1994}
   7 \maketitle
   8 \tableofcontents
   9 \end{onlystandalone}
  10
  11 \begin{onlypartofdoc}
  12 \section[Typechecker]{The typechecker}
  13 \downsection
  14 \end{onlypartofdoc}
  15
  16 \input{Typecheck.lhs}
  17
  18 \section[Typechecker-monadery]{Typechecker: monad stuff (Saps)}
  19 \downsection
  20 \input{TcMonad.lhs}
  21 \input{TcMonadFns.lhs}
  22 \upsection
  23
  24 \section{Typechecker: misc}
  25 \downsection
  26 \input{BackSubst.lhs}
  27 \input{Disambig.lhs}
  28 \input{Spec.lhs}
  29 \input{Subst.lhs}
  30 \input{Unify.lhs}
  31 \upsection
  32
  33 \section[Typechecker-toplevel]{Typechecker: top-level modules}
  34 \downsection
  35 \input{TcModule.lhs}
  36 \upsection
  37
  38 \section[Typechecker-core]{Typechecking the abstract syntax}
  39 \downsection
  40 \input{TcBinds.lhs}
  41 \input{TcClassDcl.lhs}
  42 \input{TcClassSig.lhs}
  43 \input{TcConDecls.lhs}
  44 \input{TcContext.lhs}
  45 \input{TcExpr.lhs}
  46 \input{TcGRHSs.lhs}
  47 \input{TcIfaceSig.lhs}
  48 \input{TcInstDcls.lhs}
  49 \input{TcMatches.lhs}
  50 \input{TcMonoBnds.lhs}
  51 \input{TcMonoType.lhs}
  52 \input{TcPat.lhs}
  53 \input{TcPolyType.lhs}
  54 \input{TcPragmas.lhs}
  55 \input{TcQuals.lhs}
  56 \input{TcTyDecls.lhs}
  57 \upsection
  58
  59 \section[Typechecker-support]{Typechecker: supporting modules}
  60 \downsection
  61 \input{GenSpecEtc.lhs}
  62 \input{TcSimplify.lhs}
  63 \upsection
  64
  65 \begin{onlypartofdoc}
  66 \upsection
  67 \end{onlypartofdoc}
  68 \begin{onlystandalone}
  69 \printindex
  70 \end{document}
  71 \end{onlystandalone}