search for: camlp4

I'm currently going through the LLVM OCaml bindings tutorial in preparation for using LLVM in my own project. While the tutorial is very helpful, it was somewhat hard to start due to the fact that I plan on using ocamllex and ocmalyacc and the tutorial hand rolls their own lexer and parser. I have managed to adapt almost all of the tutorial code into using ocamllex and ocamlyacc (the only

...appy to add this, though I think as as an addendum instead of a replacement unless the community feels strongly about it. Since most of the llvm documentation is for c++, I wanted the ocaml developers to be able to read the ocaml tutorial then the c++ tutorial and it be nearly one-to-one. I thought camlp4 did a much better job of matching the c++ tutorial than ocamllex/ocamlyacc. That said, a lot of people use them and it'd be handy to see how to use them with llvm as well. On Sat, Apr 18, 2009 at 11:02 AM, Jon Harrop <jon at ffconsultancy.com> wrote: > You may also want to write an e...

...age collection. As I go along in my project and explore these features I might be willing to produce code for additional chapters but I don't think I have time to dedicate to it now. What was the problem? I just tested it out on fedora 10 and it worked > after I installed the ocaml, ocaml-camlp4, and ocaml-camlp4-devel > rpms. > When I tried it the pre-processor executable had not been created and installed. When the compiler tried to pass it through, it couldn't find anything. It has been a little bit since I tried, and there may have been updates, so the issue may have been...

...718767 with -1 Hi, xen-api-libs FTBFS when binNMUed against ocaml 4.01.0. >From the amd64 build log: > ocamlfind ocamlopt -I ../xml-light2 -I ../stdext -I ../uuid -annot -g -package xmlm -c -o rpc.o rpc.ml > ocamlfind ocamlc -I ../xml-light2 -I ../stdext -I ../uuid -annot -g -c -package camlp4 -pp "camlp4orf" -I /usr/lib/ocaml/camlp4 -o pa_module_conv.cmo pa_module_conv.ml > ocamlfind ocamlc -I ../xml-light2 -I ../stdext -I ../uuid -annot -g -c -package camlp4,type_conv -pp "camlp4orf" -I /usr/lib/ocaml/camlp4 -I /usr/lib/ocaml/type_conv p4_rpc.cmo p4_rpc.ml > F...

...was wondering > if ther would be an interest in adding my code as supplimental material. Yes! I thought it was a bit of a shame that so much precious LLVM tutorial space was devoted to lexing and parsing without using appropriate tools. You may also want to write an even smaller parser using camlp4... -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e

...gt; > find > > any examples using them. I think a translation of the tutorial would be > > most > > welcome and about 10x shorter. ;-) > > Lexing is the one issue though. How do you mean? I'm just fiddling around with it now. The lexer, parser and AST written using camlp4 might look something like this in OCaml: type ast = | Num of float | Var of string | BinOp of [ `Add | `Sub | `Mul | `Less ] * ast * ast | Call of string * ast list | Function of string * string list * ast open Camlp4.PreCast;; let expr = Gram.Entry.mk "expr" ;; EXTEND Gram...

Le 02/12/2013 18:05, Mathieu Malaterre a ?crit : > I cannot backport xen-api-libs to an oldstable system. It fails with: > [...] > ocamlfind ocamlc -I ../xml-light2 -I ../stdext -I ../uuid -thread -c > -o threadext.cmi threadext.mli > File "threadext.mli", line 63, characters 9-15: > Error: Syntax error: 'end' expected > File "threadext.mli", line

...ml The following updated files have been uploaded and are currently syncing to the mirrors: ( sha256sum Filename ) x86_64: c724d1f9400e9084509754ddffd8e83160c967dde8fbc724347fd543deb7eb9d ocaml-4.01.0-22.7.el7_2.x86_64.rpm 9d29fc119ddfb8217cb6aac73e052fd2e74bb5ff08118703ad778eec42bf1db9 ocaml-camlp4-4.01.0-22.7.el7_2.x86_64.rpm 13346e41b3cf70699a66998b2520eb37c407462460dda45cfd77c378b796f895 ocaml-camlp4-devel-4.01.0-22.7.el7_2.x86_64.rpm e02421a3cc009a6d677ac97db952c83b84762fc71506f0a0311ce6796a02d336 ocaml-compiler-libs-4.01.0-22.7.el7_2.x86_64.rpm aaf17136a962111dff4e55f26f09c10de891bdcf6...

> On Sunday 25 November 2007 03:42, Christopher Lamb wrote: >> Try this google query. I know there's been some discussion/work on >> OCaml and LLVM. >> >> site:lists.cs.uiuc.edu/pipermail/llvmdev OCaml interface > > I just rediscovered the OCaml bindings in bindings/ocaml (rather than the > ones > in test/Bindings/OCaml!). They do indeed look quite

...xing is the one issue though. > > How do you mean? I think he's observing that a majority of the tutorial code is actually spent on the lexer and parser, not on the llvm-specific pieces. > I'm just fiddling around with it now. The lexer, parser and AST > written using > camlp4 might look something like this in OCaml: Sure, the existing tutorial would be shorter if the lexer/parser used lex/yacc too, but that wasn't the goal :). The goal was the make it as simple and easy for newbies to understand, even if they didn't have any previous compiler experience....

