Commit dd0686d
chore(submodules): update affinescript, eclexia, ephapax pointers
- affinescript: faces architecture complete (ADR-010), Python-face preprocessor,
face-aware error formatter, docs/specs/faces.md, panic-attack fixes
- eclexia: syncs to latest (tropical grading proposal, test diagnostics)
- ephapax: extended Coq semantics, verisimdb->verisim rename
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>1 parent 0d70e3f commit dd0686d
3 files changed
Lines changed: 3 additions & 3 deletions
Submodule affinescript updated 39 files
- .gitignore+2
- .machine_readable/6a2/ECOSYSTEM.a2ml+16
- .machine_readable/6a2/META.a2ml+178
- .machine_readable/6a2/STATE.a2ml+8-8
- bin/main.ml+69-30
- conformance/valid/001_empty.expected+1-4
- conformance/valid/002_comments.expected+1-4
- conformance/valid/003_let_bindings.expected+155-4
- conformance/valid/004_literals.expected+267-4
- conformance/valid/005_functions.expected+287-4
- conformance/valid/006_type_alias.expected+166-4
- conformance/valid/007_struct_def.expected+302-4
- conformance/valid/008_enum_def.expected+270-4
- conformance/valid/009_effect_def.expected+341-4
- conformance/valid/010_pattern_match.expected+494-4
- conformance/valid/011_rows.expected+445-4
- conformance/valid/012_ownership.expected+223-4
- docs/DESIGN-VISION.adoc+256
- docs/specs/SETTLED-DECISIONS.adoc+134
- docs/specs/faces.md+173
- lib/codegen.ml+30
- lib/dune+1-1
- lib/face.ml+179
- lib/lexer.ml+8-1
- lib/parser.mly+128-30
- lib/python_face.ml+343
- lib/resolve.ml+9
- test/e2e/fixtures/affine_basic.affine+2
- test/e2e/fixtures/dependent_types.affine+12
- test/e2e/fixtures/full_pipeline.affine+4-4
- test/e2e/fixtures/interp_simple.affine+1-1
- test/e2e/fixtures/julia_simple.affine+1-1
- test/e2e/fixtures/lambda.affine+3-3
- test/e2e/fixtures/python_face_basic.pyaff+20
- test/e2e/fixtures/row_polymorphism.affine+1-1
- test/e2e/fixtures/type_decls.affine+2-2
- test/e2e/fixtures/wasm_simple.affine+1-1
- test/test_e2e.ml+112-1
- tools/affine-doc/assets/search.js+10-4
- .github/workflows/hypatia-scan.yml+1-2
- compiler/eclexia-codegen/tests/integration_test.rs+3-3
- compiler/eclexia-interp/src/builtins.rs+26-26
- compiler/eclexia-lexer/src/lib.rs+7-7
- compiler/eclexia-lsp/src/symbols.rs+1-1
- compiler/eclexia-parser/src/lib.rs+1-1
- compiler/eclexia/src/resolver.rs+2-2
- docs/ECLEXIA-COMPLETE-STATUS-2026-02-09.md+12-12
- docs/archive/status/ECLEXIA-COMPLETE-STATUS-2026-02-09.md+12-12
- interop/INTEROP_STATUS.md+3-3
- runtime/eclexia-dom/src/lib.rs+3-3
Submodule ephapax updated from 657ae77 to ef47c39
0 commit comments