ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Project-wide occurrences for OCaml, a progress report
Project-wide occurrences for OCaml, a progress reportin-person
This progress report describes the design of the first implementation of project-wide occurrences for OCaml, a feature of editor tooling that allows users to query all the occurrences of a selected value (or type or module), anywhere in the project. This is a big step from the previous occurrences feature that only returned results in the current buffer. This work involved non-trivial patches to the compiler, dune
, merlin
and ocaml-lsp-server
. This report describes the high-level architecture of the feature and focuses on some of the involved challenges.
Paper (ocaml2024-final7.pdf) | 111KiB |
Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | OCaml developer experienceOCaml at Orange 2 Chair(s): Gabriel Radanne Inria Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
11:00 22mTalk | Structured diagnostics for the OCaml compilerin-person OCaml Florian Angeletti Inria File Attached | ||
11:22 22mTalk | Project-wide occurrences for OCaml, a progress reportin-person OCaml Ulysse Gérard Tarides File Attached | ||
11:45 22mTalk | Mica: Automated Differential Testing for OCaml Modulesin-person OCaml Ernest Ng Cornell University, Harrison Goldstein University of Maryland College Park, Benjamin C. Pierce University of Pennsylvania Pre-print File Attached | ||
12:07 22mTalk | First-Class Windows: Building a Roadmap for OCaml on Windowsin-person OCaml File Attached |