diff options
| -rw-r--r-- | doc/todo/Propellor.Property.Versioned_support_asymmetric_RevertableProperty_types.mdwn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/todo/Propellor.Property.Versioned_support_asymmetric_RevertableProperty_types.mdwn b/doc/todo/Propellor.Property.Versioned_support_asymmetric_RevertableProperty_types.mdwn new file mode 100644 index 00000000..c60cd4d6 --- /dev/null +++ b/doc/todo/Propellor.Property.Versioned_support_asymmetric_RevertableProperty_types.mdwn @@ -0,0 +1,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]] |