summaryrefslogtreecommitdiff
path: root/doc/forum/How_to_create_a_property_with_info/comment_3_6cf0360b4922a131bca33d33acf078be._comment
blob: ac4ca94b0f4393d882ccf47af9884c339cb0a6da (plain)
1
2
3
4
5
6
7
8
9
10
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.
"""]]