similar to: [LLVMdev] LLVM-OCaml Bindings Tutorial

2009/4/13 Chris Wailes <chris.wailes at gmail.com>: > 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

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

> > I'm happy to apply any patches :) Even better if you wanted to extend > the tutorial to support things like garbage 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

On Tuesday 14 April 2009 01:29:44 Chris Wailes wrote: > I have managed to adapt almost all of the tutorial code into using ocamllex > and ocamlyacc (the only thing I'm missing is the ability to assign > precendence to user defined binary and unary operators), and was wondering > if ther would be an interest in adding my code as supplimental material. Yes! I thought it was a bit of

On Wednesday 22 April 2009 12:15:09 Chris Wailes wrote: > That is perfectly understandable. My problem was that I had never seen the > stream syntax before. 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:

Attached are updated LLVM-OCaml Bindings Tutorial from Chris Wailes. (http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-April/021804.html) We changed them to work with the latest APIs(LLVM2.6 and the latest LLVM from SVN). Does anyone know if there is any realistic project using LLVM-OCaml Bindings? How is the performance? Jianzhou -------------- next part -------------- A non-text attachment was

Hello Vikram, Saturday, September 6, 2003, 9:10:45 PM, you wrote: VSA> For any language with relatively sophisticated syntax and semantic VSA> rules, you will probably need a higher-level representation like an VSA> Abstract Syntax Tree in order to do type-checking and other kinds of VSA> checking. OK, concerning AST -- I see. Thank you. VSA> For OCAML, for example, the

Signed-off-by: Vincent Hanquez <vincent.hanquez@eu.citrix.com> --- tools/ocaml/Makefile | 2 +- tools/ocaml/common.make | 2 +- tools/ocaml/libs/xl/xl.ml | 209 ++++++++++++ tools/ocaml/libs/xl/xl.mli | 209 ++++++++++++ tools/ocaml/libs/xl/xl_stubs.c | 706 ++++++++++++++++++++++++++++++++++++++++ 5 files changed, 1126 insertions(+), 2 deletions(-)

Hello LLVM fathers, 1. "languages, semantic trees" what do you think ideally, do languages implementations based on LLVM need internal semantic tree or they should rather try to use LLVM directly in/after syntax parsing? For languages like C++ the expected answer is "of course we need an internal semantic tree between parsing and LLVM!" But I am still

On Mon, Feb 15, 2010 at 11:47 PM, Jon Harrop <jon at ffconsultancy.com> wrote: > There are at least two other significant users of LLVM's OCaml bindings, > AFAIK. I'm writing an llvm backend/repl for felix, but it's pretty early. > My only gripe with LLVM's OCaml bindings is the way an error caught on the > LLVM side causes my program to die in a way that the

On Tuesday 16 February 2010 03:51:00 Jianzhou Zhao wrote: > Does anyone know if there is any realistic project using LLVM-OCaml > Bindings? I've written a VM in OCaml built upon LLVM using LLVM's OCaml bindings: http://www.ffconsultancy.com/ocaml/hlvm/ There are at least two other significant users of LLVM's OCaml bindings, AFAIK. > How is the performance? Performance

On Tue, Feb 16, 2010 at 2:47 AM, Jon Harrop <jon at ffconsultancy.com> wrote: > On Tuesday 16 February 2010 03:51:00 Jianzhou Zhao wrote: >> Does anyone know if there is any realistic project using LLVM-OCaml >> Bindings? > > I've written a VM in OCaml built upon LLVM using LLVM's OCaml bindings: > >  http://www.ffconsultancy.com/ocaml/hlvm/ > > There

The link to the next chapter in the navigation list at the top of this page of the OCaml Kaleidoscope tutorial goes to the C++ version: http://llvm.org/docs/tutorial/OCamlLangImpl3.html. The link to chapter 8 in the first chapter is broken: http://llvm.org/docs/tutorial/OCamlLangImpl1.html#intro. It links to the unvavailable page http://llvm.org/docs/tutorial/OCamlLangImpl8.html. I think it

On Sun, Mar 21, 2010 at 10:30 AM, Sarah Mount <mount.sarah at gmail.com> wrote: > Dear Chris & Erick, hi Sarah! I've CC'd the mailing list, which is the right place to send questions like this :) Chris doesn't have much to do with the ocaml bindings, that's more my thing. Anyway, it looks like you found a bug, which I've fixed in the trunk. I'll try to get

> VSA> For OCAML, for example, the front-end is quite sophisticated > VSA> and complex and the LLVM representation would not be suitable for > VSA> supporting all the checking and translation. > > But I have just meant ocamlyacc, i.e. ocaml clone of the yacc. > And here my question was: what kind of interface is expected to use > from within ocml, CommonLisp

Valery, For any language with relatively sophisticated syntax and semantic rules, you will probably need a higher-level representation like an Abstract Syntax Tree in order to do type-checking and other kinds of checking. For OCAML, for example, the front-end is quite sophisticated and complex and the LLVM representation would not be suitable for supporting all the checking and translation. It

First of all, I completely understand your frustration. It is (unfortunately) a very common thing in IT project. IMO, this sounds like a problem with project methodology and communication to me. There is a secondary concern with the adoption of a new technology after the start of the project, but I think the main problem is method. You may want to research an agile approach like Extreme

This is something I've been working on: Reworking inspection so it's not a big mess of ad hoc C code, but instead uses a well-defined domain-specific language to describe how we inspect guests. The best introduction to this is the manual page, which I include below (it's also included in patch 2/3). Rich. ---------------------------------------------------------------------- NAME

Previously posted: https://www.redhat.com/archives/libguestfs/2015-December/msg00038.html Inspection now really succeeds on a small number of simple guests. To test it out: $ ./run guestfish -v -x -a /tmp/centos-6.img ><fs> run ><fs> debug sh "guestfs-inspection --verbose" Rich.

Yah, jimc again. I still cannot figure out what is wrong with my dc. The problem began with being unable to log on from Windows boxes after a power hit. The initial symptoms were: 1) When I log in on a Windows machine, with an account that should have administrator permissions, I don't have said admin rights. 2) When I attempt to launch the Windows remote server tools, I can select the