Cabal/Distribution/Backpack/FullUnitId.hs · qualified-constraints · Glasgow Haskell Compiler / Packages / Cabal

8 years ago

Add a new 'DefUnitId' type with invariant. · bd3040bd

Edward Z. Yang authored 8 years ago


The DefUnitId invariant says that the UnitId in a DefUnitId
must in fact be a definite package (either with no holes, or
fully instantiated.)  This is in constrast to a UnitId,
which can also identify an indefinite unit identifier.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

bd3040bd

History

Add a new 'DefUnitId' type with invariant.

Edward Z. Yang authored 8 years ago


The DefUnitId invariant says that the UnitId in a DefUnitId
must in fact be a definite package (either with no holes, or
fully instantiated.)  This is in constrast to a UnitId,
which can also identify an indefinite unit identifier.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

Code owners

Assign users and groups as approvers for specific file changes. Learn more.