A fast, friendly, functional language. https://roc-lang.org
Find a file
Richard Feldman 3bdab22932
Fix mono type annotations to use pattern types instead of transformed expression types
When closures are transformed to tags, the transformed expressions don't
have valid type variables in the type store. This caused incorrect types
like "Str", "[]", "[Error]" to appear in the MONO section.

The fix uses the pattern's type variable (set during type checking before
transformation) instead of looking at the transformed expression's type.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2025-12-22 22:36:31 -05:00
.cargo
.devcontainer
.github retry on timeout 2025-12-16 18:28:44 +01:00
.reuse
ci Implement bitwise shifts (#8469) 2025-12-17 19:32:38 +01:00
crates don't ask to report issue for old compiler (#8683) 2025-12-15 17:01:43 +01:00
design
devtools
docker
examples
langref Update outline to split out statements.md 2025-12-21 17:40:08 -05:00
nix
src Fix mono type annotations to use pattern types instead of transformed expression types 2025-12-22 22:36:31 -05:00
test Fix mono type annotations to use pattern types instead of transformed expression types 2025-12-22 22:36:31 -05:00
.gitattributes
.gitignore Fix CI 2025-12-22 13:28:06 -05:00
.llvmenv
.rules
AGENT.md
authors
build.zig Workaround for Zig ar archive padding bug 2025-12-22 16:14:54 -05:00
build.zig.zon
BUILDING_FROM_SOURCE.md
Cargo.lock
Cargo.toml
code_of_conduct.md
CONTRIBUTING.md
default.nix
flake.lock
flake.nix
Glossary.md
legal_details
LICENSE
mlc_config.json
README.md
rust-toolchain.toml
shell.nix
typos.toml
version.txt

Work in progress!

Roc is not ready for a 0.1 release yet, but we do have:

If you'd like to contribute, get started here. Don't hesitate to ask for help on our group chat, we're friendly!

Sponsors

You can 💜 sponsor 💜 Roc on:

We are very grateful for our corporate sponsors Lambda Class, ohne-makler, and Decem:

Lambda Class logo      ohne-makler logo      Decem logo

If you would like your company to become a corporate sponsor of Roc's development, please DM Richard Feldman on Zulip!

We'd also like to express our gratitude to our generous individual sponsors! A special thanks to those sponsoring $25/month or more:

Thank you all so much for helping Roc progress!