Simon Jakobi pushed to branch wip/sjakobi/regression-tests-2 at Glasgow Haskell Compiler / GHC
Commits:
-
ec46588f
by Simon Jakobi at 2026-03-04T22:04:05+01:00
3 changed files:
- + testsuite/tests/simplCore/should_compile/T12640.hs
- + testsuite/tests/simplCore/should_compile/T12640.stderr
- testsuite/tests/simplCore/should_compile/all.T
Changes:
| 1 | +{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
|
|
| 2 | +module T12640 where
|
|
| 3 | + |
|
| 4 | +class Ex2 a b c | a b -> c where
|
|
| 5 | + (+++) :: a -> b -> c
|
|
| 6 | + |
|
| 7 | +instance Ex2 Bool Bool Bool where
|
|
| 8 | + (+++) = ex_or
|
|
| 9 | + |
|
| 10 | +{-# INLINE [2] ex_or #-}
|
|
| 11 | +ex_or = (||)
|
|
| 12 | + |
|
| 13 | +{-# RULES
|
|
| 14 | +"force-inline" forall a b . ex_or a b = a || b
|
|
| 15 | + #-}
|
|
| 16 | + |
|
| 17 | +main = print (True +++ True)
|
|
| 18 | + |
| 1 | +Rule fired: Class op show (BUILTIN)
|
|
| 2 | +Rule fired: force-inline (T12640) |
| ... | ... | @@ -227,6 +227,7 @@ test('T9509', |
| 227 | 227 | test('T12603',
|
| 228 | 228 | normal,
|
| 229 | 229 | makefile_test, ['T12603'])
|
| 230 | +test('T12640', [grep_errmsg(r'force-inline')], compile, ['-O2 -ddump-rule-firings'])
|
|
| 230 | 231 | test('T12877', normal, makefile_test, ['T12877'])
|
| 231 | 232 | test('T13027', normal, compile, [''])
|
| 232 | 233 | test('T13025',
|