Commit e4137c48 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot
Browse files

testsuite: Add tests for #18227

T18227A is the original issue which gave rise to the ticket and depends
upon bytestring. T18227B is a minimized reproducer.
parent 9a7462fb
module T18227A (kilter) where
import Data.ByteString.Internal
kilter :: ByteString -> IO ByteString
kilter ps@(PS x _ _) = createAndTrim 1 $ const $ pure 1
-- 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
......@@ -89,3 +89,5 @@ test('T14373d', [],
test('T17648', normal, makefile_test, [])
test('T17904', normal, compile, ['-O'])
test('T18227A', normal, compile, [''])
test('T18227B', normal, compile, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment