Simon Jakobi pushed to branch wip/sjakobi/regression-tests-3 at Glasgow Haskell Compiler / GHC
Commits:
-
be6251c9
by Simon Jakobi at 2026-03-06T01:00:08+01:00
2 changed files:
Changes:
| 1 | +{-# LANGUAGE UndecidableSuperClasses #-}
|
|
| 2 | +{-# LANGUAGE AllowAmbiguousTypes #-}
|
|
| 3 | +{-# LANGUAGE TypeFamilies #-}
|
|
| 4 | +module T12046 where
|
|
| 5 | + |
|
| 6 | +class A (T a) => A a where
|
|
| 7 | + type T a
|
|
| 8 | + |
|
| 9 | +test1 :: forall a. A a => ()
|
|
| 10 | +test1 = ()
|
|
| 11 | + |
|
| 12 | +test2 :: A a => proxy a -> ()
|
|
| 13 | +test2 _ = ()
|
|
| 14 | + |
| ... | ... | @@ -525,6 +525,7 @@ test('T11982a', expect_broken(11982), compile, ['']) |
| 525 | 525 | test('T11982b', expect_broken(11982), compile, [''])
|
| 526 | 526 | test('T11982c', normal, compile, [''])
|
| 527 | 527 | test('T12045a', normal, compile, [''])
|
| 528 | +test('T12046', normal, compile, [''])
|
|
| 528 | 529 | test('T12064', [], multimod_compile, ['T12064', '-v0'])
|
| 529 | 530 | test('ExPat', normal, compile, [''])
|
| 530 | 531 | test('ExPatFail', normal, compile_fail, [''])
|