Commit 3a826182 authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

typos in note

parent 69605562
%
% (c) The University of Glasgow 2006
% (c) The University of Glasgow 2006-2012
%
\begin{code}
......@@ -80,11 +80,11 @@ The special thing about types of kind Constraint is that
engine inserts an extra argument of type (Ord a) at every call site
to f.
Howver, once type inference is over, there is *no* distinction between
However, once type inference is over, there is *no* distinction between
Constraint and *. Indeed we can have coercions between the two. Consider
class C a where
op :: a -> a
For this single-method class we may genreate a newtype, which in turn
For this single-method class we may generate a newtype, which in turn
generates an axiom witnessing
Ord a ~ (a -> a)
so on the left we have Constraint, and on the right we have *.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment