diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-12-22 13:55:30 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-12-23 15:01:56 -0500 |
| commit | 8f89e76389569b73ce0d7550302641bbea438dfc (patch) | |
| tree | 0b4f9ba882d690d44131c90cb744c27e4a510069 /testsuite/tests/rebindable | |
| parent | f95e6697250ad641efb167ae3cff65eaa5e96d07 (diff) | |
| download | haskell-8f89e76389569b73ce0d7550302641bbea438dfc.tar.gz | |
rename: Don't require 'fail' in non-monadic contexts
Fixes #11216.
Diffstat (limited to 'testsuite/tests/rebindable')
| -rw-r--r-- | testsuite/tests/rebindable/T11216A.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/rebindable/all.T | 3 |
2 files changed, 10 insertions, 1 deletions
diff --git a/testsuite/tests/rebindable/T11216A.hs b/testsuite/tests/rebindable/T11216A.hs new file mode 100644 index 0000000000..4bc06f6da9 --- /dev/null +++ b/testsuite/tests/rebindable/T11216A.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE RebindableSyntax #-} + +module Bug where + +data Maybe a = Just a | Nothing + +foo :: [Maybe a] -> [a] +foo xs = [ x | Just x <- xs ] diff --git a/testsuite/tests/rebindable/all.T b/testsuite/tests/rebindable/all.T index f1737e9603..dd51e2b1cf 100644 --- a/testsuite/tests/rebindable/all.T +++ b/testsuite/tests/rebindable/all.T @@ -31,5 +31,6 @@ test('T4851', normal, compile, ['']) test('T5908', normal, compile, ['']) test('T10112', normal, compile, ['']) -test('T11216', [expect_broken(11216)], compile, ['']) +test('T11216', normal, compile, ['']) +test('T11216A', normal, compile, ['']) test('T12080', normal, compile, ['']) |