Skip to content

Latest commit

 

History

History
71 lines (54 loc) · 3.81 KB

Manual.md

File metadata and controls

71 lines (54 loc) · 3.81 KB
Raw

The Compiler

The Carp language is very tightly integrated with the REPL, everything you want to do to your program can be controlled from here.

To explore the commands available, enter (help) and press enter.

To load code, use (load <filename>), this will add the source file to the current 'project'. A project is a light weight concept in the repl that ties together source files and compiler settings much like in an IDE like Eclipse or Visual Studio.

To build your current project, call (build). This will emit an executable or dynamic library depending on if you have defined a main-function or not. Everything emitted by the compiler will be saved in a directory named out by default. This, and other settings regarding the project can be changed by various commands. To see a list of available commands, call (help project).

There are a bunch of handy shortcuts for doing common things at the REPL:

:r   Reload all the files of the project
:b   Build the project
:x   Run the executable (if it exists)
:c   Look at the emitted C code
:e   Display the environment with all the function bindings and their types
:p   Show project information and settings
:h   Show the help screen
:q   Quit the repl

Getting types from bindings

(type <binding>)

Listing bindings in a module

(info <module name>)

Configuring a project

The current session in the repl is called a "project" and can be configured using the (Project.config <setting> <value>) command. The following settings can be configured with this command:

  • "cflag" - Add a flag to the compiler.

  • "libflag" - Add a library flag to the compiler.

  • "compiler" - Set what compiler should be run with the 'build' command.

  • "title" - Set the title of the current project, will affect the name of the binary produced.

  • "prompt" - Set the prompt in the repl.

  • "search-path" - Add a path where the Carp compiler will look for '*.carp' files.

  • "echo-c" - When a form is defined using 'def' or 'defn' its C code will be printed.

  • "echo-compiler-cmd" - When building the project the command for running the C compiler will be printed.

  • "print-ast" - The 'info' command will print the AST for a binding.

For example, to set the title of your project:

(Project.config "title" "Fishy")

Compiler flags

When invoking the compiler from the command line you can supply the following flags to configure the behaviour:

  • -b Build the code, then quit the compiler.
  • -x Build and run the code (make sure it has a main function defined), then quit the compiler.
  • --no-core Run the compiler without loading any of the core libraries.
  • --log-memory The executable will log all calls to malloc and free.
  • --optimize Removes safety checks (like array bounds access, etc.) and runs the C-compiler with the -O3 flag.
  • --check Run the compiler without emitting any binary, just report all errors found (in a machine readable way).

Inspecting the C code generated by an expression

(c '(+ 2 3))