From 02e3ce0bc65f586376c3d2ecab498a4c5a3f6a54 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 1 Feb 2016 14:33:15 +0100 Subject: Typo in docs Spelling mistakes fixed, * identiy > identity * suprising > surprising Reviewers: austin, bgamari Reviewed By: bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1871 --- docs/backpack/algorithm.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/backpack') diff --git a/docs/backpack/algorithm.tex b/docs/backpack/algorithm.tex index c98781c6ad..1c5adbd91f 100644 --- a/docs/backpack/algorithm.tex +++ b/docs/backpack/algorithm.tex @@ -198,7 +198,7 @@ in a Cabal package, including the name and version of the containing package, the transitive dependencies of the component, and even the build information for the component. This ID is opaque to GHC and selected by Cabal (although GHC may take a component ID and suffix it with a unit name to -derive a new component ID.) Component IDs identiy entries in the +derive a new component ID.) Component IDs identity entries in the \textbf{component database}, which contains the results of typechecking a component, but no actual object code. However, it does contain the elaborated source, so that it can be built into actual code when @@ -1152,7 +1152,7 @@ provide a record selector. This capability seems quite attractive, although in practice record selectors rarely seem to be abstracted this way: one reason is that \verb|M.foo| still \emph{is} a record selector, and can be used to modify a record. (Many library authors find this -suprising!) +surprising!) Nor does this seem to be an insurmountable instance of the avoidance problem: -- cgit v1.2.1