guix/tests/lang/parse-fail-undef-var-2.nix

let {

  f = {x, y : ["baz" "bar" z "bat"]}: x + y;

  body = f {x = "foo"; y = "bar";};

}
* New language feature: domain checks, which check whether a function argument has a valid value, i.e., is in a certain domain. E.g., { foo : [true false] , bar : ["a" "b" "c"] }: ... This previously could be done using assertions, but domain checks will allow the buildfarm to automatically extract the configuration space from functions. 2006-07-24 16:35:34 +00:00			`let {`

			`f = {x, y : ["baz" "bar" z "bat"]}: x + y;`

			`body = f {x = "foo"; y = "bar";};`

			`}`