Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
104 commits
Select commit Hold shift + click to select a range
54424c9
Enhance the alloc and root gates by anchoring rejections at the offen…
orlowdev Aug 31, 2026
5bcb4cc
Enhance codegen by inlining scalar leaf functions before emit
orlowdev Aug 31, 2026
97a6cd2
Enhance emitted IL by merging value branches through shared temporaries
orlowdev Aug 31, 2026
d6ff370
Enhance emit by propagating a local alias's element type into its bin…
orlowdev Aug 31, 2026
71b6a5c
Enhance the inliner by binding effectful arguments through value-bloc…
orlowdev Aug 31, 2026
3076bd2
Enhance the inliner by folding literal value consts at their references
orlowdev Aug 31, 2026
dee2bfb
Enhance cf with a --debug flag emitting real symbol names and line di…
orlowdev Aug 31, 2026
2283136
Enhance std::comptime with build facts folding debug and instrument f…
orlowdev Aug 31, 2026
a07852c
Enhance the arena geometries with instrumented accounting variants an…
orlowdev Aug 31, 2026
95c62da
Nurture the instrument mode by injecting observer calls instead of ge…
orlowdev Sep 1, 2026
b696e09
Enhance json parsing with zero-copy views for clean strings and lexemes
orlowdev Sep 1, 2026
38ca530
Enhance the interp append helper by bumping within capacity without a…
orlowdev Sep 1, 2026
30efea3
Nurture the seeds for the interp append fast path
orlowdev Sep 1, 2026
950f306
Enhance emit by promoting uncaptured scalar locals to reassigned temps
orlowdev Sep 1, 2026
8615321
Nurture the seeds for the locals promotion
orlowdev Sep 1, 2026
9031fb3
Enhance the floor appends with word-wise bulk copies and interned lit…
orlowdev Sep 1, 2026
39e0a8a
Nurture the seeds for the bulk append floor
orlowdev Sep 1, 2026
0398a77
Enhance emit by inlining the bump-family scope exit at bang returns
orlowdev Sep 1, 2026
be08d5e
Nurture the seeds for the inlined scope exit
orlowdev Sep 1, 2026
7b6bf38
Enhance json scanning with a fused ws peek and local number cursors
orlowdev Sep 1, 2026
fbaedd2
Enhance the scope exit splice by transcribing the hook body
orlowdev Sep 1, 2026
7b00759
Nurture the seeds for the transcribed scope exit
orlowdev Sep 1, 2026
21ce593
Enhance the hook splice by unwrapping absent and identity hooks
orlowdev Sep 1, 2026
7f47017
Nurture the seeds for the identity hook unwrap
orlowdev Sep 1, 2026
26c1eed
Enhance the specs with the context provision design
orlowdev Sep 1, 2026
4d5e79b
Enhance the generic inference by reading function-typed arguments
orlowdev Sep 1, 2026
a9ffae2
Enhance the inference with derived returns and bare lambda parameters
orlowdev Sep 1, 2026
f478b1a
Enhance the return inference by grafting material fills into a seeded…
orlowdev Sep 1, 2026
bfa5676
Enhance the inference by deriving closure array returns and template …
orlowdev Sep 1, 2026
0b325d7
Enhance the LSP hover with deduced local types
orlowdev Sep 1, 2026
bb76337
Enhance the LSP hover with binding prefixes and recast function signa…
orlowdev Sep 1, 2026
d9f0166
Enhance the LSP hover by reducing type declarations to their headers
orlowdev Sep 1, 2026
fabe3a4
Enhance the LSP hover by typing record field reads
orlowdev Sep 1, 2026
dc29992
Enhance the LSP hover by answering the builtin len and bytes pseudo-f…
orlowdev Sep 1, 2026
d597c54
Enhance the LSP hover with builtin type documentation
orlowdev Sep 1, 2026
3e63658
Nurture the LSP hover by rebasing member declarations over builtin names
orlowdev Sep 1, 2026
9e1aebb
Enhance the undefined-function error by demangling the callee to its …
orlowdev Sep 1, 2026
96bee8e
Enhance the formatter by dedenting a bare if-chain's else to its if o…
orlowdev Sep 1, 2026
935361b
Enhance the compiler with a std::mem::ctx surface and its read-only d…
orlowdev Sep 1, 2026
77e4ee7
Enhance the context arc with the hidden-pointer ABI that runs read-on…
orlowdev Sep 1, 2026
cc7e4aa
Nurture the context arc by checking let-provide mutation in place
orlowdev Sep 1, 2026
ff6985a
Nurture the context arc by ratifying alias placement and hardening th…
orlowdev Sep 1, 2026
622741b
Enhance cf with a test route running case! and todo! assertions
orlowdev Sep 2, 2026
19bc904
Enhance the parser with a nullary function type over an empty argumen…
orlowdev Sep 2, 2026
81cbe26
Nurture std::sys by condensing the platform dispatch
orlowdev Sep 2, 2026
19f63c6
Nurture the context arc by respelling provide placement as manifold s…
orlowdev Sep 2, 2026
721f453
Enhance the test route by reporting verdicts from the consuming teardown
orlowdev Sep 2, 2026
5faabdd
Nurture the specs by ratifying demand-carrying fn values at specializ…
orlowdev Sep 2, 2026
a378ea8
Enhance the context arc with demand-carrying fn values at specialized…
orlowdev Sep 2, 2026
1a64203
Enhance the test route by rewriting case! and todo! as ordinary std f…
orlowdev Sep 2, 2026
c230e77
Enhance the test route with module-prefixed reports over directory wa…
orlowdev Sep 2, 2026
52366f4
Enhance std::io::fs with a recursive walk_dir shared by the test rout…
orlowdev Sep 2, 2026
86b2e66
Nurture the lsp arc by vendoring the scripted driver into the tree
orlowdev Sep 2, 2026
3f4e4cb
Enhance the format and test routes by walking directory targets
orlowdev Sep 2, 2026
c916e96
Enhance the test route by merging a directory into one imported-entry…
orlowdev Sep 2, 2026
13064dd
Enhance std::data::str with unit cases scoped to the requested test t…
orlowdev Sep 2, 2026
4237f05
Enhance the std data modules with unit cases over arrays and either a…
orlowdev Sep 2, 2026
d564238
Enhance the std json and math modules with unit cases
orlowdev Sep 2, 2026
a8b4f2e
Enhance the formatter with a trailing-lambda hug over paired paren tr…
orlowdev Sep 2, 2026
59ba08e
Format boot/src + lib to the current formatter output
orlowdev Sep 2, 2026
3ddf254
Enhance the format and test routes by accepting many targets
orlowdev Sep 2, 2026
cfe2586
Enhance the formatter with canonical intra-line token spacing
orlowdev Sep 2, 2026
9aa6556
Enhance the formatter with canonical spacing around operators
orlowdev Sep 2, 2026
f00e46a
Enhance the formatter with pipe and member chain breaks over long lines
orlowdev Sep 2, 2026
dcf9d68
Enhance the CLI with a polling --watch loop for test and compile
orlowdev Sep 2, 2026
a51ab65
Enhance the LSP with textDocument formatting over the format pipeline
orlowdev Sep 2, 2026
22171bd
Enhance the docs scanner with the embedded stdlib as the base corpus
orlowdev Sep 2, 2026
0e83cd4
Enhance value consts with data aggregates and UPPER_SNAKE_CASE naming
orlowdev Sep 2, 2026
0a5f1c6
Nurture the seeds by reseeding after the value-const front end
orlowdev Sep 2, 2026
8729b20
Enhance the tree with the UPPER_SNAKE_CASE convention for exported co…
orlowdev Sep 2, 2026
dc810ac
Enhance value consts by rejecting mutable stores of aggregates
orlowdev Sep 2, 2026
7629ae1
Nurture the seeds by reseeding after the const convention landed
orlowdev Sep 2, 2026
3edf5b4
Enhance the entry point by admitting a unit main that exits 0
orlowdev Sep 2, 2026
033a0be
Enhance return parsing by requiring the value to start on the same line
orlowdev Sep 2, 2026
32a896b
Nurture the entry point by restoring the mandatory exit code
orlowdev Sep 3, 2026
6321553
Enhance the editor tooling by reconciling the grammar with tests, con…
orlowdev Sep 3, 2026
3f8c4f5
Nurture the zed extension by pinning the reconciled grammar rev
orlowdev Sep 3, 2026
906e625
Enhance the module surface with a std barrel, a leaf-import rejection…
orlowdev Sep 3, 2026
02d014a
Nurture completion by answering nothing after a namespace dot
orlowdev Sep 3, 2026
441a1db
Enhance import completion by inserting members as destructures
orlowdev Sep 3, 2026
71c5551
Enhance the lsp by styling completion details as hovers and resolving…
orlowdev Sep 3, 2026
2ced4e5
Nurture hovers by typing value consts from their initializer head
orlowdev Sep 3, 2026
13c0cb6
Nurture the tree by reformatting three drifted compiler modules
orlowdev Sep 3, 2026
f65ec54
Enhance the for-loop by binding its unbraced body on the next line
orlowdev Sep 3, 2026
5f46151
Enhance the lsp by resolving and renaming generic type variables
orlowdev Sep 3, 2026
73c69c8
Enhance the emitter by lowering colorless self-tail-calls to loops
orlowdev Sep 3, 2026
a9772ff
Nurture the defer lowering by building literal returns in the arena
orlowdev Sep 3, 2026
7be9a07
Enhance the lowerings by stamping bare record literals with their pos…
orlowdev Sep 3, 2026
67e10a9
Nurture the defer lowering by firing defers on value-loop returns
orlowdev Sep 3, 2026
fd891e5
Enhance the emitter by looping bang self-tail-calls with per-iteratio…
orlowdev Sep 3, 2026
1732d74
Enhance the runtime by trapping stack overflow through cycle-cover pr…
orlowdev Sep 3, 2026
175a306
Enhance the runtime by trapping refuted bounds claims with guard-elid…
orlowdev Sep 3, 2026
a5dc1df
Enhance bounds elision by chaining guard conditions and reusing passe…
orlowdev Sep 3, 2026
31349f1
Enhance bounds elision with offset slack, field induction, and call-b…
orlowdev Sep 3, 2026
d6ce7fa
Enhance the runtime by replacing hosted stack probes with a guard-pag…
orlowdev Sep 3, 2026
024d6bd
Nurture the OOS trap by pinning the probe path with a flagged corpus …
orlowdev Sep 3, 2026
a49a291
Nurture the OOS flags by renaming the trap opt-out to no-oos-trap
orlowdev Sep 3, 2026
7c2e332
Enhance comparisons by making equality structural per the type-system…
orlowdev Sep 3, 2026
1073bc8
Nurture comparisons by rejecting the unit-equality tautology
orlowdev Sep 3, 2026
74ee195
Nurture the node-signature propagation by excluding locally-bound names
orlowdev Sep 5, 2026
7281556
Nurture the monomorph by canonicalizing the Uarch alias in instance keys
orlowdev Sep 5, 2026
bfdd20c
Enhance the monomorph by inferring type variables through generic app…
orlowdev Sep 5, 2026
4298442
Nurture the seeds by reseeding after the monomorph and node-signature…
orlowdev Sep 5, 2026
6e575af
Apply formatting
orlowdev Sep 7, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 13 additions & 0 deletions .zed/tasks.json
539,900 changes: 312,059 additions & 227,841 deletions boot/seed_linux/cf.amd64.qbe
542,330 changes: 313,274 additions & 229,056 deletions boot/seed_linux/cf.qbe
126 changes: 118 additions & 8 deletions boot/seed_linux/floor.amd64.s
122 changes: 114 additions & 8 deletions boot/seed_linux/floor.arm64.s
114 changes: 106 additions & 8 deletions boot/seed_linux/floor.riscv64.s
534,542 changes: 309,389 additions & 225,153 deletions boot/seed_mac/cf.qbe
117 changes: 107 additions & 10 deletions boot/seed_mac/floor.amd64.s
123 changes: 113 additions & 10 deletions boot/seed_mac/floor.arm64.s
689 changes: 676 additions & 13 deletions boot/src/cf.cf
148 changes: 135 additions & 13 deletions boot/src/cli.cf
4 changes: 2 additions & 2 deletions boot/src/docs.cf
18 changes: 9 additions & 9 deletions boot/src/docs/keys.cf
2 changes: 1 addition & 1 deletion boot/src/docs/render.cf
6 changes: 3 additions & 3 deletions boot/src/docs/search.cf
68 changes: 44 additions & 24 deletions boot/src/docscan.cf
851 changes: 692 additions & 159 deletions boot/src/fmt.cf
1,014 changes: 967 additions & 47 deletions boot/src/lsp.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1007_import_toplevel_const/consts.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1007_import_toplevel_const/main.cf
5 changes: 0 additions & 5 deletions boot/tests/corpus/1008_error_toplevel_const_aggregate.cf

