A goal is a Zinc expression optionally followed by a where-clause that can be used for providing local definitions for the goal. All free variables of the goal must be declared either in the where clause or by using a let expression as goal. The bindings of the free variables are displayed together with the normal form of the goal after successful evaluation unless the goal is of type IO t .

At the prompt of the interactive environment, the following commands can be entered:

goal

Evaluate goal in the context of the current module.

:debug goal

Invoke the debugger for goal . It may take some time to recompile the source modules with debugging information.

:type goal

Print the type of goal instead of evaluating it.

:load module

Set the current evaluation context to module . This command will compile module and all modules it depends on. The module can be specified either by the name of its source file (ending in .lcurry or .curry ) or a plain module name. displays the name of the current module in its prompt.

:load

Reset the current evaluation context to the Curry prelude.

:reload

Repeat the last load command.

:freshen

Recompile the current module and all imported source files.

:clean

Remove all compiled files for the current module and all imported source files.

:edit file

Invoke the editor for file . The default editor is /usr/bin/vi , but this can be changed by setting one of the environment variables VISUAL and EDITOR to your preferred editor before starting .

:edit

Edit the source file of the current module.

:set option No ...

Use option Ns No s when compiling modules.

:set

Display the current set of compiler options.

:unset

Reset all compiler options.

:cd dir

Change the current directory to dir .

:cd

Print the current directory.

:! command

Execute the shell command command .

:version

Display the compiler's version.

:help

Show the list of supported commands.

:quit

Quit .