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.

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

Replace Ulex recommendation with Sedlex #3067

Closed
Leandros opened this issue Mar 20, 2019 · 1 comment
Closed

Replace Ulex recommendation with Sedlex #3067

Leandros opened this issue Mar 20, 2019 · 1 comment
Labels
content For content related issues such as new chapters, typos, etc..

Comments

@Leandros
Copy link

Sedlex is the successor to ulex and should be preferred.

Excerpt from the sedlex project page:

sedlex is the successor of the ulex project. Contrary to ulex which was implemented as a Camlp4 syntax extension, sedlex is based on the new "-ppx" technology of OCaml, which allow rewriting OCaml parse trees through external rewriters. (And what a better name than "sed" for a rewriter?)

(related #1286)

@XVilka
Copy link
Contributor

XVilka commented Jun 28, 2019

Quite relevant, since there is a showstopper with camlp4 on the recent OCaml versions: https://discuss.ocaml.org/t/camlp5-and-ocaml-4-08/3985/12

See the list of the packages that still depend on ulex, thus cannot be built for OCaml 4.08 and higher versions:

  • beluga - created an issue #108 for porting to sedlex
  • cduce
  • fstar>=0.9.5.0 - created an issue #1792 for porting to sedlex
  • higlo - created an issue #3 for porting to sedlex
  • kremlin - created an issue #138 for porting to sedlex
  • lambdoc - created an issue #37 for porting to sedlex
  • mezzo
  • opa-base - created an issue #196 for porting to sedlex
  • piqilib - there is an issue #59 for porting to sedlex
  • pxp
  • sociaml-vcard - created an issue #1 for porting to sedlex
  • wdialog

@NathanReb NathanReb added the content For content related issues such as new chapters, typos, etc.. label Sep 4, 2019
Khady added a commit to Khady/book that referenced this issue May 1, 2020
@avsm avsm closed this as completed in 2f0738e May 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
content For content related issues such as new chapters, typos, etc..
Projects
None yet
Development

No branches or pull requests

3 participants