Code

Elpi ppx#63

Code

Draft

gares wants to merge 7 commits intomasterLPCIC/elpi:masterfrom elpi_ppxLPCIC/elpi:elpi_ppxCopy head branch name to clipboard

+9,357-3,188

Commits

Commits on Apr 10, 2020

• nicer error messages in compiler

  gares

  committed
  10d43dc

  Copy full SHA for 10d43dc

Commits on Apr 30, 2020

• Makefile: dune workspace for noppx test

  gares

  committed
  f867d18

  Copy full SHA for f867d18

• API: only one conversion type indexed by a context object

  gares

  committed
  95fa267

  Copy full SHA for 95fa267

• enter elpi.ppx

  gares

  committed
  a3bd387

  Copy full SHA for a3bd387

• ppx

  gares

  committed
  69b274e

  Copy full SHA for 69b274e

• wip

  gares

  committed
  0a1bf49

  Copy full SHA for 0a1bf49

• rebased

  gares

  committed
  e8a4b0e

  Copy full SHA for e8a4b0e