testsuite/tests/indexed-types/should_fail/T14369.stderr


1
2
3
4
5
6
7
8
9
10


T14369.hs:29:5: error:
    • Couldn't match type: Demote a
                     with: Demote a1
      Expected: Sing x -> Maybe (Demote a1)
        Actual: Sing x -> Demote (Maybe a)
    • In the expression: fromSing
      In an equation for ‘f’: f = fromSing
    • Relevant bindings include
        f :: Sing x -> Maybe (Demote a1) (bound at T14369.hs:29:1)