lang_transcompiler.hs

-- How do I force evaluation when working with monadic values? :(

type HeapPtr = Integer
type VMVariable = String

__fn_0 :: [VMVariable] -> VMVariable
createFunction :: ([VMVariable] -> VMVariable) -> VMState VMVariable
setProp :: HeapPtr -> VMVariable -> VMVariable -> VMState ()

vmMain = do

-- works, forces evaluation... IRC says I have to do this >_<
    myFn <- (createFunction __fn_0);
    _ <- setProp __my_scope "A" myFn;

-- doesn't work, "A" function never appears on heap :(
    _ <- (setProp __my_scope "A") <$> (createFunction __fn_0);