Alain Frisch

Clash with "official" zlib/camlzip

13

camlpdf comes with a custom copy of camlzip. This raises a few questions: - Are there changes with the upstream version, except for the use of miniz instead of zlib?...

tmc-breaks-tailcall warning not being raised consistently

3

````ocaml let foo f l = let[@inline never][@local never] g () = assert false in let[@tail_mod_cons] rec map f = function | [] -> g () | hd :: tl...

The spec for the Zip format (https://pkware.cachefly.net/webdocs/casestudies/APPNOTE.TXT) says: > 4.4.17.1 The name of the file, with optional relative path. > The path stored MUST NOT contain a drive or >...

gzip : allow reading from / writing to in-memory buffer

2

The current API of the Gzip module only allows reading from a `Stdlib.in_channel`. This PR allows reading from a in-memory `bytes`, which is sometimes useful (we have a concrete use...

"flexlink -install" to compile its own runtime objects

5

As discussed with @dra27, the idea is to let flexlink creates its own object files (flexdll_{initer_,}CHAIN.{obj,o}`). The following options are added to flexink: - `-install` : ask flexlink to compile...

Forward type definitions

5

A proposal to add "forward type definitions", allowing in particular mutually recursive type definitions to be split into multiple compilation units.