Andreas Rossberg

Not a hell lot happening, I'm afraid, not even an invocation of Cygwin setup: ``` $ opam install -vv conf-libffi + C:\Users\me\AppData\Local\opam\default\bin\ocamlc.exe "-vnum" - 5.4.0 + C:\windows\system32\cmd.exe "/d" "/c" "for...

All looks normal: ``` $ opam var --global arch x86_64 # Inferred from system exe .exe # Suffix needed for executable filenames (Windows) jobs 23 # The number of parallel...

Hah, indeed! Upgrading Opam to 2.5.0 seems to fix the problem. Nice, thanks! But that also means we're back to square one regarding the CI failures. I wonder if it...

Interesting. Perhaps Opam merely fails to update PATH somewhere, so that the new DLL isn't found during the same cycle. Great that you found a workaround, though! Looking forward to...

FWIW, I had the same issue in CI, and adopted your workaround in the [Makefile](https://github.com/rossberg/camp/blob/master/Makefile#L46) of the audio player that I just shared on the Caml list, which uses Raylib...

> Another issue worth considering: Upgrade class object in stable memory (dfinity/dx-triage#40) Stable objects would require stable functions, so I extended that item. An alternative would be to support conversion...

My take: > * if an extended fork of SpecTec is necessary to support the feature, where should that fork live? > * alternatively, should we require that the main...

You are correct that the only way to create a useful immutable array is with array.new_fixed at the moment. The array.copy instruction you mention has been added to the proposal,...

@dpvc, thank you a lot for the extensive feedback. Lots of valuable insight! So far we've told people to turn semantic enrichment back on manually if they need it. FWIW,...

@dpvc, I tried your suggestion of macro-redefining `\mathtt` to `\texttt` and friends for the HTML. Unfortunately, that breaks some of the typesetting, where it's combined with style options like `\scriptstyle`....