Add hyperlinks to PDF/HTML documentation; closes #17342
[ghc.git] / testsuite / tests / typecheck / should_compile / T15370.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE GADTs #-}
3 {-# LANGUAGE PolyKinds #-}
4 {-# LANGUAGE ScopedTypeVariables #-}
5 {-# LANGUAGE TypeApplications #-}
6 {-# LANGUAGE TypeOperators #-}
7 module Bug where
8
9 import Data.Type.Equality
10
11 data S (a :: Either x y)
12
13 mkRefl :: n :~: j
14 mkRefl = Refl
15
16 right :: forall x y (r :: Either x y).
17 S r -> ()
18 right no =
19 case mkRefl @x @y of
20 Refl -> no + _