| 19 Apr 2025 |
|  @accelbread:matrix.org left the room. | 20:30:31 |
| 22 Apr 2025 |
|  @cirnolovetech:matrix.org left the room. | 09:31:37 |
| 25 Apr 2025 |
|  @creepinson:matrix.org joined the room. | 23:38:39 |
| 29 Apr 2025 |
|  n8henrie joined the room. | 18:04:14 |
| 1 May 2025 |
|  Rosuavio changed their display name from Rosario Pulella to Rosuavio. | 20:08:44 |
| 8 May 2025 |
|  isabel changed their profile picture. | 08:57:53 |
| isabel changed their profile picture. | 08:57:59 |
|  ·☽•Nameless☆•777 · ± changed their profile picture. | 13:26:34 |
| 16 May 2025 |
 SomeoneSerge (back on matrix) | I never acquainted with types.nix, is there some fundamental reason that either of two freeform submodules couldn't work when left and right have disjoint explicit options?
with import <nixpkgs/lib>;
evalModules {
modules = [
{
options.foo = mkOption {
type =
types.either
(types.submodule {
freeformType = types.attrsOf types.str;
options.marker_a = mkOption {
type = types.str;
};
})
(
types.submodule {
freeformType = types.attrsOf types.str;
options.marker_b = mkOption {
type = types.str;
};
}
);
};
config.foo = {
marker_b = "bar";
};
}
];
}
{ foo = { marker_a = «error: The option `foo.marker_a' was accessed but has no value defined. Try setting
the option.»; marker_b = "bar"; }; }
| 19:49:57 |
 Matt Sturgeon | I believe the issue is the left and right type's check function.
either will use whichever type fist passes check value, and iirc submodules just use something like check = isAttrs
| 19:52:25 |
 h7x4 | Some of the "container types" don't really check what's inside before being evaluated at a later stage. I believe this is the case for submodules, listOf and attrsOf. As a hack, you can add those checks with lib.types.addCheck. Same scenario with either and oneOf. | 19:53:46 |
| Matt Sturgeon | It's intentional that the submodule-type's check function is not very restrictive, since you can assign any module to a submodule and it is down to the submodule's configuration to evaluate and merge its own definitions internally. | 19:53:58 |
