CSPM-Interpreter-0.1.0.1: An interpreter for CSPMSource codeContentsIndex
CSPM.Interpreter.Test.CLI
PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Description

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.

Example:

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.

Synopsis
evalTest :: FilePath -> String -> IO Value
runFile :: FilePath -> String -> IO ()
Documentation
evalTest :: FilePath -> String -> IO ValueSource
Load a specification from a file and evaluate an expression in the context.
runFile :: FilePath -> String -> IO ()Source
Load a specification from a file and evaluate an expression in the context. Print the result to stdout and handle some exceptions.
Produced by Haddock version 2.6.1