#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):
I think you can. getEvTerm calls ctEvTerm which always returns either an EvId (which we can do in Core) or an EvCoercion (ditto). Aside from coercions (alas) all evidence is represented just by an Id.
Ah, is that an invariant? Could we encode that in the types somehow? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14691#comment:25 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler