Clik here to view.
Package definition with dune + opam
Hej! I have a short question regarding the definition of new packages through dune. If I create a new project and let dune create the .opam file for me, I can then install it into my local switch by...
View ArticleAutomatically generating list of extracted modules
I am using Dune in a Coq project, which extracts OCaml code. Since I am using recursive extraction, the list of extracted modules is long and changes if I modify code (import new modules). I am...
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View Article--- Article Not Found! ---
*** *** *** RSSing Note: Article is missing! We don't know where we put it!!. *** ***
View ArticleClik here to view.
Introducing dune describe
Hi everybody, Just a quick post to introduce the new dune describe command in Dune 2.4.0. If you’d like to write a tool that needs to understand the structure of a dune project, figure out where the...
View ArticleAllow_empty in dune
My package builds correctly on my dev system, but today I tried for the first time to build it in hosted CI, and I get this from dune build: Error: The package ocinco does not have any user defined...
View ArticleAssert failure does not print full stack trace
Hello all, It seems when assertion failure is hit a portion of stack trace is optimized away. ubuntu:~/ocaml-playground$ dune test File "lib/Instr.ml", line 137, characters 2-71: <<true>>...
View ArticleDune does not find rule for implicitly-produced file
In my Dune-based project, I want to apply a filter to all JSON files, so that they will be “normalized” via jq . -S before being saved as test oracles. This will prevent spurious differences...
View ArticleDisplaying module aliases in the toplevel
Hi, I don’t understand how the toplevel chooses which module alias to use when displaying types. Consider the following example: file common.ml: type t = { data : string } file a.ml: open Common let...
View Article