diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-07-17 13:41:26 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-07-17 13:41:26 -0400 |
| commit | c987a3a3bd14171071b85c5937773a47b23859ff (patch) | |
| tree | f9d3cd6d32aaf1c753162174cb0940db16c43dfc | |
| parent | 44d8214f5f5a52c63e52d2f7538f8ab5e36cdd8f (diff) | |
todo
| -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]] |