You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
with import <nixpkgs> {};
|
|
let
|
|
func = x: y: assert (x==2) || abort "x has to be 2 or it won't work!"; x + y;
|
|
n = -1; # only modify this line
|
|
in
|
|
|
|
assert (lib.isInt n) || abort "Type error since supplied argument is no int!";
|
|
|
|
rec {
|
|
ex00 = func (n+3) 3;
|
|
} |