[Haskell-cafe] Re: [darcs-conflicts] how to nicely implement phantom type coersion?

Taral taralx at gmail.com
Thu Dec 8 12:31:19 EST 2005

On 12/8/05, David Roundy <droundy at abridgegame.org> wrote:
> So is there some other approach that I can use for easily coercing phantom
> types based on runtime checks? Any suggestions?

None here. Since H-M uses type unification to do type inference, you
can't auto-create a program based on the inferred types around it.

Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
    -- Edsger Dijkstra

More information about the Haskell-Cafe mailing list