Skip to content

Fix specification of the derived form of record extension expression#49

Open
minoki wants to merge 1 commit intoSMLFamily:masterfrom
minoki:fix-exprow-derived-form
Open

Fix specification of the derived form of record extension expression#49
minoki wants to merge 1 commit intoSMLFamily:masterfrom
minoki:fix-exprow-derived-form

Conversation

@minoki
Copy link

@minoki minoki commented Jan 17, 2022

The desugaring of

... = exp, exprow

should be

... = let val vid = exp in
      { exprow, ... = vid } end

rather than

... = let val vid = exp in
      { exprow, vid } end

@RobertHarper
Copy link

Looks good.

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