diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-07-23 20:32:56 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-07-23 20:33:36 +0200 |
| commit | eb795ec5b051964d3a761bae7a74ad37b362dddf (patch) | |
| tree | 0e60da2dea4e1bb67d7ea09a43b406fdd913b1eb /docs | |
| parent | d1f17f5dc71832a9cb2f6afe0efd99b76cfe53db (diff) | |
| download | haskell-eb795ec5b051964d3a761bae7a74ad37b362dddf.tar.gz | |
Duplicate word
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/backpack/backpack-impl.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/backpack/backpack-impl.tex b/docs/backpack/backpack-impl.tex index abdbe06fdb..24ddb4f56f 100644 --- a/docs/backpack/backpack-impl.tex +++ b/docs/backpack/backpack-impl.tex @@ -1565,7 +1565,7 @@ now poses a problem: if we load the interface file for \m{B} the normal way, we will get a reference to type \texttt{T} with the original name $\alpha_A$.\texttt{T}, whereas from \m{A} we have an original name \pname{q}:\m{A}.\texttt{T}. -Let's suppose that we have already have the result of a shaping pass, which +Let's suppose that we already have the result of a shaping pass, which maps our identity variables to their true identities. Let's consider the possible options here: |