Jared Cone (Apr 13 2022 at 04:45): Jared Cone (Apr 13 2022 at 04:45):what's the difference between compiler/builtins/docs/Num.roc and compiler/builtins/roc/Num.roc?
Folkert de Vries (Apr 13 2022 at 14:00):docs is for docs, roc is for this branch https://github.com/rtfeldman/roc/pull/2613 which will make it possible to write most builtins in roc
Richard Feldman (Apr 13 2022 at 14:16):I'd like to unify those in the future
Kevin Gillette (Apr 13 2022 at 15:13):Re unification: does this necessary separation currently apply to user Roc modules as well, or just the builtins?
Ayaz Hafiz (Apr 13 2022 at 15:26):Just the builtins
Richard Feldman (Apr 13 2022 at 15:52):yeah - I think we just need to move the doc comments over to builtins/roc and then have the documentation generation code look in that directory
Richard Feldman (Apr 13 2022 at 15:53):in theory that's all it would take :big_smile:
Folkert de Vries (Apr 13 2022 at 15:53):yes though please hold off on that until the branch is merged
Last updated: Jul 06 2025 at 12:14 UTC