Commit f86a3379 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Remove bogus comment on ForAllTy

parent 393928db
......@@ -276,8 +276,6 @@ data Type
| ForAllTy
{-# UNPACK #-} !TyVarBinder
Type -- ^ A Π type.
-- This includes arrow types, constructed with
-- @ForAllTy (Anon ...)@. See also Note [TyBinder].
| FunTy Type Type -- ^ t1 -> t2 Very common, so an important special case
......
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