| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-10-27 | Explicit Info/NoInfo for RevertableProperty (API change) | Joey Hess | |
| 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 | |||
| 2015-01-25 | remove idea about moving into GADT | Joey Hess | |
| 2015-01-25 | propellor spin | Joey Hess | |
| 2015-01-25 | propellor spin | Joey Hess | |
| 2015-01-25 | remove toSimpleProp | Joey Hess | |
| 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. | |||
 |
index : propellor | |
| gnusosa's centralized propellor repository for hosts spin-up. |
| summaryrefslogtreecommitdiff |