futhark-run¶
SYNOPSIS¶
futhark run [program]
DESCRIPTION¶
Execute the given program by evaluating the main
function with
arguments read from standard input, and write the results on standard
output.
futhark-run
is very slow, and in practice only useful for testing,
teaching, and experimenting with the language. Certain special
debugging functions are available in futhark-run
:
trace 'a : a -> a
- Semantically identity, but prints the value on standard output.
break 'a : a -> a
- Semantically identity, but interrupts execution at the calling point, such that the environment can be inspected. Continue execution by entering an empty input line. Breakpoints are only respected when starting a program from the prompt, not when passing a program on the command line.
OPTIONS¶
-e NAME | Run the given entry point instead of main . |
-h | Print help text to standard output and exit. |
-V | Print version information on standard output and exit. |
-w, --no-warnings | |
Disable interpreter warnings. |