Comments (2)
Cf http://caml.inria.fr/mantis/view.php?id=5764 , same bug as the one we had while switching Bisect to ppx.
from landmarks.
That's a bug in the PPX extension.
The names "__generated_landmark__1" is exported (because there's no opcodes.mli) and the module Opcodes is opened in some other file where "__generated_landmark__1" is overriden and used.
from landmarks.
Related Issues (20)
- Compilation in OCaml 4.04.1 HOT 1
- make load button reload a changed json file HOT 2
- only the online version of the web viewer works HOT 7
- Viewer ? HOT 8
- Support browser's profile viewers json formats
- Building with dune produces not working program HOT 1
- declare landmarks as an instrumentation backend for dune HOT 1
- ppx dependencies woes; package split? HOT 3
- Release a ppxlib compatible version HOT 2
- Error with let operators HOT 7
- A example of typechecking failure in generated code
- broken viewer? HOT 7
- Support for `arm64` / Apple M1 HOT 11
- Automatic instrumentation via landmarks-ppx and inherited constructors without module name
- Concurrency support (eg. Async, Lwt). HOT 1
- Benchmarking js_of_ocaml library with `auto` only times constructor HOT 4
- Reuse ppx instrumentation for print/debugging? HOT 2
- Errors with some OCAML_LANDMARKS options HOT 2
- Clarification about recursive call count HOT 1
- Let-in-annotation may introduce "unused variables"
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from landmarks.