diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-08-28 18:41:37 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-08-28 18:41:37 -0400 |
| commit | f8452ba63779f45d6424e151db7d61a6e6d10590 (patch) | |
| tree | a376ccb121bbd729e0a4407c0a83e4a5ee29e816 /doc | |
| parent | c0ad8f77e02a22f3b53c0ada0006b4948da65a0b (diff) | |
response
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. +"""]] |