Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

build using dune #24

Merged
merged 10 commits into from
Jun 20, 2019
+561 −1,234
Merged

build using dune #24

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
e49ad6b
build using dune (fix #20)
gares Dec 30, 2018
f1bb626
improving dune files
gares Jun 19, 2019
fff217d
rename files since packing is now made by dune
gares Jun 20, 2019
796734a
update changelog
gares Jun 20, 2019
6e4511d
update gitignore
gares Jun 20, 2019
d68b80f
bump max ocaml version
gares Jun 20, 2019
7acc529
update build instructions
gares Jun 20, 2019
dcad17f
update doc
gares Jun 20, 2019
f8380c8
.merlin.in not needed anymore
gares Jun 20, 2019
bce9438
use dune to wrap trace_ppx and its runtime
gares Jun 20, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
update changelog
@gares
gares committed Jun 20, 2019

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode
commit 796734aff1f067353a29f912a5878a11314744a3
17 changes: 17 additions & 0 deletions Changelog.md
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,20 @@
## Version 1.4 (June 2019)

Elpi 1.4 requires OCaml 4.04 or newer

- Sources and build: Switch to dune, with a little make base wrapper.
As a result of dune wrapping the library all sources are renamed from
`elpi_x.ml` to `x.ml`, and each module `Elpi_X` is now available as `Elpi.X`.
In particular clients must now use `Elpi.API` and `Elpi.Builtin`.

- FFI:
- `Conversion.TypeErr` now carries the depth at which the error is found, so
that the term payload can be correctly printed.
- Built in predicates are allowed to raise TypeErr in their body
- `BuiltInPredicate.Full` now returns a list of `extra_goals`, exactly as
`Conversion.embed` does making conversion code easy to call in the body
of a predicate.

## Version 1.3 (June 2019)

Elpi 1.3 requires OCaml 4.04 or newer