Richard Eisenberg pushed to branch wip/rae/unconditional-optimizations at Glasgow Haskell Compiler / GHC
Commits:
-
cc9227b1
by Richard Eisenberg at 2026-03-17T22:33:15-04:00
2 changed files:
Changes:
| 1 | 1 | {-# LANGUAGE TypeFamilies #-}
|
| 2 | 2 | {-# LANGUAGE UndecidableInstances #-}
|
| 3 | +{-# OPTIONS_GHC -O -fno-omit-interface-pragmas #-}
|
|
| 4 | + -- There are SPECIALIZE pragmas in GHC.Core.Map.Type that require
|
|
| 5 | + -- the ability to inline some functions here
|
|
| 3 | 6 | |
| 4 | 7 | {-
|
| 5 | 8 | (c) The University of Glasgow 2006
|
| 1 | 1 | {-# LANGUAGE MultiWayIf #-}
|
| 2 | +{-# OPTIONS_GHC -O -fno-omit-interface-pragmas #-}
|
|
| 3 | + -- There is a SPECIALIZE pragma in GHC.Tc.Solver.Monad that requires
|
|
| 4 | + -- the ability to inline forAllCycleBreakerBindings_ some functions here
|
|
| 2 | 5 | |
| 3 | 6 | module GHC.Tc.Solver.InertSet (
|
| 4 | 7 | -- * The work list
|
| ... | ... | @@ -2174,4 +2177,3 @@ Wrong! The level-check ensures that the inner implicit parameter wins. |
| 2174 | 2177 | (Actually I think that the order in which the work-list is processed means
|
| 2175 | 2178 | that this chain of events won't happen, but that's very fragile.)
|
| 2176 | 2179 | -} |
| 2177 | - |