Commit 99e9c36b authored by dreixel's avatar dreixel
Browse files

Remove comment.

parent d9b11181
......@@ -135,11 +135,7 @@ tc_mkRepTyCon tycon metaDts =
; let -- `tyvars` = [a,b]
tyvars = tyConTyVars tycon
-- rep0Ty has kind `kind of D` -> *
-- rep_kind = tyConKind tycon `mkArrowKind` liftedTypeKind
-- SLPJ The above type looks quite wrong to me!
-- The kind sig in the comment for rep0Ty looks right
--
-- rep0Ty has kind * -> *
rep_kind = liftedTypeKind `mkArrowKind` liftedTypeKind
-- `appT` = D a b
......
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