This file was deleted.

7 changes: 7 additions & 0 deletions boot/tests/corpus/1008_toplevel_const_aggregate.cf
2 changes: 1 addition & 1 deletion boot/tests/corpus/1013_error_import_const_self/dep.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1013_error_import_const_self/main.cf
9 changes: 0 additions & 9 deletions boot/tests/corpus/1081_error_boxed_union_eq.cf

This file was deleted.

23 changes: 23 additions & 0 deletions boot/tests/corpus/1081_union_payload_eq.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1094_value_const.cf
2 changes: 1 addition & 1 deletion boot/tests/corpus/1267_comptime_if_darwin/impl_darwin.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1267_comptime_if_darwin/main.cf
2 changes: 1 addition & 1 deletion boot/tests/corpus/1268_comptime_if_else/impl_else.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1268_comptime_if_else/main.cf
2 changes: 1 addition & 1 deletion boot/tests/corpus/1269_comptime_if_nested/impl_darm.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1269_comptime_if_nested/main.cf
2 changes: 1 addition & 1 deletion boot/tests/corpus/1270_error_comptime_if_bad_variant/a.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1270_error_comptime_if_bad_variant/main.cf
2 changes: 1 addition & 1 deletion boot/tests/corpus/1387_comptime_pathsep/impl_darwin.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1387_comptime_pathsep/main.cf
2 changes: 1 addition & 1 deletion boot/tests/corpus/1389_import_as_alias/impl_darwin.cf
4 changes: 2 additions & 2 deletions boot/tests/corpus/1389_import_as_alias/main.cf
6 changes: 3 additions & 3 deletions boot/tests/corpus/1412_str_fuzzy.cf
6 changes: 3 additions & 3 deletions boot/tests/corpus/1416_str_predicates.cf
7 changes: 5 additions & 2 deletions boot/tests/corpus/1425_array_transforms.cf
6 changes: 3 additions & 3 deletions boot/tests/corpus/1426_array_queries.cf
6 changes: 3 additions & 3 deletions boot/tests/corpus/1451_noalloc_std_import_pruned.cf
32 changes: 32 additions & 0 deletions boot/tests/corpus/1460_inline_scalar_leaf.cf
10 changes: 10 additions & 0 deletions boot/tests/corpus/1461_inline_hof_value.cf
26 changes: 26 additions & 0 deletions boot/tests/corpus/1462_array_alias_typing.cf
23 changes: 23 additions & 0 deletions boot/tests/corpus/1463_inline_effectful_args.cf
20 changes: 20 additions & 0 deletions boot/tests/corpus/1464_value_const_fold.cf
17 changes: 17 additions & 0 deletions boot/tests/corpus/1465_build_facts_default.cf
25 changes: 25 additions & 0 deletions boot/tests/corpus/1466_mem_stats_default.cf
35 changes: 35 additions & 0 deletions boot/tests/corpus/1467_hof_tyarg_inference.cf
39 changes: 39 additions & 0 deletions boot/tests/corpus/1468_return_inference.cf
32 changes: 32 additions & 0 deletions boot/tests/corpus/1469_bare_lambda_params.cf
33 changes: 33 additions & 0 deletions boot/tests/corpus/1470_inferred_generic_returns.cf
32 changes: 32 additions & 0 deletions boot/tests/corpus/1471_closure_and_template_ret_inference.cf
18 changes: 18 additions & 0 deletions boot/tests/corpus/1472_ctx_undischarged_demand.cf
21 changes: 21 additions & 0 deletions boot/tests/corpus/1473_ctx_undeclared_demand.cf
14 changes: 14 additions & 0 deletions boot/tests/corpus/1474_ctx_redundant_uses.cf
25 changes: 25 additions & 0 deletions boot/tests/corpus/1475_ctx_ambiguous_provide.cf
18 changes: 18 additions & 0 deletions boot/tests/corpus/1476_ctx_fnvalue_demand.cf
14 changes: 14 additions & 0 deletions boot/tests/corpus/1477_ctx_consume_undeclared_type.cf
20 changes: 20 additions & 0 deletions boot/tests/corpus/1478_ctx_provide_consume.cf
22 changes: 22 additions & 0 deletions boot/tests/corpus/1479_ctx_thread_through.cf
22 changes: 22 additions & 0 deletions boot/tests/corpus/1480_ctx_spread_discharge.cf
25 changes: 25 additions & 0 deletions boot/tests/corpus/1481_ctx_multi_demand.cf
22 changes: 22 additions & 0 deletions boot/tests/corpus/1482_ctx_bang_consumer_geom.cf
24 changes: 24 additions & 0 deletions boot/tests/corpus/1483_ctx_let_provide_mutation.cf
22 changes: 22 additions & 0 deletions boot/tests/corpus/1484_ctx_deep_mutation.cf
20 changes: 20 additions & 0 deletions boot/tests/corpus/1485_ctx_const_provide_mutated.cf
22 changes: 22 additions & 0 deletions boot/tests/corpus/1486_ctx_repoint_rejected.cf
10 changes: 10 additions & 0 deletions boot/tests/corpus/1487_ctx_misplaced_let.cf
23 changes: 23 additions & 0 deletions boot/tests/corpus/1488_ctx_nested_repoint_rejected.cf
25 changes: 25 additions & 0 deletions boot/tests/corpus/1489_test_arena_basic.cf
45 changes: 45 additions & 0 deletions boot/tests/corpus/1490_test_arena_destroy.cf
26 changes: 26 additions & 0 deletions boot/tests/corpus/1491_test_equals_accumulate.cf
20 changes: 20 additions & 0 deletions boot/tests/corpus/1492_test_case_discarded.cf
19 changes: 19 additions & 0 deletions boot/tests/corpus/1493_nullary_fn_type.cf
31 changes: 31 additions & 0 deletions boot/tests/corpus/1494_ctx_fnval_direct.cf
32 changes: 32 additions & 0 deletions boot/tests/corpus/1495_ctx_fnval_case_shape.cf
45 changes: 45 additions & 0 deletions boot/tests/corpus/1496_ctx_fnval_alloc_body.cf
34 changes: 34 additions & 0 deletions boot/tests/corpus/1497_ctx_fnval_stored_rejected.cf
30 changes: 30 additions & 0 deletions boot/tests/corpus/1498_test_union_equals.cf
21 changes: 21 additions & 0 deletions boot/tests/corpus/1499_test_equals_recursive_rejected.cf
29 changes: 29 additions & 0 deletions boot/tests/corpus/1500_ctx_fnval_pesc_rejected.cf
29 changes: 29 additions & 0 deletions boot/tests/corpus/1501_upper_const_aggregate.cf
19 changes: 19 additions & 0 deletions boot/tests/corpus/1502_upper_const_geometry.cf
7 changes: 7 additions & 0 deletions boot/tests/corpus/1503_error_const_agg_trap.cf
4 changes: 4 additions & 0 deletions boot/tests/corpus/1504_import_upper_const/fdmod.cf
20 changes: 20 additions & 0 deletions boot/tests/corpus/1504_import_upper_const/main.cf
5 changes: 5 additions & 0 deletions boot/tests/corpus/1505_error_pub_const_case.cf
11 changes: 11 additions & 0 deletions boot/tests/corpus/1506_error_let_upper_const.cf
11 changes: 11 additions & 0 deletions boot/tests/corpus/1507_error_let_agg_spine.cf
12 changes: 12 additions & 0 deletions boot/tests/corpus/1508_error_assign_upper_const.cf
13 changes: 13 additions & 0 deletions boot/tests/corpus/1512_return_line_boundary.cf
11 changes: 11 additions & 0 deletions boot/tests/corpus/1513_error_return_next_line_value.cf
10 changes: 10 additions & 0 deletions boot/tests/corpus/1514_return_multiline_value.cf
6 changes: 6 additions & 0 deletions boot/tests/corpus/1515_error_leaf_import_rename.cf
6 changes: 6 additions & 0 deletions boot/tests/corpus/1516_error_leaf_import_member.cf
9 changes: 9 additions & 0 deletions boot/tests/corpus/1517_std_root_barrel.cf
28 changes: 28 additions & 0 deletions boot/tests/corpus/1518_for_next_line_body.cf
7 changes: 7 additions & 0 deletions boot/tests/corpus/1519_error_for_missing_body.cf
31 changes: 31 additions & 0 deletions boot/tests/corpus/1520_tail_recursion_loop.cf
50 changes: 50 additions & 0 deletions boot/tests/corpus/1521_defer_literal_return.cf
54 changes: 54 additions & 0 deletions boot/tests/corpus/1522_defer_bare_return.cf
37 changes: 37 additions & 0 deletions boot/tests/corpus/1523_defer_value_loop_return.cf
34 changes: 34 additions & 0 deletions boot/tests/corpus/1524_tail_recursion_bang.cf
16 changes: 16 additions & 0 deletions boot/tests/corpus/1525_oos_trap.cf
22 changes: 22 additions & 0 deletions boot/tests/corpus/1526_oos_trap_mutual.cf
32 changes: 32 additions & 0 deletions boot/tests/corpus/1527_oob_trap.cf
17 changes: 17 additions & 0 deletions boot/tests/corpus/1528_oos_trap_probe_mode.cf
47 changes: 47 additions & 0 deletions boot/tests/corpus/1529_eq_structural.cf
24 changes: 24 additions & 0 deletions boot/tests/corpus/1530_eq_float_nan.cf
5 changes: 5 additions & 0 deletions boot/tests/corpus/1531_error_eq_fn_value.cf
6 changes: 6 additions & 0 deletions boot/tests/corpus/1532_error_eq_recursive.cf
4 changes: 4 additions & 0 deletions boot/tests/corpus/1533_error_eq_type_mismatch.cf
4 changes: 4 additions & 0 deletions boot/tests/corpus/1534_error_ord_str.cf
6 changes: 6 additions & 0 deletions boot/tests/corpus/1535_error_eq_fixed_array_field.cf
4 changes: 4 additions & 0 deletions boot/tests/corpus/1536_error_eq_unit.cf
39 changes: 39 additions & 0 deletions boot/tests/lsp/fix/main.cf
10 changes: 10 additions & 0 deletions boot/tests/lsp/fix2/lib.cf
21 changes: 21 additions & 0 deletions boot/tests/lsp/fix2/main.cf
99 changes: 99 additions & 0 deletions boot/tests/lsp/lspdrv.py
61 changes: 61 additions & 0 deletions boot/tests/lsp/msgmap.py
533 changes: 533 additions & 0 deletions boot/tests/lsp/tests.py
123 changes: 112 additions & 11 deletions boot/tests/manifest
16 changes: 16 additions & 0 deletions lib/std.cf
304 changes: 268 additions & 36 deletions lib/std/compiler.cf
1,013 changes: 967 additions & 46 deletions lib/std/compiler/alloc.cf
12 changes: 12 additions & 0 deletions lib/std/compiler/ast.cf
104 changes: 101 additions & 3 deletions lib/std/compiler/astutil.cf
223 changes: 223 additions & 0 deletions lib/std/compiler/barefill.cf
4 changes: 2 additions & 2 deletions lib/std/compiler/buildinfo.cf
21 changes: 16 additions & 5 deletions lib/std/compiler/closures.cf
187 changes: 168 additions & 19 deletions lib/std/compiler/defer.cf
1,412 changes: 1,412 additions & 0 deletions lib/std/compiler/demand.cf
41 changes: 38 additions & 3 deletions lib/std/compiler/diag.cf
4,659 changes: 3,835 additions & 824 deletions lib/std/compiler/emit.cf
19 changes: 12 additions & 7 deletions lib/std/compiler/hoist_defertap.cf
947 changes: 947 additions & 0 deletions lib/std/compiler/inline.cf
32 changes: 16 additions & 16 deletions lib/std/compiler/lexer.cf
112 changes: 80 additions & 32 deletions lib/std/compiler/materialize.cf
656 changes: 602 additions & 54 deletions lib/std/compiler/monomorph.cf
428 changes: 374 additions & 54 deletions lib/std/compiler/parser.cf
312 changes: 287 additions & 25 deletions lib/std/compiler/resolve.cf
1,026 changes: 1,026 additions & 0 deletions lib/std/compiler/retfill.cf
73 changes: 46 additions & 27 deletions lib/std/compiler/routing.cf
1 change: 1 addition & 0 deletions lib/std/compiler/spans.cf
826 changes: 826 additions & 0 deletions lib/std/compiler/specialize.cf
227 changes: 227 additions & 0 deletions lib/std/compiler/testsynth.cf
26 changes: 13 additions & 13 deletions lib/std/compiler/typealias.cf
792 changes: 750 additions & 42 deletions lib/std/compiler/typecheck.cf
16 changes: 16 additions & 0 deletions lib/std/comptime/build.cf
83 changes: 79 additions & 4 deletions lib/std/data/array.cf
49 changes: 49 additions & 0 deletions lib/std/data/either/catas.cf
101 changes: 101 additions & 0 deletions lib/std/data/either/ops.cf
290 changes: 250 additions & 40 deletions lib/std/data/json.cf
49 changes: 49 additions & 0 deletions lib/std/data/maybe/catas.cf
61 changes: 61 additions & 0 deletions lib/std/data/maybe/ops.cf
107 changes: 97 additions & 10 deletions lib/std/data/str.cf
14 changes: 8 additions & 6 deletions lib/std/io.cf
19 changes: 11 additions & 8 deletions lib/std/io/fd.cf
79 changes: 71 additions & 8 deletions lib/std/io/fs.cf
4 changes: 3 additions & 1 deletion lib/std/io/fs/amd64/linux.cf
4 changes: 3 additions & 1 deletion lib/std/io/fs/arm64/darwin.cf
4 changes: 3 additions & 1 deletion lib/std/io/fs/linux.cf
32 changes: 16 additions & 16 deletions lib/std/io/term.cf
19 changes: 19 additions & 0 deletions lib/std/math.cf
44 changes: 44 additions & 0 deletions lib/std/mem/arena/test_arena.cf
24 changes: 24 additions & 0 deletions lib/std/mem/bytes.cf
41 changes: 41 additions & 0 deletions lib/std/mem/ctx.cf
67 changes: 67 additions & 0 deletions lib/std/mem/observe.cf
30 changes: 30 additions & 0 deletions lib/std/process/amd64/linux.cf
32 changes: 32 additions & 0 deletions lib/std/process/arm64/darwin.cf
30 changes: 30 additions & 0 deletions lib/std/process/linux.cf
100 changes: 100 additions & 0 deletions lib/std/rt/floor/amd64/darwin.cf
117 changes: 117 additions & 0 deletions lib/std/rt/floor/amd64/linux.cf
123 changes: 123 additions & 0 deletions lib/std/rt/floor/arm64/darwin.cf
122 changes: 122 additions & 0 deletions lib/std/rt/floor/arm64/linux.cf
102 changes: 102 additions & 0 deletions lib/std/rt/floor/riscv64/linux.cf
68 changes: 16 additions & 52 deletions lib/std/sys.cf
85 changes: 85 additions & 0 deletions lib/std/test.cf
10 changes: 5 additions & 5 deletions lib/versioning/changelog.cf
22 changes: 11 additions & 11 deletions lib/versioning/commit.cf
25 changes: 13 additions & 12 deletions root/specs/cf_cli.md
316 changes: 316 additions & 0 deletions root/specs/context.md
69 changes: 57 additions & 12 deletions root/specs/ebnf.md
14 changes: 13 additions & 1 deletion root/specs/memory_model.md
20 changes: 14 additions & 6 deletions root/specs/module_system.md
267 changes: 267 additions & 0 deletions root/specs/testing.md
32 changes: 27 additions & 5 deletions root/specs/type_system.md
30 changes: 26 additions & 4 deletions usr/tree-sitter-cflang/grammar.js
147 changes: 140 additions & 7 deletions usr/tree-sitter-cflang/src/grammar.json
46 changes: 46 additions & 0 deletions usr/tree-sitter-cflang/src/node-types.json
161,547 changes: 86,623 additions & 74,924 deletions usr/tree-sitter-cflang/src/parser.c
2 changes: 1 addition & 1 deletion usr/zed/extension.toml
4 changes: 4 additions & 0 deletions usr/zed/languages/cflang/config.toml
10 changes: 10 additions & 0 deletions usr/zed/languages/cflang/highlights.scm
6 changes: 6 additions & 0 deletions usr/zed/languages/cflang/outline.scm
19 changes: 19 additions & 0 deletions usr/zed/languages/cflang/runnables.scm
68 changes: 42 additions & 26 deletions usr/zed/readme.md
Loading