Intercept

I didn’t really have a plan, but I went ahead and started making this compiler from scratch in C anyways. Now we have a functioning compiler with a brand new language named Intercept.

Usage

Running the compiler executable with no arguments will display a usage message that contains compiler flags and options as well as command layout.

For writing in Intercept in Emacs or Vim, there are helpful plugins in the editor subdirectory. For syntax highlighting in any editor that supports tree-sitter, there is a tree-sitter parser that can be found here. It is highly recommended to use tree-sitter if you can, as it provides much better syntax highlighting.

Building

Dependencies:

CMake >= 3.14
Any C Compiler (We like GCC)

NOTE: If on Windows and using Visual Studio, see this document instead.

First, generate a build tree using CMake.

cmake -B bld

Finally, build an executable from the build tree.

cmake --build bld

To build generated x86_64 ASM

GNU Binutils:

as code.S -o code.o
ld code.o -o code

GNU Compiler Collection

gcc code.S -o code

LLVM/Clang

clang code.S -o code --target=x86_64

To use external calls, link with appropriate libraries!

Language Reference

Intercept is statically typed. Variables must be declared and type annotated before use.

Whitespace is ignored and there are no required expression delimiters. That’s right: no semi-colons and no forced indent!

Functions are first-class citizens.

A program in Intercept comes in the form of a file. The file may contain a series of expressions that will be executed in order, from top to bottom. There is no main function or other entry point; control flow starts at the very top of the file and makes it’s way to the bottom of the file.

Let’s take a look at a basic program:

fact : integer (n : integer) {
  if n < 2 {
    1
  } else {
    n * fact(n - 1)
  }
}

fact(5)

This program will return 120 as a status code. The result of the last expression in the file is the return value. The same holds true for function bodies, and if/else bodies.

Variables in a local scope shadow variables in a parent scope, and may share the same symbolic name.

License

skycompeu/LensorCompilerCollection

ErrorLooks like something went wrong!

About

Resources

License

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Languages

Error
Looks like something went wrong!

Packages