#14691: Replace EvTerm with CoreExpr -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.3 checker) | 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 nomeata):
Given this, better to defer to the desugarer I think, to postpone any evidence-solving that requires bindings that might be generated in this very module.
So should I try this: {{{ data EvTerm = EvExpr CoreExpr | EvTypeable EvTypeable }}} This is differs from the state before, because now the `CoreExpr` in an `EvExpr` can no longer refer to an `EvTypeable`… I cannot tell yet if that would happen or if it is a problem. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14691#comment:21 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler