diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-24 14:47:08 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-24 14:47:08 -0400 |
| commit | 416ae178ec7ed54d5740006a8dc6e1d2e30f00f4 (patch) | |
| tree | a3e96d49135237236efb373d1e677bfbba9fdc1b /src/System/Console | |
| parent | 3aca4c62203c9586f396f35cb780c4a79fa0c099 (diff) | |
don't unify the two types of properties inside a RevertableProperty
While it was ok to have RevertableProperty HasInfo even when
the undo property did not have any info, and it would be ok to have
RevertableProperty Debian even when the undo property targeted a wider
set of OS's, type-level resource conflict detection needs to keep
the two straight, as in RevertableProperty (Port 80 + Debian) Debian
Without that, reverting a web server property and also including another
property that uses port 80 would fail to compile, since the type system
would not know if reverting RevertableProperty (Port 80 + Debian) continued
using the resource or not.
The downside is the need to write RevertableProperty Debian Debian
... Perhaps I'll add a type alias to avoid that or something.
Diffstat (limited to 'src/System/Console')
0 files changed, 0 insertions, 0 deletions