Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2006-07-24 | * New language feature: domain checks, which check whether a function | Eelco Dolstra | 1 | -0/+7 | |
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. |