path: root/doc
diff options
authorJoey Hess2017-08-28 18:41:37 -0400
committerJoey Hess2017-08-28 18:41:37 -0400
commitf8452ba63779f45d6424e151db7d61a6e6d10590 (patch)
treea376ccb121bbd729e0a4407c0a83e4a5ee29e816 /doc
parentc0ad8f77e02a22f3b53c0ada0006b4948da65a0b (diff)
Diffstat (limited to 'doc')
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/forum/How_to_create_a_property_with_info/comment_3_6cf0360b4922a131bca33d33acf078be._comment b/doc/forum/How_to_create_a_property_with_info/comment_3_6cf0360b4922a131bca33d33acf078be._comment
new file mode 100644
index 00000000..ac4ca94b
--- /dev/null
+++ b/doc/forum/How_to_create_a_property_with_info/comment_3_6cf0360b4922a131bca33d33acf078be._comment
@@ -0,0 +1,11 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 3"""
+ date="2017-08-28T22:38:55Z"
+ content="""
+Finding a way to type check that, I don't know. It would certianly be nice
+to be able to statically check such things. The way that Info is
+implemented as a monoid that contains many different types seems to
+preclude exposing enough information for the type checker to catch such a
+problem. So it would have to be changed somehow, I don't know how.