Stdlib namespace for Core modules#7285

Merged

cknitt merged 13 commits intomasterfrom

stdlib-namespace

Feb 17, 2025

Commits on Feb 16, 2025

Stdlib namespace for Core modules
cknitt
committed
fix gentype output

zth
authored and
cknitt
committed
commit another test

zth
authored and
cknitt
committed
commit new test output (that has errors)

zth
authored and
cknitt
committed
pipe completion for stdlib

zth
authored and
cknitt
committed
pick up another regex completion

zth
authored and
cknitt
committed
handle nopervasives, and open Stdlib by default

zth
authored and
cknitt
committed
commit more tests

zth
authored and
cknitt
committed
Reanalyze tests working again
cknitt
committed
Fix Gentype for real
cknitt
committed

Commits on Feb 17, 2025