tests/native-exceptions-table.nix

docs/nixos.md's table of built-in native exceptions is generated from lib/native-exceptions.nix; this fails when the two differ. Print the table to paste between the markers with

nix eval --raw .#checks.x86_64-linux.native-exceptions-table.table

λpkgs

let

8inherit pkgs

lib

9data=

import../lib/native-exceptions.nix

used by e names

Both systems' first, then NixOS's, then finix's.

11group=

λe

lib.lengthe.os ≡ 2

→

lib.elem"nixos" e.os

→

else

uses lib used by names

19names=

lib.sorta: b: groupdata.${a} < groupdata.${b} ∨ groupdata.${a} ≡ groupdata.${b} ∧ a < b lib.attrNamesdata

uses data group lib used by table

24mark=

os: e: if lib.elemos e.os then "✓" else ""

uses lib used by table

25table=

| --- | --- | --- | --- |

lib.concatMapStrings

λn

let

32e=

data.${n}

uses data

"| `${n}` | ${mark"nixos" e} | ${mark"finix" e} | ${e.why} |\n"

names

uses lib mark names

pkgs.runCommand"native-exceptions-table"

39inherit

table

40passAsFile=

"table"

41passthru=

inherit table;

sed -n '//,//p' ${../docs/nixos.md} |

sed '1d;$d' > docs

if ! diff -u docs "$tablePath"; then

echo "docs/nixos.md: replace the table between the native-exceptions markers with" >&2

echo " nix eval --raw .#checks.x86_64-linux.native-exceptions-table.table" >&2

exit 1

touch $out