Code

update dune to latest#540

Code

Merged

anmonteiro merged 5 commits intomainmelange-re/melange:mainfrom update-dunemelange-re/melange:update-duneCopy head branch name to clipboardApr 11, 2023

+19-8

Commits

Commits on Apr 10, 2023

• update dune to latest

  jchavarri

  committed
  5a6904f

  Copy full SHA for 5a6904f

• fix tests

  jchavarri

  committed
  c09e3ba

  Copy full SHA for c09e3ba

• update in nix too

  anmonteiro

  committed
  7348ef1

  Copy full SHA for 7348ef1

• chore: adapt to new dune

  

  anmonteiro

  authored and

  jchavarri

  committed
  b99ad88

  Copy full SHA for b99ad88

• remove dup emit_stdlib

  jchavarri

  committed
  a68a0e1

  Copy full SHA for a68a0e1