This website requires JavaScript.
b3c3b6088e
iter ct.2.2: Pattern::Ctor type-driven lookup; delete imports-fallback
Brummel
2026-05-11 09:07:59 +02:00
f482a6317f
process: switch WhatsNew.md and Notify text to English
Brummel
2026-05-11 09:06:47 +02:00
6d94fa5826
process: user-facing WhatsNew.md changelog + done-state notify protocol
Brummel
2026-05-11 09:01:04 +02:00
78ccbcee9c
iter ct.2.1: qualify_local_types on class-method channel + Forall constraints recursion
Brummel
2026-05-11 09:00:06 +02:00
e9aae3e9fb
plan: ct.2 typechecker cleanup
Brummel
2026-05-11 08:55:48 +02:00
a951c725be
roadmap: ct.1 follow-ups (CLI diag surface, dead KindMismatch, type_def_module re-key)
Brummel
2026-05-11 01:52:33 +02:00
4ed9096c87
journal: ct.1 canonical type names — validator + migration
Brummel
2026-05-11 01:52:02 +02:00
c1783e01bc
iter ct.1.8: E2E coverage for canonical-form diagnostic surface + happy path
Brummel
2026-05-11 01:50:29 +02:00
f22f88b547
iter ct.1.7: on-disk fixture tests for canonical-form diagnostics
Brummel
2026-05-11 01:46:58 +02:00
727d2c13ec
iter ct.1.6: wire validator into load_workspace; refresh kind-mismatch test
Brummel
2026-05-11 01:42:45 +02:00
d3280e9adf
iter ct.1.5: migrate bare cross-module type refs in examples/
Brummel
2026-05-11 01:40:20 +02:00
5e653ff536
iter ct.1.5a-followup: forall-constraints recursion + docstring + drop iteration-tag comments
Brummel
2026-05-11 01:39:26 +02:00
7872ccfc23
iter ct.1.5a: registry-side normalize-before-hash
Brummel
2026-05-11 01:32:21 +02:00
a73f7d3213
iter ct.1.4-followup: type-con rewrite test + doc clarity
Brummel
2026-05-11 01:21:18 +02:00
d45977f9bb
iter ct.1.4: dev-only ail migrate-canonical-types subcommand
Brummel
2026-05-11 01:16:55 +02:00
219908ed54
iter ct.1.3-followup: test for Constraint.class in ClassDef-method Forall
Brummel
2026-05-11 01:11:47 +02:00
9e2e84332f
iter ct.1.3: validator rejects qualified class-name fields
Brummel
2026-05-11 01:08:50 +02:00
3723495d8a
iter ct.1.2: validator extends to Term::Ctor.type_name
Brummel
2026-05-11 01:04:39 +02:00
000b84dda7
iter ct.1.1: validator scaffolding + Type::Con canonical-form rules
Brummel
2026-05-11 00:58:37 +02:00
7ee4300ae2
plan: ct.1 canonical type names — validator + migration
Brummel
2026-05-11 00:53:07 +02:00
949785c3aa
spec: canonical type names — step-7 cleanup (header, migration disambig, drop stale history note)
Brummel
2026-05-11 00:39:42 +02:00
8068be27a1
roadmap: P2 milestone — module-qualified class names + type-driven method dispatch
Brummel
2026-05-11 00:36:15 +02:00
33932cb6e6
spec: canonical type names — name MethodNameCollision as the workaround it is
Brummel
2026-05-11 00:33:57 +02:00
b840c340d4
spec: canonical type names — class-names out-of-scope rationale
Brummel
2026-05-11 00:28:39 +02:00
4d614a053f
spec: revise canonical type names — module-scoped, bare=local
Brummel
2026-05-11 00:22:28 +02:00
72d719010c
spec: revise canonical type names — AST is context-free
Brummel
2026-05-11 00:11:39 +02:00
b6a84041eb
spec: canonical type names — internal qualification
Brummel
2026-05-10 23:55:05 +02:00
12d9130567
iter 23.3.3: prelude — class Ord a extends Eq + Ord Int/Bool/Str instances
Brummel
2026-05-10 23:13:02 +02:00
119632812d
iter 23.3.2-fixup: emit_compare_ladder helper + drop unused test param
Brummel
2026-05-10 23:10:02 +02:00
d865f8a618
iter 23.3.2: codegen — three compare__T intercept arms + emit_ordering_arm helper
Brummel
2026-05-10 23:05:45 +02:00
94893bfb9d
iter 23.3.1: runtime ail_str_compare + IR header declaration
Brummel
2026-05-10 23:00:22 +02:00
2c974e3c7e
plan: 23.3 Ord class + primitive instances (compare__Int/Bool/Str)
Brummel
2026-05-10 22:57:54 +02:00
24f900194f
iter 23.2.5: journal entry — Eq class + primitive instances
Brummel
2026-05-10 22:51:29 +02:00
a11cb2f144
iter 23.2.4-fixup: symmetrize check_workspace error assertion across three IR-shape tests
Brummel
2026-05-10 22:50:00 +02:00
559e591ab2
iter 23.2.4: e2e smoke fixture + ir-shape integration tests for eq__T mono symbols
Brummel
2026-05-10 22:46:51 +02:00
be882c4ef8
fix: codegen lower_workspace_inner implicit prelude import (4th lockstep site)
Brummel
2026-05-10 22:44:37 +02:00
7172e7e8c9
iter 23.2.3: prelude — class Eq a + Eq Int/Bool/Str instances
Brummel
2026-05-10 22:35:51 +02:00
65ab6c6b3a
iter 23.2.3-prep2: rename remaining two 22b2 fixtures + their prose snapshot (orchestrator-inline)
Brummel
2026-05-10 22:35:37 +02:00
7289bbc9d4
iter 23.2.3-prep: reconcile workspace tests with auto-loaded prelude class Eq
Brummel
2026-05-10 22:34:30 +02:00
84dcc46645
fix: mono.rs per-module env.ctor_index overlay (same family as 13b36cc5c5180f
Brummel
2026-05-10 22:23:53 +02:00
e580f75adf
test: red for mono pass mis-resolving cross-module ctor patterns
Brummel
2026-05-10 22:16:51 +02:00
1618182220
iter 23.2.2-fixup-doc: tighten try_emit_primitive_instance_body contract doc
Brummel
2026-05-10 22:02:29 +02:00
c6168ad5d1
iter 23.2.2-fixup: emit closure adapter for primitive-instance-bodied fns
Brummel
2026-05-10 22:01:00 +02:00
736064adf4
iter 23.2.2: codegen — declare @ail_str_eq + eq__Str body intercept
Brummel
2026-05-10 21:55:19 +02:00
cc2d6944c1
iter 23.2.1: runtime/str.c with ail_str_eq + unconditional link
Brummel
2026-05-10 21:49:45 +02:00
c6c3c21013
plan: 23.2 Eq class + primitive instances (eq__Int/Bool/Str)
Brummel
2026-05-10 21:47:49 +02:00
c461a0b5a8
iter 23.1.5: JOURNAL entry
Brummel
2026-05-10 21:36:41 +02:00
1f244379de
iter 23.1.4 fixup: local-hit with mismatching type_name falls through to imports-fallback
Brummel
2026-05-10 21:35:43 +02:00
aace5e3ce2
iter 23.1.4: E2E fixture — bare LT match via implicit prelude import
Brummel
2026-05-10 21:32:05 +02:00
47d95d0c60
iter 23.1.3 fixup: clarify imports-fallback anchor + comment on env.imports vs env.module_imports duplication
Brummel
2026-05-10 21:28:53 +02:00
24af13e7e0
iter 23.1.3 fixup: cover AmbiguousType branch with cross-module test
Brummel
2026-05-10 21:25:26 +02:00
842df380a4
iter 23.1.3: implicit prelude import + symmetric bare-type-name imports-fallback in Term::Ctor synth
Brummel
2026-05-10 21:24:16 +02:00
927f7ea38f
iter 23.1.2 fixup: align workspace-root idiom + add collision test for ReservedModuleName
Brummel
2026-05-10 21:16:56 +02:00
3742583924
iter 23.1.2: load_workspace auto-injects prelude module
Brummel
2026-05-10 21:13:40 +02:00
cce3d9738e
iter 23.1.1: examples/prelude.ail.json — Ordering ADT skeleton
Brummel
2026-05-10 21:11:06 +02:00
9cf616a593
plan: 23.1 — Ordering ADT + prelude skeleton + auto-load
Brummel
2026-05-10 21:10:27 +02:00
9c3d29084c
spec: 23 status → Approved
Brummel
2026-05-10 21:04:06 +02:00
03b6d15db4
spec: 23 — Eq/Ord Prelude (Show + heap-Str ABI deferred to next milestone)
Brummel
2026-05-10 20:35:06 +02:00
2a98b31d84
iter architect-iron-law.3: JOURNAL entry + close roadmap todo
Brummel
2026-05-10 20:03:21 +02:00
6047b38b5c
iter architect-iron-law.2: extend ailang-architect with sweep-script invocation + lockstep-checklist for two known cross-file pairings
Brummel
2026-05-10 20:02:29 +02:00
67223c8487
iter architect-iron-law.1: bench/architect_sweeps.sh runs the four design-md-consolidation sweeps against DESIGN.md
Brummel
2026-05-10 20:01:47 +02:00
1f5689a952
plan: architect-iron-law extension — sweep script + lockstep-checklist
Brummel
2026-05-10 20:00:40 +02:00
1de300ed2c
fieldtest close: Floats — B1 fixed, F1+G1 documented, architect-checklist queued
Brummel
2026-05-10 17:14:09 +02:00
6be5abf23a
fix: Pattern::Lit::Float typecheck-reject is unreachable through check_module
Brummel
2026-05-10 17:10:31 +02:00
23b625f326
test: red for Pattern::Lit::Float not rejected through full check pipeline
Brummel
2026-05-10 17:04:12 +02:00
1ce2ff42dc
fieldtest follow-up: G1 (DESIGN.md NaN-print Unspecified) + F1 roadmap entry
Brummel
2026-05-10 16:59:18 +02:00
2052f4dfcc
fieldtest: floats — 4 examples, 6 findings (1 bug, 1 friction, 1 spec_gap, 3 working)
Brummel
2026-05-10 16:57:38 +02:00
741f3bbf08
audit close: Floats milestone — clean (architect/bench/rustdoc all green; carry-on)
Brummel
2026-05-10 16:47:10 +02:00
41dd2ddc1b
floats iter 5: JOURNAL — iter-5 close + Floats milestone close
Brummel
2026-05-10 16:40:37 +02:00
965e628c52
floats iter 5.4: roadmap — mark Floats [x] + unblock Post-22 Prelude
Brummel
2026-05-10 16:38:45 +02:00
47b32bff3d
floats iter 5.3: DESIGN.md — new §Float semantics subsection (A5 determinism contract)
Brummel
2026-05-10 16:38:24 +02:00
2d2646afa7
floats iter 5.2: DESIGN.md — Float in primitive types + refreshed builtins list
Brummel
2026-05-10 16:37:42 +02:00
ea8988b529
floats iter 5.1: prose renders Float literals (finite + NaN/Inf)
Brummel
2026-05-10 16:36:12 +02:00
fd287c9740
plan: floats iter 5 — prose + DESIGN.md + milestone close
Brummel
2026-05-10 16:33:35 +02:00
73d65baa81
floats iter 4: JOURNAL — iteration close (codegen + E2E)
Brummel
2026-05-10 16:28:10 +02:00
9764b616ce
floats iter 4.6: codegen io/print_float + examples/floats.ail.json E2E fixture
Brummel
2026-05-10 16:25:25 +02:00
bde5aafb03
floats iter 4.5: codegen Float constants nan/inf/neg_inf as hex-double SSA values
Brummel
2026-05-10 16:20:37 +02:00
613aa39f0f
floats iter 4.4 fixup: float_to_str returns CodegenError::Internal instead of panic
Brummel
2026-05-10 16:18:39 +02:00
581144a4f9
floats iter 4.4: codegen neg/int_to_float/float_to_int_truncate/is_nan + float_to_str-deferred
Brummel
2026-05-10 16:15:39 +02:00
3869641a31
floats iter 4.3: codegen Float comparison arms (fcmp olt/ole/ogt/oge/UNE) + lower_eq Float
Brummel
2026-05-10 16:10:13 +02:00
2a290704df
floats iter 4.2 fixup: 3-tuple return for builtin_binop_typed + classifier helper
Brummel
2026-05-10 16:07:11 +02:00
8044a4d98c
floats iter 4.2: codegen arithmetic dispatch on arg type — fadd/fsub/fmul/fdiv double
Brummel
2026-05-10 16:01:35 +02:00
ac5e17e541
floats iter 4.1: codegen primitive registration + Float literal hex-double lowering
Brummel
2026-05-10 15:54:20 +02:00
0c514e034b
plan: floats iter 4 — codegen + runtime (Float lowering paths + E2E fixture)
Brummel
2026-05-10 15:51:20 +02:00
dbec90cefd
floats iter 3: JOURNAL — iteration close (typecheck + builtins)
Brummel
2026-05-10 15:43:31 +02:00
d6da5c26b1
floats iter 3.4: typecheck rejects Pattern::Lit Float with FloatPatternNotAllowed
Brummel
2026-05-10 15:40:33 +02:00
fd3f74cfa0
floats iter 3.3: install Float constants nan/inf/neg_inf + io/print_float effect op
Brummel
2026-05-10 15:35:19 +02:00
60a4c687b3
floats iter 3.2: install neg/int_to_float/float_to_int_truncate/float_to_str/is_nan
Brummel
2026-05-10 15:31:14 +02:00
6890aa244f
floats iter 3.1 fixup: correct stale ==-comparison comment + asymmetric Float test args + drop spec-section reference
Brummel
2026-05-10 15:28:55 +02:00
0981804dd3
floats iter 3.1: widen +/-/*/// and !=/</<=/>/>= to polymorphic forall a
Brummel
2026-05-10 15:24:13 +02:00
00a1c5f0e7
plan: floats iter 3 — typecheck + builtins (widen + install + Pattern::Lit::Float reject)
Brummel
2026-05-10 15:20:09 +02:00
4ccf1f25c1
floats iter 2: JOURNAL — iteration close (surface layer)
Brummel
2026-05-10 15:14:02 +02:00
c619697a76
floats iter 2.3: surface print emits shortest round-trippable decimal with .0 fallback
Brummel
2026-05-10 15:11:31 +02:00
f62bff08a3
floats iter 2.2: parser accepts Tok::Float in term and pat-lit positions
Brummel
2026-05-10 15:07:39 +02:00
f960e39f8b
floats iter 2.1 fixup: drop task-tags + refresh stale prose + uppercase-E + leading-dot tests
Brummel
2026-05-10 15:04:50 +02:00
d0c9133ae4
floats iter 2.1: Tok::Float + LexError::InvalidFloat + spec-A2 grammar validator
Brummel
2026-05-10 15:00:46 +02:00
6664af4995
plan: floats iter 2 — surface lex + parse + print (round-trip property)
Brummel
2026-05-10 14:57:34 +02:00
f227cce846
floats iter 1: JOURNAL — iteration close (schema layer)
Brummel
2026-05-10 14:50:42 +02:00
b2d31824a1
floats iter 1.4 fixup: drop intra-doc-links to private hex_u64 (rustdoc baseline preservation)
Brummel
2026-05-10 14:49:21 +02:00
1a4e2f04b7
floats iter 1.4: refresh canonical.rs 'no floats' doc comment
Brummel
2026-05-10 14:47:43 +02:00
Brummel