• Robert Henderson's avatar
    Added qualifer to 'UserConstraint' data type. · 702a39d4
    Robert Henderson authored
    Amended parsing and pretty-printing code of UserConstraint to
    handle qualifiers.
    Qualified constraints are now accepted on the command line, but
    the solver and other subsystems currently just ignore the
    qualifiers and don't do anything differently from before.
Targets.hs 28.4 KB