about summary refs log blame commit diff
path: root/tvix/eval/src/tests/tvix_tests/eval-okay-assert-thunk-condition.nix
blob: ac65f5814dd03c1cb9699fe0957ae0df4a736b02 (plain) (tree)
1
2
3
4
5
6
7




                                                                       
                                                     
                          
let
  condition = x: y: x < y;
in

# The function application here will become a thunk which verifies that
  # assert forces the condition expression correctly.
assert condition 21 42; 21