libmonda

libmonda copied to clipboard

I couldn't verify that it builds, since I assume this requires some custom fork of OCaml.

rgrinberg

compile fixes

1

I had to apply those small changes to be able to execute ```opam install -j4 -y libmonda-gdb```.

justinc1

Cannot install libmonda-gdb

2

Installing libmonda today yields the following error: ``` $ opam remote add monda -k git https://github.com/mshinwell/opam-repo-dev && opam switch -j4 4.05.0+monda $ opam config env $ opam install -j4 -y...

ghost

Is there a way to enable pythonscript while building gdb-ocaml ? This is needed to have support from more IDEs such as qt-creator.

eloraiby

As has been thought about

mshinwell

.cmt files from install directories

1

At link time record the paths used to locate various compilation artifacts; these could then be used to augment the .cmt search path in the debugger. This should mean that...

mshinwell

That is http://mshinwell.github.io/libmonda/

dbuenzli

Better messages when printing fails

1

It shouldn't just say "x = 0" when there is a better error to be printed.

mshinwell

Set breakpoint on Flambda_to_clambda.to_clambda Look at the "env" argument. The value has six fields but the extracted type has 14. Six is correct for Flambda_to_clambda.Env.t. It looks like it's found...

mshinwell

- Boxed values of polymorphic variant type are currently not printed at all. - @lpw25 claims that the existing code isn't correct in any case.

mshinwell