There is a also a problem with polymorphic actions of functions. The GHC API is typesafe only when returning elements of the Typeable class. Else you can do an unsafeCoerce, but I assume that hint uses Typeable, with a wrapper class to ensure monomorphism.
But if your "script" action returns a monomorphic type, you can use the GHC API directly instead and unsafeCoerce. El 07/05/2010, a las 20:12, Brandon S. Allbery KF8NH escribió: > On May 7, 2010, at 19:51 , Limestraël wrote: >> then interpret "script" (as :: ScriptFun) >> >> There is just the line I put in bold that bothers me. Can't we get the >> action "script" more easily than by re-interpreting some code? > > > Make up your mind: you don't want to have to compile the script, but you > don't want to have to interpret the script. What exactly is supposed to be > left? > > -- > brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com > system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu > electrical and computer engineering, carnegie mellon university KF8NH > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
