haskell - Examples of monadic effects inside a rewrite function in Hoopl? -


the type of (forward) rewriting functions in hoopl given mkfrewrite function:

mkfrewrite :: (fuelmonad m) =>     (forall e x.       n e x       -> f       -> m (maybe (hoopl-3.8.6.1:compiler.hoopl.dataflow.graph n e x)))    -> fwdrewrite m n f

the m type implies can use monadic effects while rewriting. paper "hoopl: modular, reusable library dataflow analysis , transformation" says same in section 4.3, "the rewrite function , client's monad."

can give me example of rewrite function has non-hoopl monadic effects embedded inside it? example, rewriter uses state monad or io.

this should pretty simple, chase types.

you want value of fwdrewrite m n f custom value of m, can pass following function:

analyzeandrewritefwd ::   forall m n f e x entries.     (checkpointmonad m,      nonlocal n,      labelsptr entries) =>   fwdpass m n f ->   maybec e entries ->   graph n e x ->   fact e f ->   m (graph n e x, factbase f, maybeo x f)

so constraint on m have is checkpointmonad; when run pass you'll final monadic value can run yourself.

in fact, ghc's hoopl passes use m simpluniqmonad, can fresh labels while we're operating on graph.

{-# language typesynonyminstances #-} {-# language typefamilies #-}  import compiler.hoopl import control.monad.state  type statefuel s = checkingfuelmonad (state s)  instance checkpointmonad (state s)     type checkpoint (state s) = s     checkpoint =     restart = put

Comments

Post a Comment

Popular posts from this blog

c# - SharpSVN - How to get the previous revision? -

i trying find efficient way previous revision of file text comparison using sharpsvn. using (svnclient c = new svnclient()) { c.authentication.defaultcredentials = new networkcredential( configurationmanager.appsettings.get("svnserviceusername") , configurationmanager.appsettings.get("svnservicepassword") , configurationmanager.appsettings.get("svnservicedomain") ); c.authentication.sslservertrusthandlers += new eventhandler<svnsslservertrusteventargs>(authentication_sslservertrusthandlers); collection<svnfileversioneventargs> fileversioncollection = new collection<svnfileversioneventargs>(); svnrevisionrange range = new svnrevisionrange(0, this.hooks.revision); svnfileversionsargs args = new svnfileversionsargs(); args.retrieveproperties = true; args.range = range; foreach (svnchangeitem item in log.changedpaths) { string path = this.repositorypath + it...
Read more

c++ - Is it possible to compile a VST on linux? -

for class project i'm attempting write vst plugin backed cuda. current cuda workflow on linux box, i'd prefer compile , link there. according wikipedia , should possible (i couldn't find steinberg documentation relevant linux) can't find makefile or instructions on how build if aren't using xcode or visual studio. i'm vst 3 sdk doesn't support linux. when try compile plugin under linux, error: ./base/source/fatomic.cpp:39:30: fatal error: libkern/osatomic.h: no such file or directory this issue caused following code in "vst3 sdk/base/source/fatomic.cpp" #if mac #include <libkern/osatomic.h> #if mac_os_x_version_min_required > mac_os_x_version_10_4 #define native_atomic_type (volatile int32_t*) #else #define native_atomic_type (int32_t*) #endif #elif windows #include <windows.h> #endif but hope compiling under linux work vst sdk 2.4. reading. jvstwrapper seems run on lin...
Read more

url - Querystring manipulation of email Address in PHP -

i using third party application (email2http) send me emailid, body , message. unable retrieve email id due name appended on , enclosed < , >. here querystring getting. test.php?from=ajay+reddy &subject=cx&body=somebody when print variable in php returns name , not email id. $from = $_get['from']; echo $from; //output ajay reddy please suggest me how can emailid also. i dont want use post method due testing , debugging. it's working fine. forgot use htmlentities() in debugging.
Read more