From f8452ba63779f45d6424e151db7d61a6e6d10590 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 28 Aug 2017 18:41:37 -0400 Subject: response --- .../comment_3_6cf0360b4922a131bca33d33acf078be._comment | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 doc/forum/How_to_create_a_property_with_info/comment_3_6cf0360b4922a131bca33d33acf078be._comment (limited to 'doc') 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. +"""]] -- cgit v1.2.3