<d_bot>
<mseri> I wonder of num or camlp4, which are special wrt the system switch, may be the culprit
2020-12-19
<d_bot>
<inkbottle> If it is in the https://github.com/ocsigen/deriving family, as I understand it is, it is using camlp4, and I understand it is superseded by ppx.
2020-11-16
<companion_cube>
if you're thinking of really old versions, removing camlp4 did reduce the compilation time
2020-11-12
<companion_cube>
it's one of the reasons why camlp4 is less used these days
<companion_cube>
camlp4 doesn't go well with merlin, indeed
<d_bot>
<Sudo> I am confused now , as camlp4 is not going to be maintained, any suggestion for building a parser? I can't even get it work with utop
<d_bot>
<Sudo> Hi, I am learning on toy language by following the LLVM tutorial, but it seems it's based on `camlp4` , and I couldn't get my emacs/merlin with with that. Google on that gave me impression that many people have strong opinion with `camlp4`. Further digging shows that if one want to build DSL better stick with camlp4 (https://stackoverflow.com/questions/37810521).
2020-08-31
<berke>
heh it's around that time that I started using ocaml, I think I had a cyrix 166 or something like that. I was sick of using perl, ocaml was such a relief. plus back then you didn't have camlp4 and genlex parsers were built-in.
2020-08-30
<d_bot>
<mseri> ldbeth afaik camlp5 is older than camlp4, was replaced by camlp4 in the compiler as you mentioned and now the recommendation is to use ppx. Both camlp4 and 5 are not officially supported but they have quite active community support
<ldbeth>
taritsu_n: I think CamlP4 shipped with OCaml is dropped in recent versions. and developers are encouraged to use CamlP5
2020-07-26
<NSA_Spy>
hello world!, can anyone tell me what the best way to translate ocaml code into AST without camlp4 and related modules?
2020-05-28
<zozozo>
well coq does something like that but I think they use camlp4 (or 5 ?) for that iirc
2020-05-16
<companion_cube>
question is, what does it even use camlp4 for
<companion_cube>
I didn't know archimedes depended on camlp4, boo
2020-05-07
<ollehar_>
ppx was supposed to fix camlp4?
2020-04-14
<ollehar2>
My system is a RockPro64 with Ubuntu 18.04. The default OCaml on this system is 4.05.0, but my old code-base uses packages that depend on camlp4
2020-02-06
<Leonidas>
one without camlp4 would be enough for me
2019-11-29
<Leonidas>
dmbaturin: RWOv1 is still relevant to some degree. What hasn't is the camlp4 bits.
2019-11-18
<Fardale>
Ok, then either you stay with 4.08.1 or you remove camlp4 with 4.09.0
<tmhoang>
Fardale: it looks like there are currently some packages depend on it. So the verdict is removing camlp4 from upstream ?
<Fardale>
is removing camlp4 an option ?
<tmhoang>
Hi ocaml master, it looks camlp4 last version is 4.08. Currently at Alpine Linux we have have ocaml 4.09 and we are about to release new version soon. Do you have any advice on how we proceed ? Like revert ocaml back to 4.09 or just go with ocaml 4.09 and camlp4 4.08 ? http://dl-4.alpinelinux.org/alpine/edge/community/x86_64/
2019-09-05
<Leonidas>
I guess the only thing I have missed was stream syntax in camlp4
2019-08-02
<Drup>
anyway, camlp4 was already depops
<Drup>
even for old lwt, camlp4 is an optional deps. What's the version of lwt you have to work with ?
<sgnb>
I will try just remove camlp4 from Build-Depends to see what happens
<Drup>
I must admit not being extremely sympathetique to people still using camlP4. It has been officially advertised has been in low maintenance mode for several years now.
<leah2>
Coccinelle has a good reason too, and it uses camlp4
<leah2>
there are still lots of packages using camlp4 tho
<Drup>
camlp4 has been an optional deps for lwt for a very very long time
<Fardale>
lwt work on 4.08, why does it depend on camlp4 in debian ?
<sgnb>
IIUC, camlp4 is dead with ocaml 4.08.0?
2019-07-10
<freyr69>
ulex is based on camlp4
<xvilka>
dmbaturin: since you mentioned the Army against Camlp4... Do you want to help the projects, like me, to get rid of ulex? I am working with FStar (F*) and piqi library now, so you can help with the rest of the list: https://discuss.ocaml.org/t/camlp5-and-ocaml-4.08/3985/5
2019-07-08
<xvilka>
readyready15728: today's hottest hot is OCaml 4.08 migration, ppx (https://github.com/ocaml-ppx), dropping ulex&camlp4&camlp5, migrating to dune buildsystem (from oasis, ocamlbuild, etc), improving https://github.com/owlbarn/owl, improving the
2019-06-27
<aecepoglu[m]>
Drup: At my office computer (ubuntu) the distro comes with camlp4 for v4.05.0 so obus when put inside a v4.07.0 switch can't work. At my home computer (archlinux) I get camlp4 for v4.07.0 from the official repos so obus also works with v4.07.0
2019-05-24
<oni-on-ion>
are you using camlp4 or camlp5 ?
2019-05-02
<Leonidas>
I don't have much experience with camlp4 (since it is moribound technology) so I can't really help you with it.
<pgiarrusso>
But it's not like I can use camlp4 myself (I was just installing packages)... Maybe I can just take some testcase
<pgiarrusso>
and my test is just `open Camlp4` compiled with `ocamlc -c -I /usr/local/lib/ocaml/camlp4 -o try_camlp4.cmo try_camlp4.ml`
<pgiarrusso>
I think I fixed a bug in the camlp4 formula, but I have little clue on OCaml, so a review might help:
2019-04-29
<Leonidas>
oh. I thought it was forked from camlp4 when that chanced its syntax.
<octachron>
camlp5 is not a fork of camlp4
<Leonidas>
kakadu: that one is not ported to 4.08 either so given it is a fork of camlp4 I assume the issues are the same.
<companion_cube>
I'm afraid the interest for camlp4 is very low these days
<rwmjones>
has anyone ported camlp4 to 4.08?
2019-03-17
<octachron>
pags, it looks like you are using a camlp4 syntax extension for list comprehension
2019-02-14
<Leonidas>
companion_cube: could've used camlp4 instead of ppx back then *ducks*
<pmetzger>
Leonidas: camlp4 is used neither in Ullman's book nor in RWO.
<Leonidas>
except for due to camlp4 none of the examples work :-(
2018-09-04
<octachron>
Adr1, if you are getting stated, you probably don't want to use camlp4 and the parser/stream extension. Otherwise, the problem is in the call of primary in aux_ast
2018-08-09
<Fare>
camlp4 hasn't changed in 2 years, so I suspect it's a subtle change in GNU Make 4.2.1 or some such.
<discord>
<Perry> Is the failure purely with camlp4?
<discord>
<Perry> examine the opam file for camlp4?
<Fare>
When I try to install some list of library from opam 4.06.1, it tries to install camlp4, which fails with this misquoting error: # cp: cannot create regular file '"/home/fare/.opam/4.06.1/bin"/camlp4prof': No such file or directory
2018-07-23
<thizanne>
Armael: 'parse' used to be a keyword simiar to 'function' with the stream ubiquitous camlp4 extension, old examples may still use it
2018-06-25
<Drup>
ZirconiumX: camlp4 is also syntactic
2018-06-22
<octachron>
halogenandtoast, note that camlp4's location seems to indicate that it was installed by your distribution
<halogenandtoast>
I am fairly certain camlp4 was installed via opam. I'm not sure what "compiler" references in this case.
<octachron>
it seems that ocsigen-start does have a dependency on camlp4. Did you install both the compiler and camlp4 with opam?
<octachron>
halogenandtoast, what didn't work when you removed camlp4? Did camlp4 get installed? You should also remove #campl4O from your .ocamlinit file.
<halogenandtoast>
Has anyone seen this before and know what I might be doing wrong. I tried uninstall camlp4, updating opam, and installing again, but that didn't work
<halogenandtoast>
Has anyone seen this before and know what I might be doing wrong. I tried uninstall camlp4, updating opam, and installing again, but that didn't work
2018-05-24
<discord2>
<rizo> I've plans to revisit the revisited syntax in a more modern (camlp4-less) way. I think we have decent tooling support for that nowadays. Reason is a good example of that, albeit in a very isolated way.
<Drup>
camlp4 ? :|
2018-05-19
<octachron>
hratt, you cannot replace camlp4 by cppo except for some very basic use cases of camlp4, and parser is not amongst those use cases
<thizanne>
camlp4 provides a syntax extension to ocaml that adds this keyword and the odd matching stuff
<discord1>
<Perry> cppo has nothing to do with camlp4...
<hratt>
ye the thing is using camlp4 natively but i switched it out for cppo as i know no other ways
2018-04-28
<_xvilka_>
I found Parsifal, but it seems a kind of abandoned and rely on old Camlp4, I do not want to build my software on something that will rot tomorrow
2018-04-26
<pmetzger>
I find ppx easier to work on than camlp4 as the ppx documentation is terrible but the camlp4 docs were even more beginner unfriendly. I have successfully faked my way through small ppx changes, and I haven't managed that with camlp4.
<Leonidas>
Though the author of TWT was somewhat doubtful it can be implemented on top of camlp4
<steenuil>
well you can still use camlp4 if you really want
<Leonidas>
After working with camlp4 I am not really sad to see it go
<steenuil>
Camlp4, but it's not used much anymore
<Leonidas>
ShalokShalom: you mean camlp4 maybe?
<Leonidas>
ShalokShalom: Fun fact: Camlp4 is a revised syntax of older Camlp4 (which is not Camlp5) and OCaml itself also had a revised syntax.
<Leonidas>
ShalokShalom: Well, something that was last released in 2012, described as "something of a hack" & "should be rewritten using camlp4 in the future" and where I haven't seen any code using it since I first learned OCaml around 2009 is sort-of unlikely to be used.
2018-04-25
<companion_cube>
that's camlp4
<companion_cube>
oh dang, sqlexpr should also migrate to having -ppx and -camlp4 sublibs I guess
2018-03-23
<_xvilka_>
need to understand Camlp4 first, never used it, jumped in when ppx are everywhere already
2018-03-22
<_xvilka_>
btw, if I want to port old Camlp4 code to extension points, I need to learn Campl4 obviously, to write the plugin for camlp4-to-ppx. Is there any good definitive guide for writing Camlp4 extensions? The one which allows to dive into the writing them in a shortest available time?
2018-03-20
<m4lvin>
aha! "For Camlp4 support, please use a version of Cstruct that is <=1.9.0"
<companion_cube>
it's old camlp4 stuff, for extending the syntax
2018-03-13
<Leonidas>
qbitor: opam install lwt camlp4?
<qbitor>
This brings me back to my original question: How can I install lwt and camlp4?
<qbitor>
Fardale: I tride to read a bit into it. As far as I understand it, I as a user can't do very much here. As long as the software relies on camlp4 I'm forced to use it, right?
<qbitor>
I'm trying to install camlp4 (`opam install camlp4`). This fails because it is not able to install lwt. But I can install lwt alone.
2018-02-01
<companion_cube>
it looks like it was camlp4
2018-01-29
<olle>
camlp4 can't handle [@@deriving] ?
<olle>
is camlp4 deprecated?
2018-01-26
<Leonidas>
camlp4 to the rescue!
2018-01-24
<thizanne>
(get the new version, with ppx instead of camlp4, ask if you have no idea)
2017-11-22
<abhir00p>
it installs ocaml, ocamlbuild, camlp4, boost
2017-10-12
<aantron>
sooooo. lwt_camlp4 or lwt-camlp4 for the factored out camlp4 package name? lwt_ppx or lwt-ppx?
<CcxWrk>
Hi. Anyone having working OCaml under Nix/NixOS? When I try to start utop I get Fatal error: exception Fl_package_base.No_such_package("camlp4", "required by `utop.camlp4'")
2017-10-09
<pmetzger>
I'd say the only thing that really was giving me headaches was trying to figure out camlp4, but then I learned the world is moving to ppx and I happily stopped trying to figure out how it works. :)
2017-10-08
<superherointj>
+camlp4-extra
2017-08-22
<kakadu_>
def`: AFAIR merlin suports old-style camlp4 syntax like `[type_declaration] with type_conv`. Where in the sources I can study it?
<Drup>
if it was simpler to use non-driverified ppxs with jbuilder, It would bother me far less. I could take my time retireing the camlp4 quitely, then switch later on
<Drup>
So I need to switch to jbuilder, but jbuilder is so opiniated that I can't really write the rest of the library the way it works currently. And I still have the camlp4 library too
<rgrinberg>
companion_cube: camlp4 also works but nobody suggests to support it forever
2017-08-10
<SomeDamnBody>
I can't install camlp4 on a machine with 12 gigs of memory because it keeps running out.
<SomeDamnBody>
I can't install camlp4 because topdirs.cmi doesn't exist. Also, I'm trying to pin a particular package to master, but that package installs a bunch of submodules beneath it. How do I pin a package to master
2017-08-04
<rgrinberg>
companion_cube: how does camlp4 help?
<rgrinberg>
i barely recall that writing parsers was popular with camlp4 back in the day
<companion_cube>
do they use camlp4 to, like, *parse* java?
<rgrinberg>
now i have to reinstall the universe b/c lwt has a depopt on camlp4
<rgrinberg>
ugh... javalib requires camlp4
2017-07-31
<dxtr>
I'm reading through the code for the camlp4 stuff but I feel I'm not getting a lot smarter
<dxtr>
I basically want the Hashtbl thing without the camlp4 stuff
<dxtr>
So, I'm still wrestling with pgocaml :) If I'm not using the camlp4 stuff I'm getting a unit PGOCaml.t and if I am using it I get a (string, bool) Hashtbl.t PGOCaml.t - how would I make my own thing?
2017-07-25
<dxtr>
So maybe I should ditch the pgocaml camlp4 stuff
<Armael>
yes: camlp4 extensions can arbitrarily extend the syntax, while the syntax of extension nodes is set
<Armael>
yea, that's one reason why people move away from camlp4
2017-07-24
<aantron_>
(or you could use map, but iirc the camlp4 syntax doesn't help with map as much as it does with bind)
<aantron_>
the lwt keyword is the lwt camlp4 syntax abbreviation for Lwt.bind, but it looks like let
<octachron>
aantron_, camlp4 is mostly in maintenance mode, I don't think that there any plan to make it support attributes and extension nodes
<aantron_>
dxtr: last i looked (this was a year or more ago) camlp4 actually cant parse ppx, so you cant mix them in the same source file, and manually telling your build system which files to preprocess with ppx and which with camlp4 is annoying, so sticking with camlp4 is a good choice i think
<dxtr>
Yeah, I started using the camlp4 syntax because of one of those files I linked on github earlier
<aantron_>
dxtr: i can't really help with that camlp4 syntax. just promise that the lwt one isn't doing anything crazy. also since pgocaml uses camlp4, it's likely you will want to keep using the lwt camlp4 syntax
<aantron_>
is pgocaml using camlp4?
<dxtr>
Not knowing what camlp4 is capable of I guess that makes sense
<aantron_>
hmm this is using camlp4 (e.g. try_lwt). the camlp4 syntax is deprecated, it should be replaced by the PPX syntax if possible. see the table here for a summary https://ocsigen.org/lwt/manual/ (search for correspondence table). it was just updated from camlp4 to ppx finally by bobby priambodo yesterday :)
2017-07-18
<octachron>
dxtr, unless merlin has some specific support for the pgocaml camlp4 syntax extension, I fear there is nothing to do
<dxtr>
Also, on a related note: When I'm doing this: http://lpaste.net/1872918934366191616 I get "Uncaught exception: Unix.Unix_error (20 | CstTag21, "connect", "")" from camlp4. That doesn't seem right
<octachron>
dxtr, merlin never had generic camlp4 support: camlp4 is far too powerful for that
<dxtr>
So, I'm trying to use some camlp4 stuff with emacs (tuareg and merlin) but I'm just getting "Unbound constructor" when using the camlp4 things
2017-07-11
<theblatte>
`opam install camlp4` is not happy with my 4.04.2+spacetime switch
<Drup>
camlp4 has been a depopts for several years
<rgrinberg>
Drup: my laptop is camlp4 free territory and will stay that way ;)
2017-06-29
<Leonidas>
octachron: what do you need camlp4 for in gettext? Isn't it just basically a function named `_`?
<octachron>
it looks like I will have to reimplement ocaml-xgettext :(, the current version is camlp4 based and chokes on attributes
2017-06-02
<toolslive>
I switched my opam to 4.04.1+spacetime but installing packages fails with "[ERROR] The compilation of camlp4 failed at "make all"." looking at the stacktrace it's a stack overflow in "asmcomp/spill.ml", line 160, characters 32-51
2017-05-29
<Drup>
octachron: jsoo's camlp4 extension is deprecated, though.
<octachron>
Drup, deprecated might be a tad too strong for camlp4, I would rather say only advisable in very specific circumstances and as poorly undocumented as ever
<Drup>
(about camlp4 ... using it is with jbuilder is probably a pain, and you really shouldn't use it anyway, it's deprecated)
<freyr>
And how to use camlp4 with jbuilder?
<freyr>
Seems no ppx package. I've used camlp4 syntax before and that was fine
2017-05-12
<octachron>
beginner, some(?) examples are still using the camlp4 syntax (aka the old one) and not the ppx one.
2017-05-11
<johnelse>
it should just be "-package js_of_ocaml.syntax" for camlp4, or "-package js_of_ocaml.ppx" for ppx
<johnelse>
ah, for reference I would use the ppx rather than the camlp4 extension
2017-04-03
<octachron>
freedrul1, your opam repo looks outdated: there should be camlp4 version available up to 4.05; have you tried to run "opam update" ?
<octachron>
freedrul1, have you tried requesting the right camlp4 version "opam install camlp4.4.04+1" ?
<octachron>
freedrul1, does camlp4 appears with "opam repo" ?
<freedrul1>
[NOTE] camlp4 is not pinned.
<freedrul1>
$ opam pin remove camlp4
<octachron>
freedrul1, it looks like your camlp4 package is pinned to the camlp4's dev repo, you could try unpin it: "opam pin remove camlp4 && opam install camlp4"
2017-04-02
<lapinot>
note: now i'm looking into camlp4's stream-parsing extension to build a simple recursive descent parser
2017-03-31
<rgrinberg>
freehck: you must have had a lot of camlp4 for this to be so hard :P
2017-03-13
<flux>
yes, but apparently caused trouble if used with camlp4?
<flux>
now that camlp4 is going to the way of dodo, is $ fair play for operators?-)
<vtomole>
flux: Yup specifically with the codegen.ml file. I thought it did cause i just installed camlp4 and i'm not getting that lexer error anymore.
<flux>
right, if you just want to go through the tutorial, it should be possible. however, if you want to go forward with other modern syntax extensions, you cannot combine camlp4 programs with ppx-using programs. (also I have my doubts if campl4 supports all the new language constructs)
<Leonidas>
vtomole: i mean, you can still use camlp4
<flux>
vtomole, well, the lexer and parser parts of the tutorial seem to use camlp4, but then when it starts to create IR it doesn't..
<rgrinberg>
@vtomole that's a camlp4 lexer I believe. Something that's relatively obsolete at this point.
2017-02-16
<freyr>
laserpants: AFAIK streams are not part of camlp4 module, they are but a regular module. However, there is camlp4 syntax extension which makes dealing with streams a little bit smoother. You need to find something simular for ppx or use pure streams without syntax sugar.
<Algebr>
camlp4 has been deprecated for ppx
<laserpants>
I have been looking at some tutorials that use a stream syntax provided -- I believe -- by some language extension known as Camlp4.
2017-02-13
<SomeDamnBody>
can I somehow get opam to clean camlp4 as though it needed to rebuild it? Because I don't think it is rebuilding it, and it's been a while since I've been back at ocaml
<SomeDamnBody>
flux: well, I give the command `opam install camlp4`, and it dies missing a particular file. I wouldn't have removed some cmi file within some part of the compiler pbase
<SomeDamnBody>
So, I can't get opam to install camlp4
2017-02-07
<companion_cube>
investing in camlp4 now is… weird
2017-02-06
<frefity>
Drup, can you point me at any examples of using pgocaml without camlp4?
<Drup>
frefity: use pgocaml, the camlp4 part is optional and you can use lwt with it, which makes things much better
<companion_cube>
ah "it uses camlp4" :-/
2017-01-31
<xavierbot>
Camlp4 Parsing version 4.04.0
<xavierbot>
Camlp4 Parsing version 4.04.0
2017-01-27
<Drup>
(you can do it, of course, with camlp4 or other preprocessor)
2017-01-19
<companion_cube>
but now that oasis doesn't pull camlp4 anymore, it's less relevant imho
2017-01-12
<dmbaturin>
ocaml805: The only thing I find mildly irritating about ounit is that I can't do assert_raises with the exn constructor alone, but nothing short of camlp4 could change it.
2017-01-07
<octachron>
Camlp4 is not really consensual nor ideal for parsing
<cpdean>
hey does the ocaml community have a consensus on what's the ideal parsing library? so far its looking like Menhir or Camlp4.
<cpdean>
the `lexer.ml` has ZERO references to campl4 so i suspect the author of this tutorial is leaving out the fact that you have to tell the binary that builds this code to do this in "camlp4 mode" or whatever
<cpdean>
which camlp4
<Drup>
you have camlp4 installed ?
<cpdean>
ah ok, and the 'camlp4 syntax extension' is like a plugin for OCaml's compiler tools?
<Drup>
yeah, it uses genlex, which relies on a camlp4 syntax extension
<cpdean>
and camlp4's docs seem to focus more on its own world rather than how to actually build code that runs on a computer
<cpdean>
it seems that camlp4 requires ocaml syntax i can't figure out
2017-01-05
<ltadeu>
hmm, I see. I'm still a bit confused about this camlp4 / ppx thingy. Is ppx a replacement for camlp4 syntax extensions?
<Algebr`>
I think bitstring still uses camlp4
2017-01-03
<flux>
snowcrshd, I'm not completely sure but might it be that the syntax is different from "with fields"? using ppx would suggest that there would be some other syntax, introduced with ppx and incompatible with the camlp4 syntax
2016-12-26
<larhat>
ocaml634: "with compare" is the old, camlp4 based syntax extension. You should probably use ppx-based one nowadays — https://github.com/janestreet/ppx_compare
2016-12-23
<mfp>
camlp4 also chokes on it type 'a' t = 'a';; Error: Parse error: [type_declaration] expected after "type" (in [str_item])
2016-12-16
<Drup>
the basic ppx template doesn't use camlp4
<rgrinberg>
I'd prefer no usage. Because I'm trying to make a little eliom demo at work, and people are young enough to not even know camlp4 exists
<Drup>
rgrinberg: no camlp4 usage, or no camlp4 dependency ?
<rgrinberg>
So what should I use for a small started that doesn't have camlp4?
<Drup>
(but generally, yes, we avoid camlp4 when possible)
<Drup>
there is also another dependency that needs camlp4 indirectly
<rgrinberg>
Drup: are there intentions to get rid of camlp4 in ocsigen-start?
2016-12-15
<def`>
If you get a syntax error, it must be camlp4.
<jnavila>
is the ## syntax camlp4 or ppx
<def`>
yes it cannot parse camlp4 anyway
<def`>
jnavila: we dropped jsoo camlp4 syntax in recent versions of merlin
2016-12-14
<jnavila>
It's using camlp4, guess it's too old...
<Drup>
aren't you mixing camlp4 and ppx ?
2016-12-01
<reynir>
Tried »camlp4 somefile.ml -parser o -printer o« and it preserved at least some comments. I didn't check if any were missing
<ryu0>
reynir: really? i'm trying camlp4 with "-parser o -printer o" and it discards my comments.
<reynir>
I've used camlp4 to format unreadable student hand-ins :P
2016-11-27
<aantron>
well you could use camlp4................
2016-11-13
<tavo>
Hi everyone, I'm new to ocaml and I came upon Camlp4, this is just a pretty-printer, correct? Not a different version of Ocaml
2016-11-11
<hannes>
there used to be >> in lwt, but is was a camlp4 extension
2016-11-08
<xavierm02>
Hi. Is there some way to have infix notations for types (or even just redefine 'a -> 'b) (other than writing my own camlp4 stuff) ?
2016-10-25
<companion_cube>
(but I'm happy there is no mandatory camlp4 coming with it)
2016-10-24
<freehck>
reynir: no, but it seems that opam has installed me an old version of core which is distributed with camlp4 extensions, not ppx.
<freehck>
Is it already rewritten from camlp4 to ppx?
<freehck>
I tried `#require "camlp4"` but it doesn't work.
2016-10-19
<napis>
If I want to parse some OCaml files and get the AST... Should I use `camlp4` or `extension points`?
2016-10-15
<octachron>
sgronblo, parser is a camlp4 keyword (but not a vanilla OCaml keyword); this is one of the painful discrepancy between the standard OCaml parser and the camlp4 oe
2016-10-10
<def`>
isn't there some ppx for string parsing, like mikmatch for camlp4?
2016-10-07
<reynir>
Yea, something like that. It's a camlp4 syntax I think. There's also a ppx, lwt.ppx, which I know work if you add it to _tags. Then it'd be begin match%lwt ... with ... end
2016-09-28
<Algebr```>
and you don't need to use camlp4 anymore
2016-09-26
<octachron>
I would argue that camlp4 syntax error messages are still sometimes better than vanilla syntax error
<companion_cube>
the error message looks a lot like camlp4
<octachron>
(even in the camlp4-emulated original syntax)
<octachron>
dmruiz, companion cube is right: parser is a keyword with camlp4
<ggole>
Better to pretend it doesn't exist, since the OCaml ecosystem seems to be moving towards ppx instead of camlp4
<ggole>
That's a camlp4 extension
2016-09-22
<benmachine>
ppx doesn't use camlp4, it replaces it
<freehck>
So ppx has camlp4 in its base?
<benmachine>
freehck: camlp4 is an actual macro system, of sorts
<Algebr`>
ppx is the successor of camlp4
<Algebr`>
freehck: no, camlp4 is an actual macro system of sorts, cpp is just copy paste
<freehck>
Hello everyone. I've just read about PPX and want to be sure about one thing. AFAIK Camlp4 is an analog of cpp. Is PPX an analog of lisp macros?
2016-09-21
<companion_cube>
caw: apparently it uses "old" libraries based on camlp4
<benmachine>
it's worth mentioning that I don't think you should need camlp4 to install async?
<dxtr>
camlp4 is not in path
<flux>
what does "which camlp4" say?
<flux>
an opam-installed camlp4 would be under ~/.opam/ instead of /usr
<flux>
dxtr, actually it seems that your ocamlfind finds a system-installed camlp4
<flux>
dxtr, and if that fails, ocamlfind query camlp4 ?
<dxtr>
[NOTE] Package camlp4 is already installed (current version is 4.03+system).
<flux>
dxtr, what does opam install camlp4 say?
<chelfi>
it needs a reedition because of minor stuff like the switch from camlp4 to ppx, installation instructions, and maybe a port from Core to Base, but otherwise it stays relevant
2016-09-19
<orbifx1>
smondet, octachron: lablgl also still depends to camlp4 according to OPAM. So it's also "portable" (lol) ocaml :P
2016-09-16
<profmaad>
no, oasis only uses camlp4 when one of the dependencies says so
<profmaad>
is there a way to tell ocamlbuild to please not use camlp4 for this?
<profmaad>
this file uses a library that depends on lwt.syntax. Oasis generates ocamlbuild rules that pull in camlp4 for this file
<flux>
hmm, I don't think you can combine camlp4 with ppx
<profmaad>
camlp4 seems to be unwilling to parse the metaquot expressions as valid
<profmaad>
is anybody familiar with combining camlp4 and ppx_tools.metaquot?
2016-09-12
<octachron>
there are good reasons, note that it is a configuration problem of ocaml-quickcheck, camlp4 should not be pulled in by "require quickcheck"
<octachron>
sh0t: it is a problem with camlp4 that somehow mess up toplevel directives
<Algebr`>
so this is awesome, oasis now dropped camlp4?
<rgrinberg>
companion_cube: \o/ is camlp4 finally not a dependency?
2016-08-09
<Algebr`>
Okay....camlp4 seg faulting
2016-08-04
<gasche>
(so one preprocessing-based coverage tool is "bisect" (for camlp4) and "bisect_ppx" (for ppx), but they are designed for testsuite coverage rather than occurence counting, I don't know if they also provide this information)
2016-07-31
<kakadu>
it mentions some camlp4 stuff
<Algebr`>
jstolarek: yep, that's camlp4 syntax. RWO second edition has been worked on for several years now.
2016-07-27
<gasche>
we can use the ppx or camlp4 machinery to process newer-ocaml-syntax code and output a binary AST that an older compiler understands (with correct location information etc.)
2016-07-20
<tormen>
flux: can you say if ppx is the successor, will eventually take over and role te world (over camlp4) ?
<tormen>
the ppx comes from corebuild and the camlp4 is a dependency of pgocaml
<companion_cube>
this command line is seriously worrying, you have camlp4 AND ppx
2016-07-18
<Denommus>
SomeDamnBody: well, an eliom-distillery project might use ppx or camlp4
2016-07-12
<tormen>
... maybe again camlp4 ?
<Drup>
It's just a case of camlp4 not supporting some recent ocaml syntax
<Drup>
You are using camlp4
<gasche>
chenglou: "local syntax" sounds a lot like what camlp4 was doing
2016-07-11
<Drup>
we still use camlp4 internally, to avoid breaking compat with old ocaml versions
<lostman>
camlp4 is needed by js_of_ocaml. since jsoo has ppx extension now I hope it won't be needed in the future
<mrvn>
maybe fix the need for camlp4 and update to ppx
<lostman>
hey folks. i've open an issue regarding building camlp4 with 32bit compiler on mac os but so far there haven't been any comments: https://github.com/ocaml/camlp4/issues/108. It has something to do with dynamic linking. anyone here would know about it? if this is something I could fix I'd look into this and make a PR but I don't know where to start
2016-07-08
<hcarty>
ocamlscript is (almost) very nice as well, aside from the camlp4 dependency. It makes simple projects very easy to create with little to no external configuration.
<lostman>
the 2.8.1 still requires camlp4. I wonder if it's gonna go away fully. I could get it working with +32 bit version of the compilers on mac os; camlp4 doesn't compile
<lostman>
is it possible to compile js_of_ocaml without camlp4?