[GHC] #3699: Wildcards in type functions
GHC
ghc-devs at haskell.org
Mon Mar 30 09:56:25 UTC 2015
#3699: Wildcards in type functions
-------------------------------------+-------------------------------------
Reporter: | Owner:
MartijnVanSteenbergen | Status: new
Type: feature request | Milestone: 7.12.1
Priority: low | Version: 6.10.4
Component: Compiler (Type | Keywords: newcomer
checker) | Architecture:
Resolution: | Unknown/Multiple
Operating System: Unknown/Multiple | Test Case:
Type of failure: None/Unknown | Blocking:
Blocked By: | Differential Revisions:
Related Tickets: |
-------------------------------------+-------------------------------------
Comment (by dalaing):
How would we resolve things like
{{{#!hs
type instance Testing (f :>: _) = MyType f
type instance Testing (_ :>: g) = MyType g
}}}
and other such collisions?
I'm pretty new to GHC - is there an existing resolution order from
elsewhere that could be borrowed for this?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list