[commit: ghc] wip/ttypeable: Kill dead TODO (4538c79)

git at git.haskell.org git at git.haskell.org
Sun Jan 29 20:22:14 UTC 2017


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/4538c794da02856e8567a3a6853115adf0ab9d90/ghc

>---------------------------------------------------------------

commit 4538c794da02856e8567a3a6853115adf0ab9d90
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Jan 28 21:53:09 2017 -0500

    Kill dead TODO


>---------------------------------------------------------------

4538c794da02856e8567a3a6853115adf0ab9d90
 compiler/typecheck/TcInteract.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs
index 68041e2..9dfb454 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -2189,8 +2189,6 @@ doPrimRep rep_name ty
 -- | Representation for type constructor applied to some kinds. 'onlyNamedBndrsApplied'
 -- has ensured that this application results in a type of monomorphic kind (e.g. all
 -- kind variables have been instantiated).
---
--- TODO: Do we want to encode the applied kinds in the representation?
 doTyConApp :: Class -> Type -> TyCon -> [Kind] -> TcS LookupInstResult
 doTyConApp clas ty tc kind_args
   = return $ GenInst (map (mk_typeable_pred clas) kind_args)



More information about the ghc-commits mailing list