Commit db8bbd23 authored by qrczak's avatar qrczak
Browse files

[project @ 2003-02-12 17:48:45 by qrczak]

Another typo.
parent 2cc6cfca
......@@ -106,7 +106,7 @@ After desugaring into Core (-ddump-ds), the definition of <tt>f</tt> looks like
<pre>
f x = case x of
Nil{d} -> Nil{v}
MkT{d} a b r -> let { p = (a,b); q = I#r } in
MkT{d} a b r -> let { p = (a,b); q = I# r } in
$WMkT p (q+1)
</pre>
Notice the way that pattern matching has been desugared to take account of the fact
......
Markdown is supported
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