Verified Commit 17a00dbd authored by Camil Staps's avatar Camil Staps 🚀

Export PrelinkedInterpretationEnvironment so that it can instantiate TC

parent a99e573f
Pipeline #29213 passed with stages
in 12 minutes and 13 seconds
......@@ -23,6 +23,7 @@ definition module ABC.Interpreter
*/
from StdMaybe import :: Maybe
from symbols_in_program import :: Symbol
/**
* This type describes settings used by the interpreter to deserialize
......@@ -141,7 +142,10 @@ graph_from_file :: !*File -> *(!Maybe *SerializedGraph, !*File)
* The environment can be initialized with {{`prepare_prelinked_interpretation`}}
* and used with {{`serialize_for_prelinked_interpretation`}}.
*/
:: PrelinkedInterpretationEnvironment
:: PrelinkedInterpretationEnvironment =
{ pie_symbols :: !{#Symbol}
, pie_code_start :: !Int
}
/**
* See {{`PrelinkedInterpretationEnvironment`}} for documentation.
......
......@@ -415,11 +415,6 @@ where
'\0' -> ptr
_ -> findNull (ptr+1)
:: PrelinkedInterpretationEnvironment =
{ pie_symbols :: !{#Symbol}
, pie_code_start :: !Int
}
prepare_prelinked_interpretation :: !String !*World -> *(!Maybe PrelinkedInterpretationEnvironment, !*World)
prepare_prelinked_interpretation bcfile w
# (bytecode,w) = readFile bcfile w
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment