Code

nix: Improve clarity of top-level#235

Code

Merged

nspin merged 12 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/improve-nix-top-levelnspin/rust-sel4:pr/improve-nix-top-levelCopy head branch name to clipboardNov 14, 2024

+272-280

Commits

Commits on Nov 13, 2024

• nix: Improve clarity of top-level

  Show description for 79706ff
  nspin

  committed
  79706ff

• nix: Use newer lib.makeScopeWithSplicing'

  Show description for 9e29c50
  nspin

  committed
  9e29c50

• nix: Use makeScopeWithSplicing' instead of lib.""

  Show description for 76e6970
  nspin

  committed
  76e6970

• nix: Remove thisTopLevel from scope

  Show description for 32ce426
  nspin

  committed
  32ce426

• nix: Avoid redundant eval

  Show description for 180e59d
  nspin

  committed
  180e59d

• nix: Remove unecessary arg of makeOverridableWith

  Show description for 73e40b1
  nspin

  committed
  73e40b1

• nix: Improve name of makeOverridable

  Show description for 68b6436
  nspin

  committed
  68b6436

• nix: Inline treeHelpers

  Show description for 5a7391c
  nspin

  committed
  5a7391c

• nix: Shrink scopes

  Show description for ce11f98
  nspin

  committed
  ce11f98

• nix: Divide top-level into multiple files

  Show description for f6b4f12
  nspin

  committed
  f6b4f12

• nix: Remove unecessary with statement

  Show description for a471bc8
  nspin

  committed
  a471bc8

• nix: Rename aggregating.nix -> aggregates.nix

  Show description for 5f61ccc
  nspin

  committed
  5f61ccc