#14993: QuantifiedConstraints and principal types -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.5 Resolution: fixed | Keywords: | QuantifiedConstraints, wipT2893 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 AntC): Replying to [comment:7 simonpj]:
a separate "constraint solver" including implication constraints.
Thanks Simon. JFP06 ''Understanding FunDeps via Constraint Handling Rules'' is where the theoretical groundwork was laid, but there was no corresponding development at that time, AFAICT. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14993#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler