path: root/propellor.cabal
diff options
authorJoey Hess2016-03-24 14:47:08 -0400
committerJoey Hess2016-03-24 14:47:08 -0400
commit416ae178ec7ed54d5740006a8dc6e1d2e30f00f4 (patch)
treea3e96d49135237236efb373d1e677bfbba9fdc1b /propellor.cabal
parent3aca4c62203c9586f396f35cb780c4a79fa0c099 (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 'propellor.cabal')
0 files changed, 0 insertions, 0 deletions