Core Lint error with breakpoints + unfoldings
Tests jtod_circint
and T1735
fail Lint when using ghci with optimizations (the ghci-opt
way).
In both cases, the failure boils down to:
module Signal where
class Signal a where
or3 :: a -> a
or3 a = a
module Bit where
import Signal
instance Signal Bool where
./stage1/bin/ghc -O -dlint --interactive -fno-unoptimized-core-for-interpreter Bit
GHCi, version 9.9.20230703: https://www.haskell.org/ghc/ :? for help
[1 of 2] Compiling Signal ( Signal.hs, interpreted )
[2 of 2] Compiling Bit ( Bit.hs, interpreted )
*** Core Lint errors : in result of Compulsory Unfolding of $dmor3 ***
<no location info>: warning:
Out of scope: a1_iFn :: a_iFk
[LclId]
In an imported unfolding
In the body of lambda with binder a_iFk :: *
In the body of lambda with binder $dSignal_iFl :: Signal a_iFk
In the body of lambda with binder a1_iFm :: a_iFk
Substitution: <InScope = {a_iFk}
IdSubst = []
TvSubst = [iFk :-> a_iFk]
CvSubst = []>
*** Offending Program ***
\ (@a_iFk) ($dSignal_iFl :: Signal a_iFk) (a1_iFm :: a_iFk) ->
break<Signal,0>(a1_iFn) a1_iFm
Right now, they are marked as broken because of #23272 (closed), but fixing 23272 does not fix them - it's a separate bug.