#5886: TH: Type family instances inside InstanceD are rejected
---------------------------------+------------------------------------------
Reporter: mikhail.vorozhtsov | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Template Haskell | Version: 7.5
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: th/T5886 | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: patch => closed
* difficulty: => Unknown
* resolution: => fixed
* testcase: => th/T5886
Comment:
Thanks for the patch. Actually the data types have changed a little, so I
re-dit your (basically correct) patch. Fixed in this commit:
{{{
commit ef2491a378bbe0fcaea7aa2ad69bc82a838f6a59
Author: Simon Peyton Jones <[email protected]>
Date: Wed Mar 14 17:28:32 2012 +0000
Add fixity declarations to Template Haskell (Trac #1541)
There is an accompanying patch to the template-haskell library
compiler/deSugar/DsMeta.hs | 75
++++++++++++++++++++++++++++++++++++-------
compiler/hsSyn/Convert.lhs | 30 ++++++++++++-----
2 files changed, 83 insertions(+), 22 deletions(-)
}}}
Thanks! Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5886#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
