#10719: Malformed data type quotation accepted -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by heisenbug): Here is the rest of the diagnosis: {{{ compiler/deSugar/DsMeta.hs:626: | Just (_, tys) <- hsTyGetAppHead_maybe res_ty }}} Name if the constructor (or whatever) is ignored here. We should know whether it is a constructor/variable and and check against the GADT name (when constructor) otherwise issue an extra equality constraint. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10719#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler