summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoey Hess2017-07-17 13:41:26 -0400
committerJoey Hess2017-07-17 13:41:26 -0400
commitc987a3a3bd14171071b85c5937773a47b23859ff (patch)
treef9d3cd6d32aaf1c753162174cb0940db16c43dfc
parent44d8214f5f5a52c63e52d2f7538f8ab5e36cdd8f (diff)
todo
-rw-r--r--doc/todo/Propellor.Property.Versioned_support_asymmetric_RevertableProperty_types.mdwn7
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]]