summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements/comment_5_35dbd3a2eb073f4c456ac567aec569bd._comment
blob: e95a88c8fc206bb937482479b3d0e7e002719970 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
[[!comment format=mdwn
 username="joey"
 subject="""comment 5"""
 date="2016-03-08T21:56:26Z"
 content="""
I got it to throw a nice type error when intersection of two OS lists
yields an empty list:

        Couldn't match type ‘'CannotCombineOS’ with ‘'CanCombineOS’
        Expected type: 'CanCombineOS
          Actual type: CannotCombineOS '['OSDebian] '['OSFreeBSD] '[]
        In the expression: intersectSupportedOS debian freeBSD

I think the next step would be actually adding the OSList to Property
and making combining properties combine their OS lists at the type level.
"""]]