Core Expression metadata - #1066

Draft

MikaelMayer wants to merge 184 commits into

main2from

issue-1065-extract-core-expression-metadata-from-pr

Commits on Apr 28, 2026

feat(core): Change Core.ExpressionMetadata from Unit to SourceRange (#1065)
MikaelMayer
committed
d562e6f
fix: Replace fragile repr string matching with AST pattern matching in PythonToCore
MikaelMayer
committed
75554c5
Merge remote-tracking branch 'origin/main' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
df191e1
fix: Use DDM formatter for axiom extraction guard_msgs test
MikaelMayer
committed
2214b98
fix: Propagate source range metadata instead of using SourceRange.none
MikaelMayer
committed
cdc5568
style: Remove stray blank line in match block
MikaelMayer
committed
a5bae51
refactor: Address PR review nits — remove extra blank lines, extract helper, improve docstring, use Core.true
MikaelMayer
committed
faa5bfc
fix: Make SourceRange equality trivial to prevent metadata-sensitive comparisons
MikaelMayer
committed
35b7bdd
merge: Resolve conflict with main after Laurel metadata removal
MikaelMayer
committed
1d366a5
fix: Document or propagate SourceRange for all SourceRange.none occurrences
MikaelMayer
committed
679c9cd
style: Add group comment for semantic typeclass instances using SourceRange.none
MikaelMayer
committed
262de85
fix: Update pyInterpret golden-file expectations for SourceRange metadata
MikaelMayer
committed
877e5fc
feat: Add CI check for unsuppressed SourceRange.none usage
MikaelMayer
committed
199002a
Merge remote-tracking branch 'origin/main' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
315d1d7
style: Rename suppression markers to nosourcerange: with required explanations
MikaelMayer
committed
c2c2b02
fix: Use SourceRange.isNone instead of == default for source location check
MikaelMayer
committed
229e024
fix: Restore test_unsupported_config.expected golden file
MikaelMayer
committed
23b0657
Merge remote-tracking branch 'origin/main' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
e1285c0

Commits on Apr 29, 2026

Commits on Apr 30, 2026

Commits on May 1, 2026

Commits on May 4, 2026

Commits on May 5, 2026

Commits on May 6, 2026

Commits on May 7, 2026

Commits on May 8, 2026

Commits on May 9, 2026

Commits on May 14, 2026

Commits on May 15, 2026

Commits on May 18, 2026

Commits on May 19, 2026

Commits on May 20, 2026

Merge remote-tracking branch 'origin/main2' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
8defae4

Commits on May 21, 2026

Remove checkNoSourceRangeNone CI check (SourceRange.none removed upstream)
MikaelMayer
committed
cbcde3e

Commits on May 22, 2026

Merge remote-tracking branch 'origin/main2' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
2115df1

Commits on May 27, 2026

Commits on May 28, 2026

Commits on May 29, 2026

Commits on Jun 1, 2026

Commits on Jun 2, 2026

Merge remote-tracking branch 'origin/main2' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
f6eff13

Commits on Jun 3, 2026

Commits on Jun 4, 2026

Commits on Jun 5, 2026

Commits on Jun 6, 2026

Merge remote-tracking branch 'origin/main2' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
6ae877a

Commits on Jun 8, 2026

Commits on Jun 9, 2026

Merge remote-tracking branch 'origin/main2' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
0e43d3d

Commits on Jun 10, 2026

Commits on Jun 11, 2026

Commits on Jun 12, 2026

Merge remote-tracking branch 'origin/main2' into issue-1065-extract-core-expression-metadata-from-pr
MikaelMayer
committed
05cf582