diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/forum/How_to_create_a_property_with_info/comment_3_6cf0360b4922a131bca33d33acf078be._comment | 11 |
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. +"""]] |