Anton (Jul 08 2026 at 14:15): Anton (Jul 08 2026 at 14:15):This used to pass roc check in the past, do we no longer want to allow this? I think the original intention was that it allows for easy drafting of a program by starting with the type annotations.
**❯** ./zig-out/bin/roc check ~/gitrepos/unicode/package/Scalar.roc
│ **DECLARATION HAS NO VALUE** ├─ This declaration has a type annotation but no implementation.
│ starts_with_scalar : Str, U32 -> Bool │
/Users/username/gitrepos/unicode/package/Scalar.roc:84:5 ┘
Add a value body here, or put hosted functions in a platform type module so they are published through the host boundary.
ah I wanted a warning so you have a checklist of ones that need implementing
Richard Feldman (Jul 08 2026 at 15:24):not blocking though
Anton (Jul 08 2026 at 15:47):I'll make an issue to turn it into a warning
Anton (Jul 08 2026 at 15:50):Last updated: Jul 23 2026 at 13:15 UTC