[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