Commit 1a135511 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #10347

parent 1637e4d1
{-# LANGUAGE -fwarn-unusued-bindings #-}
module T10347 (N, mkN) where
import Data.Coerce
newtype N a = MkN Int
mkN :: Int -> N a
mkN = coerce
......@@ -474,3 +474,4 @@ test('T10632', normal, compile, [''])
test('T10642', normal, compile, [''])
test('T10744', normal, compile, [''])
test('update-existential', normal, compile, [''])
test('T10347', expect_broken(10347), 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