Olivier Mélois

UCM : release/0.5.40 Reproduction : ```haskell term: (forall x . [x] -> [x]) -> Boolean term f = isEmpty (f []) someDoc = {{ test {term} }} ``` fails with...

Add a "TypeTag" primitive type (and means to instantiate it)

2

#### Problem statement At the time of writing this, persistent named constructs (such as tables, services, etc) are typically expressed as phantom types. As such, they do not carry the...

Proguard `rt` jar not found in CI

5

Unfortunately cannot provide a reproducer as this happens on CI at $work. Here's the stack trace : ``` java.io.IOException: Can't read [/root/.mill/ammonite/rt-17.0.14.jar] (No such file or directory: /root/.mill/ammonite/rt-17.0.14.jar) at proguard.InputReader.readInput(InputReader.java:282)...

Error diagnostics get stuck in build files (.mill) in vscode/metals

1

Here's a video capture showing the problem on a brand new project (using mill 0.12.8). mill-bsp is used as the build server backing metals in this scenario https://github.com/user-attachments/assets/7509e71b-ce97-4685-880e-4fac4c542950

[Introduction à Unison, un langage pensé pour le cloud] Olivier Mélois

1

Language of the talk: - [x] 🇫🇷 - [ ] 🇬🇧 Je peux présenter en Anglais si demande il y a ## About you * Olivier Mélois * [Link to...

Java support

1

mdoc is awesome, I love it to bits. In the context of my $work, I maintain tooling (libraries in particular) for both Java and Scala users. I'm wondering how hard...

Feature request : allow the smithy-build CLI to source models from some SPI-loaded interface

1

It'd be nice if smithy-build provided a way for services to be loaded programmatically. A usecase would be for it to allow models resulting from translations from other formats, like...