This is mainly useful for testing the functional sub language. This module does not allow tracing of processes (tracing is implemented in an other package).
runFile loads a CSPM-specification from a file and evaluates an expression in
the context of that specification.
runFile fib.csp fib(10)
where the file fib.csp contains: fib(x)= if x <2 then 1 else fib(x-1)+fib(x-2)
runFile writes to
stdout and handles some exceptions.
Load a specification from a file and evaluate an expression in the context.
Print the result to
stdout and handle some exceptions.
verbose output ?
|-> Maybe FilePath|
optional specification to load into context
a CSPM expression
|-> IO (Value, Env)|
Evaluate an expression, optionall load a context from a file