On Sunday 25 November 2007 03:42, Christopher Lamb wrote: > Try this google query. I know there's been some discussion/work on > OCaml and LLVM. > > site:lists.cs.uiuc.edu/pipermail/llvmdev OCaml interface I just rediscovered the OCaml bindings in bindings/ocaml (rather than the ones in test/Bindings/OCaml!). They do indeed look quite complete but I can't find any examples

...re. While I'm no OCaml master, I have used it for a > while and so it might be that other people coming to the tutorial may have > the same experience. This page may be of help: http://www.ffconsultancy.com/ocaml/benefits/parsing.html It describes recursive descent parsing using the camlp4 stream parser extension and lex/yacc. You may also be interested in this LLVM-based example in OCaml that uses camlp4 for parsing directly: http://groups.google.com/group/fa.caml/msg/5aee553df34548e2 > Secondly, it seems odd to be writing custom parsers > and lexers after tools like B...

.../bodhi.fedoraproject.org/updates/FEDORA-2019-2e0b2d6395 A few non-critical packages failed to build, and I will look at these later unless someone gets around to it before me. The failures are listed at the end. Notable changes: - Release notes: https://ocaml.org/releases/4.09.0.html - ocaml-camlp4 (grammar extensions) has finally been deprecated. All dependent packages were retired already in Fedora 31, and ocaml-camlp4 itself will soon be retired. Use ocaml-camlp5 or PPX extension points instead. - ocamlopt -p (native profiling with gprof) has been removed upstream. Their a...

Package: xen-api-libs I cannot backport xen-api-libs to an oldstable system. It fails with: $ dpkg-buildpackage -rfakeroot -us -uc dpkg-buildpackage: source package xen-api-libs dpkg-buildpackage: source version 0.5.2-3.1 dpkg-buildpackage: source changed by St?phane Glondu <glondu at debian.org> dpkg-buildpackage: host architecture amd64 dpkg-source --before-build xen-api-libs-0.5.2

Dear Debian maintainer, The Debian internationalisation team and the Debian English localisation team will soon begin the review of the debconf templates used in xen-api. This review takes place for all packages that use debconf to interact with users and its aims are: - to improve the use of English in all debconf templates; - to make the wording of debconf templates more consistent; - to

...r a tiny subset of OCaml that is expressive enough to compile an external Fibonacci program: type expr = | Int of int | Var of string | BinOp of [ `Add | `Sub | `Leq ] * expr * expr | If of expr * expr * expr | Apply of expr * expr type defn = | LetRec of string * string * expr open Camlp4.PreCast;; let expr = Gram.Entry.mk "expr" let defn = Gram.Entry.mk "defn" let prog = Gram.Entry.mk "defn" EXTEND Gram expr: [ [ "if"; p = expr; "then"; t = expr; "else"; f = expr -> If(p, t, f) ] | [ e1 = expr; "<=&quot...

Here's my translation of the Fibonacci example into OCaml: open Printf open Llvm let build_fib m = let fibf = define_function "fib" (function_type i32_type [| i32_type |]) m in let bb = builder_at_end (entry_block fibf) in let one = const_int i32_type 1 and two = const_int i32_type 2 in let argx = param fibf 0 in set_value_name "AnArg" argx; let

Hi Rjones, So, will we add dependency of ocaml-pcre in RHEL7.5 ? Just like the new bug you filed to add dependency of ocaml-camlp4 & ocaml-labltk ? -- Thanks & Best regards, Chen Xiang Hua Raycom office Beijing (NAY), Red Hat Inc. Red Hat Telephony: 86 10 62608040 internal extension: 8388040 Team: Virt QE IRC: xchen@#S1, #virt ----- Original Message ----- > From: "Richard W.M. Jones" <rjones@redhat....

...; > > > How do you mean? > > I think he's observing that a majority of the tutorial code is > actually spent on the lexer and parser, not on the llvm-specific pieces. Right. > > I'm just fiddling around with it now. The lexer, parser and AST > > written using camlp4 might look something like this in OCaml: > > Sure, the existing tutorial would be shorter if the lexer/parser used > lex/yacc too, but that wasn't the goal :). The goal was the make it > as simple and easy for newbies to understand, even if they didn't have > any previous co...

...:44:32.282217185 +0100 @@ -5,7 +5,7 @@ Uploaders: Jon Ludlam <jonathan.ludlam at eu.citrix.com>, Thomas Goirand <zigo at debian.org>, Mike McClurg <mike.mcclurg at citrix.com> Build-Depends: debhelper (>= 8.0.0), dh-autoreconf, dh-ocaml, ocaml-native-compilers, ocaml-findlib, camlp4, camlp4-extra, autotools-dev, libtype-conv-camlp4-dev, libxmlm-ocaml-dev, uuid-dev, libxcp-ocaml, libxcp-ocaml-dev, omake, libxen-ocaml-dev, libxen-ocaml, libpam-dev, zlib1g-dev, xen-utils, libxen-dev, libounit-ocaml-dev, python-all (>= 2.6.6-3~), po-debconf Standards-Version: 3.9.2 -Homepage:...