From c987a3a3bd14171071b85c5937773a47b23859ff Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 17 Jul 2017 13:41:26 -0400 Subject: todo --- ...erty.Versioned_support_asymmetric_RevertableProperty_types.mdwn | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 doc/todo/Propellor.Property.Versioned_support_asymmetric_RevertableProperty_types.mdwn (limited to 'doc') 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]] -- cgit v1.2.3