Vendor the v0.15.16 core libraries - #143

Open

biuld wants to merge 23 commits into

stdlib/vendor-core-libraries

Commits on Oct 4, 2026

Vendor the v0.15.16 core libraries into the standard library
biuld
committed
0118695
Integrate trusted PureScript core libraries
biuld
committed
0997422
Add compile diagnosis tooling and iteration workflow
biuld
committed
c5f7377
Add backend compile pass trace model
biuld
committed
db9e19b
Add diagnose trace manifest and replay support
biuld
committed
96bf0c8
Ignore bound quantifiers when testing record layout dependence
biuld
committed
3cf6199
Add optional CC and WAT dumps to the Wasmtime test helper
biuld
committed
675f0e3

Commits on Oct 5, 2026

Skip compiler-provided modules when loading the vendored library
biuld
committed
c115d37
Restore the workspace test suite after vendored-library slicing
biuld
committed
a4c0414
Transport abstract constructor protocols through checked instantiation
biuld
committed
c489c43
Record the L6/M7 move from abstract constructor transport
biuld
committed
96df449
Support under-application of indirect callees
biuld
committed
ea419f0
Establish the unified RuntimeRep and layout model (DEC-17)
biuld
committed
0db61e9
Carry checked evidence and policies through a Core-to-CC side table
biuld
committed
db4d026
Provide Unsafe.Coerce.unsafeCoerce as a compiler primitive
biuld
committed
59314c6
Make the effect token an opaque state token
biuld
committed
c31f588
Present the checked type relation as one entry with a variance
biuld
committed
7b9b552
Apply the official applied-variable rule to structural Eq and Ord
biuld
committed
8cd05e7
Instantiate a bare class method's local constraints at its use
biuld
committed
b2085df
Implement deriving with one identity registry, usage analysis, and all classes
biuld
committed
8ebd65e
Complete deriving usage mapping and runtime acceptance
biuld
committed
02df94b
Reuse the wrapped dictionary for derive newtype
biuld
committed
a9956bb
Lower record wildcards and backticked sections in source order
biuld
committed
213f338