On Thu, Sep 06, 2007 at 06:49:21AM -0400, [EMAIL PROTECTED] wrote:
> For completeness, here's the final solution, courtesy of int-e (whose
> real name I don't know; sorry), which is much more elegant than I

Bertram Felgenhauer

> bindString :: (forall s. StringAsType s => Mark s a) -> String -> a
> bindString = unsafeCoerce#

Oooh!  So evil, I love it.

Stefan

Attachment: signature.asc
Description: Digital signature

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to