Skip to content

Land Data.Show and the show method - #134

Merged
biuld merged 2 commits into
masterfrom
feat/ph3-data-show
Oct 4, 2026
Merged

biuld merged 2 commits into
masterfrom
feat/ph3-data-show

Conversation

@biuld

@biuld biuld commented Oct 4, 2026

Copy link
Copy Markdown
Owner

Add stdlib/lib/Data/Show.purs: the Show class, its show method, and the
Boolean, Int, Number, Char, String, Unit, and Array a instances. Prelude
re-exports the class and method, and stdlib/lib/trusted loads the module
after Data.Semiring.

Number rendering is library code over the numeric primitives, not a new
intrinsic and not a correctly rounded ECMAScript conversion. Records,
Maybe, Either, and Tuple stay out: records need reflectSymbol, and the
other modules belong to later slices. logShow and assertEqual stay with
#95.

On this master, L2 passing resolution moves from 245/413 to 253/413 and
other P3 blockers from 107 to 99. show and Show are no longer first-blocker
names. D-04 and D-15 record the measurement.

biuld and others added 2 commits October 4, 2026 06:41
Add stdlib/lib/Data/Show.purs: the Show class, its show method, and the
Boolean, Int, Number, Char, String, Unit, and Array a instances. Prelude
re-exports the class and method, and stdlib/lib/trusted loads the module
after Data.Semiring.

Number rendering is library code over the numeric primitives, not a new
intrinsic and not a correctly rounded ECMAScript conversion. Records,
Maybe, Either, and Tuple stay out: records need reflectSymbol, and the
other modules belong to later slices. logShow and assertEqual stay with
#95.

On this master, L2 passing resolution moves from 245/413 to 253/413 and
other P3 blockers from 107 to 99. show and Show are no longer first-blocker
names. D-04 and D-15 record the measurement.
The module is in stdlib/lib/trusted, so the order assertion has to name
it or loads_the_standard_library_from_disk_in_trusted_order fails.
@biuld
biuld merged commit 9b85c23 into master Oct 4, 2026
2 checks passed
@biuld
biuld deleted the feat/ph3-data-show branch October 4, 2026 09:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant