A Semantics for Package Description Files

The following is an attempt to give a semantics to Cabal's package description file. We will construct a function that, given an assignment for all configuration flags in the package and a set of all packages available in the environment returns whether the function is buildable or not.

A flag assignment consists of a flag name and a boolean value.

flag-assign ::= flag-name := ( "true" | "false" )