Developer playground: genType and sourcemap support by fhammerschmidt · Pull Request #8448 · rescript-lang/rescript

fhammerschmidt · 2026-05-28T17:57:21Z

This both adds a new tab to the developer playground for gentype (and the possibility to add it in the main playground) as well as a new tab and bi-directional highlighting for sourcemaps.

fhammerschmidt · 2026-05-28T18:13:30Z

@codex review

chatgpt-codex-connector · 2026-05-28T18:18:17Z

Codex Review: Didn't find any major issues. What shall we delve into next?

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

pkg-pr-new · 2026-05-28T18:27:17Z

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@8448

@rescript/belt

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/belt@8448

@rescript/darwin-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-arm64@8448

@rescript/darwin-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-x64@8448

@rescript/linux-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-arm64@8448

@rescript/linux-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-x64@8448

@rescript/runtime

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/runtime@8448

@rescript/win32-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/win32-x64@8448

commit: 9c9a6c0

github-actions · 2026-05-28T18:37:16Z

Developer playground preview: https://rescript-lang.github.io/rescript/dev-playground/?version=pr-8448

fhammerschmidt · 2026-08-30T20:56:37Z

@codex review

chatgpt-codex-connector · 2026-08-30T20:56:53Z

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-09-04T15:09:45.496959Z	`9c9a6c0`	Manual request

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 919658a8f0

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

codecov · 2026-09-01T12:00:53Z

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.32%. Comparing base (ebc61dd) to head (9c9a6c0).
⚠️ Report is 5 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #8448      +/-   ##
==========================================
+ Coverage   76.97%   77.32%   +0.35%     
==========================================
  Files         467      467              
  Lines       62452    63313     +861     
==========================================
+ Hits        48070    48957     +887     
+ Misses      14382    14356      -26

see 104 files with indirect coverage changes

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

…loyed on rescript-lang.org

fhammerschmidt · 2026-09-04T12:51:17Z

@codex review

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 48eaf36bad

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

fhammerschmidt · 2026-09-04T13:17:23Z

@codex review

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 60c4fd5d4f

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

fhammerschmidt · 2026-09-04T13:35:46Z

@codex review

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: c3e1635190

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

fhammerschmidt · 2026-09-04T14:24:13Z

@codex review

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 6afdef9f27

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

fhammerschmidt · 2026-09-04T14:35:23Z

@codex review

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 88447cd957

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

fhammerschmidt · 2026-09-04T15:04:34Z

@codex review

chatgpt-codex-connector · 2026-09-04T15:09:44Z

Codex Review: Didn't find any major issues. Delightful!

Reviewed commit: 9c9a6c06c8

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

fhammerschmidt force-pushed the dev-playground-gentype branch from 45b1a20 to 85e6546 Compare May 28, 2026 18:02

fhammerschmidt force-pushed the dev-playground-gentype branch from db2ebbe to ebf3f19 Compare August 30, 2026 20:05

fhammerschmidt requested review from cknitt and mununki August 30, 2026 20:56

chatgpt-codex-connector Bot reviewed Aug 30, 2026

View reviewed changes

Comment thread compiler/jsoo/jsoo_playground_main.ml

fhammerschmidt force-pushed the dev-playground-gentype branch from 71402ce to bf0ce1e Compare September 1, 2026 11:48

fhammerschmidt added 6 commits September 2, 2026 12:39

Developer playground: genType support and sourcemap scaffolding

e8ea061

Omit bumping the playground version as long as the old one is not dep…

4b6bf3c

…loyed on rescript-lang.org

Fix PR compiler versions not showing up in selection box

0dc1ea3

Sourcemap tab

2a0aa13

Changelog

dd9b8c6

Fix event order

d093014

fhammerschmidt force-pushed the dev-playground-gentype branch from bf0ce1e to 4b5c3db Compare September 2, 2026 10:42

Format & review fixes

5c6f28c

fhammerschmidt force-pushed the dev-playground-gentype branch from 4b5c3db to 5c6f28c Compare September 2, 2026 14:04

fhammerschmidt changed the title ~~Developer playground: genType support and sourcemap scaffolding~~ Developer playground: genType and sourcemap support Sep 2, 2026

cknitt reviewed Sep 4, 2026

View reviewed changes

Comment thread compiler/jsoo/jsoo_playground_main.ml Outdated

Comment thread compiler/core/js_source_map.ml Outdated

Different approach: use JSOO vfs

48eaf36

chatgpt-codex-connector Bot reviewed Sep 4, 2026

View reviewed changes

Comment thread packages/dev-playground/src/Main.res Outdated

Comment thread packages/dev-playground/package.json

Review

60c4fd5

chatgpt-codex-connector Bot reviewed Sep 4, 2026

View reviewed changes

Comment thread compiler/jsoo/jsoo_playground_main.ml Outdated

One more review

c3e1635

chatgpt-codex-connector Bot reviewed Sep 4, 2026

View reviewed changes

Comment thread packages/dev-playground/src/Main.res

And another

6afdef9

chatgpt-codex-connector Bot reviewed Sep 4, 2026

View reviewed changes

Comment thread compiler/jsoo/jsoo_playground_main.ml Outdated

genType: derive module name from the configured source filename

88447cd

chatgpt-codex-connector Bot reviewed Sep 4, 2026

View reviewed changes

Comment thread compiler/jsoo/jsoo_playground_main.ml Outdated

Comment thread packages/dev-playground/src/Main.res Outdated

Bump version

9c9a6c0

cknitt approved these changes Sep 4, 2026

View reviewed changes

fhammerschmidt enabled auto-merge (squash) September 4, 2026 15:21

fhammerschmidt merged commit cf94640 into master Sep 4, 2026
29 checks passed

fhammerschmidt deleted the dev-playground-gentype branch September 4, 2026 15:28

Uh oh!

Conversation

fhammerschmidt commented May 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

fhammerschmidt commented May 28, 2026

Uh oh!

chatgpt-codex-connector Bot commented May 28, 2026

Uh oh!

pkg-pr-new Bot commented May 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented May 28, 2026

Uh oh!

fhammerschmidt commented Aug 30, 2026

Uh oh!

chatgpt-codex-connector Bot commented Aug 30, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codex Review Summary

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

codecov Bot commented Sep 1, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

Uh oh!

Uh oh!

fhammerschmidt commented Sep 4, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

Uh oh!

fhammerschmidt commented Sep 4, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

fhammerschmidt commented Sep 4, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

fhammerschmidt commented Sep 4, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

fhammerschmidt commented Sep 4, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

Uh oh!

Uh oh!

fhammerschmidt commented Sep 4, 2026

Uh oh!

chatgpt-codex-connector Bot commented Sep 4, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

fhammerschmidt commented May 28, 2026 •

edited

Loading

pkg-pr-new Bot commented May 28, 2026 •

edited

Loading

chatgpt-codex-connector Bot commented Aug 30, 2026 •

edited

Loading

codecov Bot commented Sep 1, 2026 •

edited

Loading