summaryrefslogtreecommitdiff
path: root/doc/todo/RevertableProperty_with_NoInfo.mdwn
AgeCommit message (Collapse)Author
2015-01-25remove idea about moving into GADTJoey Hess
2015-01-25propellor spinJoey Hess
2015-01-25propellor spinJoey Hess
2015-01-25remove toSimplePropJoey 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.