diff options
| author | Félix Baylac-Jacqué <felix@alternativebit.fr> | 2018-06-14 09:15:26 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-14 10:03:28 -0400 |
| commit | 8ae7c1b5033beba576a2d9ffeb9f148bff220482 (patch) | |
| tree | 3fba741501c1a8458cca1f6e296989e71b41243e /testsuite | |
| parent | 4a931665e41be2621abe4458b64190123109b746 (diff) | |
| download | haskell-8ae7c1b5033beba576a2d9ffeb9f148bff220482.tar.gz | |
Make Control.Exception.throw levity polymorphic.
Test Plan: Validate.
Reviewers: hvr, bgamari, sighingnow
Reviewed By: sighingnow
Subscribers: tdammers, sighingnow, rwbarton, thomie, carter
GHC Trac Issues: #15180
Differential Revision: https://phabricator.haskell.org/D4827
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T15180.hs | 11 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T15180.hs b/testsuite/tests/typecheck/should_compile/T15180.hs new file mode 100644 index 0000000000..a81f130093 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T15180.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE MagicHash #-} +module Main where + +import Control.Exception +import System.Exit +import GHC.Exts + +main :: IO () +main = do + let a = throw $ toException ExitSuccess :: Int# + return () diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 0d2b08928b..f566182cc2 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -621,4 +621,5 @@ test('SplitWD', normal, compile, ['']) test('T14441', omit_ways(['profasm']), compile, ['']) test('T15050', [expect_broken(15050)], compile, ['']) test('T14735', normal, compile, ['']) +test('T15180', normal, compile, ['']) test('T15232', normal, compile, ['']) |