tvl-depot/users/Profpatsch
Profpatsch 42974ddd64 feat(users/Profpatsch/netencode): nest Us in U::List
Earlier we left the next level of values unencoded, since lists are
just concatenated netencode values. But I noticed that you can’t write
e.g. a `t_to_u` function, because only in the case of lists you need
to allocate memory.

Turns out that if we read the next level of values, everything is
handled the same as in `Record` and things suddenly start working.

We can also throw away some of the strange and ad-hoc parser helpers
we needed before, `skip` and `list_take`, since now those are just
normal `Vec::iter().skip()` and take.

Change-Id: Ibc476e028102944a65c2b64621047086cfc09aa5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2488
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
2021-02-06 19:43:06 +00:00
..
arglib refactor(users/Profpatsch): move arglib_netencode into its own lib 2021-01-31 11:10:00 +00:00
emacs-tree-sitter-move feat(emacs-tree-sitter-move): shell and json test files 2021-01-01 22:40:38 +00:00
execline feat(users/Profpatsch): add die_* helpers for semantic exit errors 2021-01-31 16:06:25 +00:00
netencode feat(users/Profpatsch/netencode): nest Us in U::List 2021-02-06 19:43:06 +00:00
netstring feat(users/Profpatsch/netencode): rename spec -> README 2021-01-23 15:37:26 +00:00
nixpkgs-rewriter feat(users/Profpatsch): add script for randomly evaling nixpkgs 2021-01-11 08:58:57 +00:00
writers feat(Profpatsch/writers): add rustSimple writers 2021-01-03 16:29:57 +00:00
lib.nix fix(users/Profpatsch/lib): eprintenv should exec into prog 2021-01-31 11:10:00 +00:00
OWNERS feat(users/Profpatsch): add home directory 2020-06-27 03:39:57 +00:00
read-http.nix feat(users/Profpatsch): add die_* helpers for semantic exit errors 2021-01-31 16:06:25 +00:00
read-http.rs fix(users/Profpatsch/netencode): decode U::Text directly into str 2021-02-06 19:43:06 +00:00
rust-crates.nix fix(users/Profpatsch/read-http): actually parse ascii 2021-01-31 11:10:00 +00:00
tree-sitter.nix feat(users/Profpatsch/netstring): add rust to_netstring 2021-01-23 15:33:50 +00:00