| 8 Jul 2021 |
 balsoft | Huh? | 16:32:06 |
| balsoft | For me, the only "horribly slow" part is when IFD is involved. | 16:32:16 |
| balsoft | And that can be fixed without a new language. | 16:32:23 |
 Las | Yeah, you could just fix the interpreter | 16:32:37 |
| Las | but you could perhaps reuse the one in Nickel, was my idea | 16:32:47 |
| Las | Does evaluating your system configuration not take over 1 GiB of RAM? | 16:33:01 |
 Mic92 (Old) | Yeah. Everything evaluates single threaded and the gc cannot really garbage collect packages while evaluating. | 20:46:22 |
| 9 Jul 2021 |
 siraben | I want to look into literature on gradual typing in general | 05:12:54 |
| siraben | is there an STLC version of gradual types? something simple so that I can see what kinds of metatheoretical properties are usually proved (in type systems it's usually progress and preservation) | 05:13:37 |
 manveru | i dunno, but it seems nickel can't express something like { rules | Record Str -> #Rule } (or however that'd be written) to define that i simply want a record with user-chosen keys but specific value types... | 09:40:43 |
| manveru | basically rules = mkOption { type = attrsOf (submodule {name, ...}: { ... }; }; in nix | 09:42:24 |
| manveru | dhall had the same problem, which is why i gave up on that :| | 09:43:06 |
| manveru | so i'll stick with Nix and CUE for now, since they can work with such data more easily | 09:43:44 |
| manveru | garbas: are there any plans regarding that? I looked through the nickel docs and examples and didn't find any mention... | 09:46:55 |
 garbas | In reply to @manveru:matrix.org
garbas: are there any plans regarding that? I looked through the nickel docs and examples and didn't find any mention... I think Yann had some plans about this, but I think he just didn't have the time to look at this usecase. | 09:50:50 |
| garbas | In reply to @garbas:matrix.org
I think Yann had some plans about this, but I think he just didn't have the time to look at this usecase. Could you please create an issue about it to make sure Yann does not forget to look at this usecase? | 09:51:33 |
| manveru | In reply to @garbas:matrix.org
Could you please create an issue about it to make sure Yann does not forget to look at this usecase? sure, will do that :) | 09:51:51 |
|  vika (she/her) ๐ณ๏ธโโง๏ธ set a profile picture. | 16:38:42 |
| 10 Jul 2021 |
|  kreyren joined the room. | 08:35:11 |
| Mic92 (Old) changed their display name from Mic92 to Mic92 (Old). | 14:02:19 |
|  Mic92 joined the room. | 14:36:33 |
| Mic92 (Old) left the room. | 15:00:25 |
| 12 Jul 2021 |
| manveru | hmm, more adventures in trying to do nix builds inside nixos tests... | 12:12:11 |
| manveru | > ci # + nix eval path:/test-repo#cacert.out.outPath
> "/nix/store/l3gvrxslsza613rmckiyjm02ps48jbsi-nss-cacert-3.66"
> ci # + tree /nix/store/l3gvrxslsza613rmckiyjm02ps48jbsi-nss-cacert-3.66
> /nix/store/l3gvrxslsza613rmckiyjm02ps48jbsi-nss-cacert-3.66
> โโโ etc
> โย ย โโโ ssl
> โย ย โโโ certs
> โย ย โโโ ca-bundle.crt
> โโโ nix-support
> โโโ setup-hook
> ci # + nix build path:/test-repo#cacert.out
> ci # warning: error: unable to download 'https://cache.nixos.org/nix-cache-info': Couldn't resolve host name (6); retrying in 338 ms
> ci # warning: error: unable to download 'https://cache.nixos.org/nix-cache-info': Couldn't resolve host name (6); retrying in 703 ms
> ci # warning: error: unable to download 'https://cache.nixos.org/nix-cache-info': Couldn't resolve host name (6); retrying in 1038 ms
> ci # warning: error: unable to download 'https://cache.nixos.org/nix-cache-info': Couldn't resolve host name (6); retrying in 2060 ms
> ci # warning: unable to download 'https://cache.nixos.org/nix-cache-info': Couldn't resolve host name (6)
> ci # warning: error: unable to download 'https://curl.haxx.se/download/curl-7.76.1.tar.bz2': Couldn't resolve host name (6); retrying in 310 ms
> ci # warning: error: unable to download 'https://curl.haxx.se/download/curl-7.76.1.tar.bz2': Couldn't resolve host name (6); retrying in 569 ms
> ci # warning: error: unable to download 'https://curl.haxx.se/download/curl-7.76.1.tar.bz2': Couldn't resolve host name (6); retrying in 1058 ms
> ci # warning: error: unable to download 'https://curl.haxx.se/download/curl-7.76.1.tar.bz2': Couldn't resolve host name (6); retrying in 2096 ms
> ci # error: builder for '/nix/store/7ky2h80ahnjb83v1cbqha7l4168sc9ck-curl-7.76.1.tar.bz2.drv' failed with exit code 1;
> ci # last 1 log lines:
> ci # > error: unable to download 'https://curl.haxx.se/download/curl-7.76.1.tar.bz2': Couldn't resolve host name (6)
> ci # For full logs, run 'nix log /nix/store/7ky2h80ahnjb83v1cbqha7l4168sc9ck-curl-7.76.1.tar.bz2.drv'.
| 12:12:19 |
| manveru | why does this try to build cacert and curl? i also did a build for curl and bash, and they both simply took it from the /nix/store... | 12:15:57 |
| manveru | hm, i suspect it has something to do with the way fetchurl and cacert depend on each other... | 13:00:24 |
| kreyren changed their profile picture. | 21:43:03 |
| kreyren changed their profile picture. | 21:54:23 |
| 13 Jul 2021 |
| manveru | ok... for some reason the only way i could get this to work was putting cacert into system.extraDependencies... weird stuff | 07:39:15 |
|  -(๐eloฯ)- changed their display name from -(NIX/โฯ)- to -(๐eloฯ)-. | 14:47:10 |
