summaryrefslogtreecommitdiff
path: root/doc/todo/Propellor.Property.Versioned_support_asymmetric_RevertableProperty_types.mdwn
blob: c60cd4d61038372c8404885307895a5ef6b9ab9c (plain)
1
2
3
4
5
6
7
Currently, this module requires `RevertableProperty t t`.
That can be annoying, it would be good to support at least
`RevertablePropery (HasInfo + t) t` and ideally all 
`RevertableProperty t1 t2`

There should be no reason that can't be done; I was just having
problems getting the type checker happy on the day I wrote it. --[[Joey]]