Skip to content

Conversation

jchavarri
Copy link
Member

In #850 the public interface changed, from js_error_msg to js_warning_error_msg. But I forgot to update one place.

@jchavarri jchavarri merged commit ab16b82 into main Nov 2, 2023
@jchavarri jchavarri deleted the playground-fix-warn-error-prop branch November 2, 2023 10:18
jchavarri added a commit that referenced this pull request Nov 2, 2023
* main:
  playground: fix warn error prop (#862)
  feat: wrap the melange stdlib extension, expose it as Melstd (#859)
  Fix external analysis (#852)
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