!wfudwzqQUiJYJnqfSY:nixos.org

NixOS Module System

139 Members
27 Servers

Load older messages


SenderMessageTime
7 Sep 2025
@ggemre:matrix.orgnkl joined the room.15:54:19
8 Sep 2025
@inayet:matrix.orgInayet set a profile picture.02:17:16
9 Sep 2025
@aciceri:nixos.devaciceri changed their display name from zrsk to aciceri.15:02:18
10 Sep 2025
@ss:someonex.netSomeoneSerge (back on matrix) changed their display name from SomeoneSerge (@nixcon & back on matrix) to SomeoneSerge (back on matrix).00:34:47
@nerves:bark.lgbt@nerves:bark.lgbt left the room.12:31:55
12 Sep 2025
@creepinson:matrix.org@creepinson:matrix.org left the room.01:43:07
14 Sep 2025
@emma:rory.gay@emma:rory.gay joined the room.08:39:58
23 Sep 2025
@a-kenji:matrix.orgkenji changed their display name from a-kenji to kenji.10:37:25
30 Sep 2025
@17lifers:mikuplushfarm.ovh17lifers (at mikuplushfarm) joined the room.16:05:31
@mjolnir:nixos.orgNixOS Moderation Bot banned @mightyiam:matrix.org@mightyiam:matrix.org (divisive behavior.).19:22:06
3 Oct 2025
@moleksiak:matrix.orgmoleksiak joined the room.23:13:54
13 Oct 2025
@vivekanandan_ks:matrix.orgvivekanandan_ks joined the room.18:55:01
21 Oct 2025
@jonhermansen:matrix.orgjonhermansen joined the room.20:56:17
23 Oct 2025
@mrargoz:matrix.org@mrargoz:matrix.org joined the room.21:02:11
24 Oct 2025
@mrargoz:matrix.org@mrargoz:matrix.org left the room.04:41:41
@seapat:matrix.orgseapat 20:35:16
1 Nov 2025
@glepage:matrix.orgGaétan Lepage changed their profile picture.22:53:22
@glepage:matrix.orgGaétan Lepage changed their profile picture.22:54:19
4 Nov 2025
@cafkafk:gitter.imcafkafk changed their profile picture.08:23:11
@gradientvera:matrix.orgVera Gradient joined the room.08:34:45
7 Nov 2025
@emma:rory.gay@emma:rory.gay left the room.22:42:52
9 Nov 2025
@draed:matrix.orgdraed joined the room.15:24:51
12 Nov 2025
@inayet:matrix.orgInayet changed their display name from inayet to Inayet.12:38:21
18 Nov 2025
@jopejoe1:matrix.orgjopejoe1 (4094@39c3) changed their display name from jopejoe1 to jopejoe1 (4094@39c3).20:19:24
20 Nov 2025
@user12592851:matrix.orgJohn joined the room.06:56:48
21 Nov 2025
@isabel:isabelroses.comisabel changed their profile picture.18:14:02
23 Nov 2025
@mattsturg:matrix.orgMatt Sturgeon

In nixvim, we recently used the new valueMeta to implement a warning that checks whether a submodule's sub-option is defined.

I was anticipating some breakage for users with an old/outdated nixpkgs revision pre-dating #391544. This seems to be the case for some users, however other users apparently have up-to-date inputs and are still reporting error: attribute 'valueMeta' missing.

Reports are in #3966 and #3960.

The nixvim test suite does not reproduce this in any of its test cases, most of which are module evals. The affected users have not yet provided complete reproducible examples.

One initial hypothesis is that type-merging (not definition merging) could be breaking v2 check+merge? E.g. if users declare programs.nixvim.* submodule options from outside the nixvim submodule, those declarations get merged into the option-type via type-merging. But that is pure conjecture at this point.

Before I dive too deep into investigating and trying to reproduce the issue, I was wondering if hsjobeki , Robert Hensing (roberth) , or anyone else familiar may have some insight or intuition?

23:02:23
@roberthensing:matrix.orgRobert Hensing (roberth) Versions could explain it. Maybe add some asserts to catch that early? E.g. assert (attrsOf unspecified)?merge.v2; ... 23:10:16
@mattsturg:matrix.orgMatt Sturgeon

Ah, that seems to be it.

A 25.05 (or otherwise pre-v2-checkAndMerge) host configuration importing a nixvim wrapper-module will use that host-configuration's lib as the basis for nixvim's "extended" lib:

https://github.com/nix-community/nixvim/blob/2606dc719488065e735ff0fc622d743566b21ad4/wrappers/_shared.nix#L73-L77

That should probably be changed to freshly import lib from our flake-locked nixpkgs revision, the same as we do when constructing pkgs.

23:48:16
24 Nov 2025
@whispers:catgirl.cloud@whispers:catgirl.cloud joined the room.00:26:42

Show newer messages


Back to Room ListRoom Version: 10