ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Structured diagnostics for the OCaml compiler
Structured diagnostics for the OCaml compilerin-person
Compiler error messages are one of the basic block of a language developer experience. However, many other tools –from language servers to build systems– participate to this experience. Thus, compiler diagnostics ought to be understandable not only by humans but also tools. How do we add machine-readable diagnostics to the OCaml compiler?
| Paper (ocaml2024-final13.pdf) | 119KiB |
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 | ||