!djTaTBQyWEPRQxrPTb:nixos.org

Nixpkgs Architecture Team

227 Members
https://github.com/nixpkgs-architecture, weekly public meetings on Wednesday 15:00-16:00 UTC at https://meet.jit.si/nixpkgs-architecture53 Servers

You have reached the beginning of time (for this room).


SenderMessageTime
9 Aug 2023
@Ericson2314:matrix.orgJohn EricsonWarnings from forcing the old attribute?02:07:52
@Ericson2314:matrix.orgJohn EricsonFair enough, if so02:08:09
@infinisil:matrix.orginfinisilYeah nix repl at least uses drvPath to print, I imagine drvPath is used in other parts of Nix too02:08:54
@Ericson2314:matrix.orgJohn EricsonI guess it would be nice to say we can make use of this builtin irrespective of any deprecation policy: we can make a nicer way to keep this weird expressive power 02:09:24
@Ericson2314:matrix.orgJohn EricsonThe discard way is quasi unsafe because it "weakens" the string context throwing stuff away02:09:46
@infinisil:matrix.orginfinisilIt's very late here, can you write a concrete proposal for Nixpkgs into some issue? We can take another look then02:09:57
@Ericson2314:matrix.orgJohn EricsonThe one I made "strengthens" the string context so I think we can just set aside `drvPath` an hope this is good primop which we can e.g. make a Nixpkgs lib function from which would hide some of the details02:10:42
@Ericson2314:matrix.orgJohn EricsonYeah 02:10:47
@Ericson2314:matrix.orgJohn EricsonIndeed it is late02:11:00
@infinisil:matrix.orginfinisilI didn't bother with a PR, but I updated the NAT GitHub profile with information regarding the new member-exclusive Matrix channel used to review team applications23:01:00
@infinisil:matrix.orginfinisil * I didn't bother with a PR, but I updated the NAT GitHub profile with information regarding the new member-exclusive Matrix channel used to review team applications: https://github.com/nixpkgs-architecture/.github/commit/c8eb7b0c34bf4faa9a6cb1b06408b55bb9c32c9023:01:14
@infinisil:matrix.orginfinisil That was mentioned in the last meeting notes as well. I will make sure that we really only use that private channel for things that can't be shared publicly. 23:05:54

Show newer messages


Back to Room ListRoom Version: 9