#16287: :kind accepts bogus type -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):
Perhaps we should just use this logic in check_arg_type as well?
Yes, that looks plausible. Moreover, `check_arg_type` is called from `check_syn_tc_app`, so maybe we can ''only'' do it in `check_arg_type`? (But there is one patch from `check_syn_tc_app` direct to `check_type`, bypassing `check_arg_type` for reasons that are not clear to me. If it could go to `check_arg_type` we'd be golden. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16287#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler