Code

Remove Undefined module#59

Code

Merged

zth merged 2 commits intomainrescript-lang/rescript-core:mainfrom

remove-undefined-modulerescript-lang/rescript-core:remove-undefined-moduleCopy head branch name to clipboard

Feb 24, 2023

Commits

Commits on Feb 19, 2023

• remove Undefined module. Nullable or option directly (where appropriate) can be used instead

  zth

  committed
  28d6b1b

  Copy full SHA for 28d6b1b

Commits on Feb 24, 2023

• Merge branch 'main' into remove-undefined-module

  zth

  authored
  2e20f68

  Copy full SHA for 2e20f68