propellor/doc/todo/RevertableProperty_with_NoInfo.mdwn, branch mastergnusosa's centralized propellor repository for hosts spin-up.
https://git.gnusosa.net/propellor/atom?h=master2015-10-27T18:37:02ZExplicit Info/NoInfo for RevertableProperty (API change)2015-10-27T18:37:02ZJoey Hessjoeyh@joeyh.name2015-10-27T18:34:10Zurn:sha1:56c3394144abbb9862dc67379d3253c76ae4df97
RevertableProperty used to be assumed to contain info, but this is now made
explicit, with RevertableProperty HasInfo or RevertableProperty NoInfo.
Transition guide:
- If you define a RevertableProperty, expect some type check
failures like: "Expecting one more argument to ‘RevertableProperty’".
- Change it to "RevertableProperty NoInfo"
- The compiler will then tell you if it needs "HasInfo" instead.
- If you have code that uses the RevertableProperty constructor
that fails to type check, use the more powerful <!> operator
remove idea about moving into GADT2015-01-25T19:20:11ZJoey Hessjoeyh@joeyh.name2015-01-25T19:20:11Zurn:sha1:c72fa2bcd8ffdc750b1f6407cca39f954a555241propellor spin2015-01-25T19:08:40ZJoey Hessjoeyh@joeyh.name2015-01-25T19:08:40Zurn:sha1:5d8bd485cbd4c88bcc09146118d1431d13a152ccpropellor spin2015-01-25T19:04:05ZJoey Hessjoeyh@joeyh.name2015-01-25T19:04:05Zurn:sha1:73ad89d9734bace04b68e078fa1d46ccee6a396bremove toSimpleProp2015-01-25T18:47:57ZJoey Hessjoeyh@joeyh.name2015-01-25T18:45:14Zurn:sha1:e9d5d9aff1cc2046149d3e5dcd9f4ef0f2a334a1
It didn't do what I thought it did with a RevertableProperty; it always
returned Nothing because even if the input properties to <!> are NoInfo, it
casts them to HasInfo.
Even if it had worked, it lost type safety. Better to export the
Property NoInfo that is used in a RevertableProperty, so it can be used
directly.