Code

Pure dec enc with gz#143

Code

Merged

dinosaure merged 26 commits intomainmirage/ocaml-tar:mainfrom pure-dec-enc-with-gzmirage/ocaml-tar:pure-dec-enc-with-gzCopy head branch name to clipboardAug 4, 2024

+1,425-837

Commits

Commits on Feb 3, 2024

• revise a decoder and encoder, being pure

  hannesm

  committed
  6c54ca0

  Copy full SHA for 6c54ca0

• remove stuff

  hannesm

  committed
  c67f945

  Copy full SHA for c67f945

• wip

  hannesm

  committed
  9ccc73b

  Copy full SHA for 9ccc73b

• fix

  hannesm

  committed
  ebabd3c

  Copy full SHA for ebabd3c

• proposed API

  hannesm

  committed
  ce9337b

  Copy full SHA for ce9337b

• add filter

  hannesm

  committed
  50f6659

  Copy full SHA for 50f6659

• initial compiling tar_unix

  hannesm

  committed
  1b4ae55

  Copy full SHA for 1b4ae55

• remove offset nonsense

  hannesm

  committed
  984ffe0

  Copy full SHA for 984ffe0

Commits on Feb 4, 2024

• lwt-unix

  hannesm

  committed
  9c1c120

  Copy full SHA for 9c1c120

• further work, get tests a bit more up to speed

  hannesm

  committed
  29d884e

  Copy full SHA for 29d884e

• more tests are working now

  hannesm

  committed
  281883b

  Copy full SHA for 281883b

• revive transform test

  hannesm

  committed
  60d6faa

  Copy full SHA for 60d6faa

• test tar_unix, use fold for list

  hannesm

  committed
  462063b

  Copy full SHA for 462063b

• document write_header

  hannesm

  committed
  2b49b1f

  Copy full SHA for 2b49b1f

Commits on Feb 7, 2024

• Purify fold and move it into Tar with a GADT, use it then for Tar_gz which will produce an other GADT value and Tar_{,lwt_}unix which evaluate our GADT

  dinosaure

  committed
  2388f62

  Copy full SHA for 2388f62

• Keep the bind as is and Tar_gz does not require the run function (/cc @reynir)

  dinosaure

  committed
  8b308a9

  Copy full SHA for 8b308a9

• Implement Tar_gz.gzipped : _ Tar.t -> _ Tar.t

  Show description for 14681fe
  reynir

  committed
  14681fe

  Copy full SHA for 14681fe

• Fix the otar binary

  dinosaure

  committed
  d5ad1df

  Copy full SHA for d5ad1df

• Implement the high kind polymorphism to fix the lwt_unix layer

  dinosaure

  committed
  c7c81d2

  Copy full SHA for c7c81d2

Commits on Feb 21, 2024

• Add a comment to explain the hkp trick

  dinosaure

  committed
  906d6dc

  Copy full SHA for 906d6dc

Commits on May 7, 2024

• Minor: qualify opens, fix tests

  reynir

  committed
  b8b4ff6

  Copy full SHA for b8b4ff6

• Partially implement tar_eio, stub out remainder

  reynir

  committed
  0cfd771

  Copy full SHA for 0cfd771

Commits on May 9, 2024

• Seek returns unit, improve documentation

  Show description for c24cd1b
  

  3 peoplecommitted
  c24cd1b

  Copy full SHA for c24cd1b

• Remove [`Msg of string] from Tar_unix.decode_error

  Show description for 576dcff
  

  3 peoplecommitted
  576dcff

  Copy full SHA for 576dcff

• Document Tar.fold

  reynir

  committed
  b1c10d0

  Copy full SHA for b1c10d0

• Fixups

  reynir

  committed
  890c1fe

  Copy full SHA for 890c1fe