Shell Actions

• let identifier = phrase ;;
• identifier ;;
• %use "filename" ;;
• %turbot -[q] identifier ;;
• %run -[qc] identifier basename ;;
• %quit ;;

Notes

• let x = t ;; binds x to t in the environment.
• identifier requests the current type and shape of identifier .
• %use "prelude.fsh" ;; loads the declarations in prelude.fsh.
• %turbot x translates the phrase associated to x into Turbot and displays the result. The flag -q will produce the Turbot for a program in which output is suppresssed.
• %run x myfile translates the phrase associated to x into Turbot and then to C code which is stored in the file myfile.c and then executed. The quiet flag -q suppresses output. The compile-only flag -c suppresses execution.
• %quit terminates a FISh session.