diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-06-11 08:34:58 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-06-11 09:27:43 -0400 |
| commit | f73d42f0c88153bcfec23d8f35d0721272539867 (patch) | |
| tree | c446e62fa31133f05b44af828c1479d317622241 /libraries | |
| parent | f502617065c8716a062c83fc923c3b3a2395c4a8 (diff) | |
| download | haskell-f73d42f0c88153bcfec23d8f35d0721272539867.tar.gz | |
Test #9111.
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/base/tests/T9111.hs | 10 | ||||
| -rw-r--r-- | libraries/base/tests/all.T | 2 |
2 files changed, 12 insertions, 0 deletions
diff --git a/libraries/base/tests/T9111.hs b/libraries/base/tests/T9111.hs new file mode 100644 index 0000000000..b2d1716ccd --- /dev/null +++ b/libraries/base/tests/T9111.hs @@ -0,0 +1,10 @@ +{-# 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) diff --git a/libraries/base/tests/all.T b/libraries/base/tests/all.T index 31c6344244..12a241085a 100644 --- a/libraries/base/tests/all.T +++ b/libraries/base/tests/all.T @@ -166,3 +166,5 @@ test('T8766', , only_ways(['normal'])], compile_and_run, ['-O']) + +test('T9111', normal, compile, ['']) |