Commit f73d42f0 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #9111.

parent f5026170
{-# LANGUAGE DataKinds #-}
module T9111 where
import Data.Typeable
a = typeRep (Proxy :: Proxy 'True)
b = typeRep (Proxy :: Proxy Typeable)
c = typeRep (Proxy :: Proxy (~))
d = typeRep (Proxy :: Proxy 'Left)
......@@ -166,3 +166,5 @@ test('T8766',
, only_ways(['normal'])],
compile_and_run,
['-O'])
test('T9111', 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