Nicolas Berbiche

typechecker: check exhaustiveness against refined args

3

This PR changes the logic in the exhaustiveness check to check for refinability of the refined args instead of the non-refined args. This was suggested in a different issue here:...

exhaustiveness issue alert for wrong parameter

2

I found an issue related to the message printed when an exhaustive check finds non-exhaustive patterns. The following test case incorrectly reports that the second parameter is not exhaustive while...

throwing a record fails with an error : expected to have type Any

2

Hi, Since the last stable release, throwing a record results in an error: ``` erlang -module(error2). -compile([export_all, nowarn_export_all]). -record(my_error_type, { not_important :: atom() }). %% error2.erl: The record on line...

Hi, I discovered an issue related to variable scoping where variables inside of a lambda affect the external scope. A reproducible test case is the following: ``` erlang -module(error). -compile([export_all,...

Fix refinable record fields

2

Previously, every record would be refined because the record that was passed to `refinable/3` always had no fields. Gradualizer would then crash on `pick_value` for types it cannot pick an...

Support XFCE

2

Supporting XFCE is as simple as: ``` console $ xfconf-query -c xsettings -p /Net/ThemeName -s 'Adwaita' $ xfconf-query -c xsettings -p /Net/ThemeName -s 'Adwaita-dark' ``` Thanks for this tool!

Disable taking control of ~/Applications folder

14

Programs like Steam add applications to ~/Applications and such. This PR disables linking `~/Applications` to nix-darwin applications in the `/nix/store` and makes nix-darwin use a subfolder within `~/Applications`. See https://github.com/rycee/home-manager/issues/1341#issuecomment-687286866

bug: environment variables are unavailable in ZSH since #2708 was merged

40

### Is there an existing issue for this? - [X] I have searched the existing issues ### Issue description Context: https://github.com/nix-community/home-manager/commit/2116fe6b50a5118d56f1f443cccf024abee9de40#r67122011 ### Maintainer CC _No response_ ### System information ```markdown...

Make new release in `NixOS/nixpkgs` (ahead of 22.05 release)

2

Is there any new release in `NixOS/nixpkgs` planned? That release is really outdated (and without this patch broken now) _Originally posted by @genofire in https://github.com/nix-community/home-manager/pull/2867#issuecomment-1093337361_

Adapt test suite to be used with Flake's checks

6

### Issue description I open this issue to track the work of adapting the test suite to work with Flake's `checks`. I haven't started the work yet, so if anyone...