Skip to content

Get rid of Js.t#823

Merged
cknitt merged 1 commit intomainfrom
no-js-t
Dec 11, 2024
Merged

Get rid of Js.t#823
cknitt merged 1 commit intomainfrom
no-js-t

Conversation

@cknitt
Copy link
Member

@cknitt cknitt commented Dec 10, 2024

Last PR in my "kill Js namespace" series.
(Without moving to Core or ReScript 12, we cannot do Js.Nullable.t -> nullable etc.)

@cknitt cknitt requested a review from Freddy03h December 10, 2024 14:41
@cknitt cknitt merged commit fe80dc1 into main Dec 11, 2024
@cknitt cknitt deleted the no-js-t branch December 11, 2024 10:57
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.

2 participants