Error handling: Difference between revisions

From NixOS Wiki
imported>Pogobanane
No edit summary
imported>Pogobanane
m fix layouting
Line 9: Line 9:
== Nix ==
== Nix ==


The nix language has some constructs to help with printing messages.
The nix language has a construct to help with printing messages.


* '''assert''': throw an error [2]
* '''assert''': throw an error (see [https://nixos.org/manual/nix/stable/language/constructs.html?highlight=assert#assertions; Nix manual: Assertions])


The nix language already comes with some usefult builtin functions [3]:
The nix language also comes with some related [https://nixos.org/manual/nix/stable/language/builtins.html; builtin functions]:


* '''throw''': throw an error with a message
* '''throw''': throw an error with a message
* '''abort''': same as throw, but always stop evaluation
* '''abort''': same as throw, but always stop evaluation
* '''trace''': print to stderr
* '''trace''': print to stderr
* '''traceVerbose''': print, but only when in --trace-verbose mode
* '''traceVerbose''': print, but only when in <code>--trace-verbose</code> mode
* '''break''': breakpoint when in --debugger mode
* '''break''': breakpoint when in <code>--debugger</code> mode
* '''tryEval''': catch throws and asserts
* '''tryEval''': catch throws and asserts


Commonly, assert is combined with throw to generate meaningful error messages: assert condition || throw "message"; This pattern is essentially how lib.assertMsg works (see Sec. nixpkgs). [1]
Commonly, assert is combined with throw to generate meaningful error messages: <code>assert condition || throw "message";</code>. This pattern is essentially how <code>lib.assertMsg</code> works (see Sec. nixpkgs). <ref>[https://github.com/NixOS/nixpkgs/issues/154292; throw vs assert discussion]</ref>


== nixpkgs ==
== nixpkgs ==
Line 28: Line 28:
There are three main facilities for printing errors and do print debugging in nixpkgs:
There are three main facilities for printing errors and do print debugging in nixpkgs:


* lib.trivial.* [6]
* lib.trivial.* (see [https://nixos.org/manual/nixpkgs/stable/#sec-functions-library-trivial; nixpkgs manual: lib.trivial])
    * lib.throwIf and throwIfNot
** lib.'''throwIf''' and throwIfNot
    * lib.warn, warnIf and warnIfNot
** lib.'''warn''', '''warnIf''' and warnIfNot
* lib.debug.*: tracing functions with some pretty printing [7, 9]
* [https://nixos.org/manual/nixpkgs/stable/#sec-functions-library-debug; lib.'''debug'''.*]: tracing functions with some pretty printing <ref>[http://ryantm.github.io/nixpkgs/functions/library/debug/#sec-functions-library-debug; Nixpkgs/docs: lib.debug]</ref>
* lib.asserts.*: assert functions [8]
* [https://nixos.org/manual/nixpkgs/stable/#sec-functions-library-asserts; lib.'''asserts'''.*]: assert functions


These facilities also expose their attributes directly via lib.* (e.g. lib.throwIf).  
These facilities also expose their attributes directly via <code>lib.*</code> (e.g. <code>lib.throwIf</code>).  


Nixpkgs also has a debugging facility like nix's break: the breakpointHook (see [12]).
Nixpkgs also has a debugging facility like nix's <code>break</code>: the [https://nixos.org/manual/nixpkgs/stable/#breakpointhook; breakpointHook].


== NixOS ==
== NixOS ==


The NixOS module system again wraps these library functions and makes them available via module options: [11, 10]
The NixOS module system again wraps these library functions and makes them available via module options (see [https://nixos.org/manual/nixos/stable/index.html#sec-assertions-warnings; NixOS manual: Assertions/Warnings]): <ref>[https://github.com/NixOS/nixpkgs/blob/nixos-22.11/nixos/doc/manual/development/assertions.section.md; Nixpkgs/docs: Assertions]</ref>


* config.warnings = [];
* <code>config.warnings = [];</code>
* config.assertions = [];
* <code>config.assertions = [];</code>


An example for a debugging facility in NixOS is running NixOS tests interactively (see [13]).
An example for a debugging facility in NixOS is running [https://nixos.org/manual/nixos/stable/index.html#sec-running-nixos-tests-interactively; NixOS tests interactively].


== Debugging ==
== Debugging ==
Line 51: Line 51:
<!-- put debugging into a heading for search engine optimisation -->
<!-- put debugging into a heading for search engine optimisation -->


As mentioned above, you can use break to debug nix code, breakpointHook to debug nix builds and NixOS facilities to debug NixOS tests.  
As mentioned above, you can use <code>break</code> to debug nix code, <code>breakpointHook</code> to debug nix builds and interactive tools to debug NixOS tests.  


== See also ==
== References ==
 
[1] throw vs assert discussion: https://github.com/NixOS/nixpkgs/issues/154292
[2] https://nixos.org/manual/nix/stable/language/constructs.html?highlight=assert#assertions
[3] https://nixos.org/manual/nix/stable/language/builtins.html
[4] https://search.nixos.org/options?channel=unstable&from=0&size=50&sort=relevance&type=packages&query=warnings
[5] https://nixos.org/manual/nixpkgs/stable/
[6] https://nixos.org/manual/nixpkgs/stable/#sec-functions-library-trivial
[7] https://nixos.org/manual/nixpkgs/stable/#sec-functions-library-debug
[8] https://nixos.org/manual/nixpkgs/stable/#sec-functions-library-asserts
[9] http://ryantm.github.io/nixpkgs/functions/library/debug/#sec-functions-library-debug
[10] https://github.com/NixOS/nixpkgs/blob/nixos-22.11/nixos/doc/manual/development/assertions.section.md
[11] https://nixos.org/manual/nixos/stable/index.html#sec-assertions-warnings
[12] https://nixos.org/manual/nixpkgs/stable/#breakpointhook
[13] https://nixos.org/manual/nixos/stable/index.html#sec-running-nixos-tests-interactively

Revision as of 13:37, 4 May 2023

This page is a collection of facilities and tools from nix, nixpkgs and NixOS for error handling and debugging. You can use them to convey configuration errors to users or to debug nix expressions trough interactive or print debugging.

In most cases you will want to stick to the highest level abstraction: config.warnings or lib.assertMsg

<give examples for both>

Nix

The nix language has a construct to help with printing messages.

The nix language also comes with some related builtin functions:

  • throw: throw an error with a message
  • abort: same as throw, but always stop evaluation
  • trace: print to stderr
  • traceVerbose: print, but only when in --trace-verbose mode
  • break: breakpoint when in --debugger mode
  • tryEval: catch throws and asserts

Commonly, assert is combined with throw to generate meaningful error messages: assert condition || throw "message";. This pattern is essentially how lib.assertMsg works (see Sec. nixpkgs). [1]

nixpkgs

There are three main facilities for printing errors and do print debugging in nixpkgs:

These facilities also expose their attributes directly via lib.* (e.g. lib.throwIf).

Nixpkgs also has a debugging facility like nix's break: the breakpointHook.

NixOS

The NixOS module system again wraps these library functions and makes them available via module options (see NixOS manual: Assertions/Warnings): [3]

  • config.warnings = [];
  • config.assertions = [];

An example for a debugging facility in NixOS is running NixOS tests interactively.

Debugging

As mentioned above, you can use break to debug nix code, breakpointHook to debug nix builds and interactive tools to debug NixOS tests.

References