roc/src

Roc Compiler (Zig Implementation)

Navigation

Core compiler directories:

• base/ - Core data structures and utilities shared across the compiler
• check/ - Main compilation pipeline (parsing, canonicalization, type checking)
• types/ - Type system definitions and utilities
• builtins/ - Built-in types, functions, and operations
• reporting/ - Error reporting and diagnostic formatting
• collections/ - Efficient data structures used throughout the compiler
• cache/ - Compilation caching system for faster incremental builds
• coordinate/ - Cross-module compilation coordination and dependency management
• eval/ - Runtime evaluation and interpretation system
• fs/ - Filesystem operations and file I/O utilities
• layout/ - Memory layout computation and management for code generation
• serialization/ - Serialization utilities for compiler data structures
• snapshots/ - Snapshot tests validating compiler behavior across all stages

Status

This table provides a summary of progress for the zig compiler re-write and should be updated with the PR that includes new features.

	Str & Num	Functions	Modules	Collections	Records & Tuples	Recursive Types	Static Dispatch
Parse	🔋	🔋	🪫	🪫	🔋	🪫	🚧
Canonicalize	🪫	🪫	🪫	🪫	🪫	🪫	🚧
Resolve Imports	🚧	🚧	🪫	🚧	🚧	🚧	🚧
Check Types	🪫	🚧	🚧	🚧	🚧	🚧
Interpreter
Specialize Types
Lift Functions
Solve Functions
Specialize Functions
Reference Counting
Lower IR
Gen LLVM

• N/A Not applicable
• 🚧 Work Started
• 🪫 Tests Passing
• 🔋 Polished

Fast Feedback Loop

The roc zig compiler can have a very fast feedback loop. We support zigs incremental compilation and watch mode. By avoiding generating final executables, we can build and typecheck much much faster.

Try it with zig build -Dno-bin -fincremental --watch

Expanding to ZLS

This fast config can also be used with zls. Simply follow these steps:

1. run zls --version and make sure it is 0.15.0 (this is still used for zig 0.15.1).
2. run zls env and grab the config_file path.
3. Edit the config file to include

{
  "enable_build_on_save": true,
  "build_on_save_args": ["-Dno-bin", "-fincremental"]
}

4. Advised, also changing the cache dir, I use --cache-dir .zig-cache/zls. Otherwise, zig commands run manually can lead to the lsp breaking and requiring a restart.
5. Optionally, add -Dfuzz above as well to get type checking of fuzz scripts as well.
6. Note, I had to fully delete my .zig-cache to get zls to start. Make sure to check the logs if you aren't getting type failures.
7. Enjoy better lsp results.

Simply testing feedback loop

Sadly, this is not nearly as fast due to building binaries. One day, we will get dev zig backends, and it should be fast.

Try it with zig build test -fincremental --watch

Overview