Commit bb2f56a7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add comment

parent 69605562
......@@ -447,6 +447,7 @@ uf will get unified *once more* to (F Int).
\begin{code}
newtype Untouchables = Untouchables Int
-- See Note [Untouchable type variables] for what this Int is
noUntouchables :: Untouchables
noUntouchables = Untouchables 0 -- 0 = outermost level
......
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