blob: ad05a28b8fae870c757753c8ddb67adfb0eece01 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
-- N.B. These warnings only cause noise in stderr.
{-# OPTIONS_GHC -Wno-overlapping-patterns -Wno-inaccessible-code #-}
{-# LANGUAGE GADTs #-}
module T18227B where
import Unsafe.Coerce
test1 :: UnsafeEquality Int Char -> IO ()
test1 hi = print "hello"
{-# NOINLINE test1 #-}
test2 :: IO ()
test2 =
case unsafeEqualityProof :: UnsafeEquality Int Char of
proof@UnsafeRefl -> test1 proof
|
