-haskell-users
Subject: SpecConstr and GADTs
I suspect I've found a situation where, to a first approximation, I'd like
SpecConstr to run more than once.
I'm specializing on GADT constructors that contain coercions, so the
constructor-specialized functions have RHSs with refined types. In my
SpecConstr
and GADTs? I'll be able to provide concrete details about my situation in a
few weeks, if anyone is interested.
Thanks for your time.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo
