summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T12468.stderr
blob: 6585f663d0a974ed6795b692502a08ce98548d09 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

T12468.hs:9:7: error:
    • Found hole: _ :: Int
    • In the expression: _
      In an equation for ‘f’: f I = _
    • Relevant bindings include f :: T a -> a (bound at T12468.hs:9:1)
      Valid substitutions include
        maxBound :: forall a. Bounded a => a
          (imported from ‘Prelude’ at T12468.hs:3:8-13
           (and originally defined in ‘GHC.Enum’))
        minBound :: forall a. Bounded a => a
          (imported from ‘Prelude’ at T12468.hs:3:8-13
           (and originally defined in ‘GHC.Enum’))
        undefined :: forall (a :: TYPE r).
                     GHC.Stack.Types.HasCallStack =>
                     a
          (imported from ‘Prelude’ at T12468.hs:3:8-13
           (and originally defined in ‘GHC.Err’))