#13204: Core Lint error running testsuite with DEBUG way
-------------------------------------+-------------------------------------
Reporter: dobenour | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.2.1
Component: Compiler | Version: 8.1
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
I was testing Phab:D2996 for benchmarking purposes, and I noticed that
some tests failed in the `ghci` way. I re-ran them with the `debug` way,
and got a Core Lint failure:
{{{
[1 of 1] Compiling Main ( StrictPats.hs, StrictPats.o )
*** Core Lint errors : in result of Simplifier ***
<no location info>: warning:
[RHS of q_s50e :: Addr#]
Recursive or top-level binder has strict demand info: q_s50e
Binder's demand info:
*** Offending Program ***
$dIP_s50d :: CallStack
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 300 0}]
$dIP_s50d =
pushCallStack
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b "undefined"#),
SrcLoc
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b "main"#))
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b "Main"#))
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"StrictPats.hs"#))
(I# 27#)
(I# 14#)
(I# 27#)
(I# 23#))
emptyCallStack
ds_d4Z4 :: forall a. a
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
ds_d4Z4 =
\ (@ a_a4SJ) ->
undefined
@ 'LiftedRep
@ a
($dIP_s50d
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: (CallStack :: *) ~R# ((?callStack::CallStack) ::
Constraint)))
a :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
a = True
b :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 330 10}]
b =
case \ (@ a_a4Hg) ->
undefined
@ 'LiftedRep
@ a
((pushCallStack
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"undefined"#),
SrcLoc
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"main"#))
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"Main"#))
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"StrictPats.hs"#))
(I# 32#)
(I# 14#)
(I# 32#)
(I# 23#))
emptyCallStack)
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: (CallStack :: *) ~R# ((?callStack::CallStack) ::
Constraint)))
of
{ __DEFAULT ->
True
}
c :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
c = True
d :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 320 0}]
d =
case undefined
@ 'LiftedRep
@ Int
((pushCallStack
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"undefined"#),
SrcLoc
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"main"#))
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"Main"#))
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"StrictPats.hs"#))
(I# 40#)
(I# 17#)
(I# 40#)
(I# 26#))
emptyCallStack)
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: (CallStack :: *) ~R# ((?callStack::CallStack) ::
Constraint)))
of wild_00 {
}
e :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
e = True
f :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 320 0}]
f =
case undefined
@ 'IntRep
@ Int#
((pushCallStack
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"undefined"#),
SrcLoc
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"main"#))
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"Main"#))
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"StrictPats.hs"#))
(I# 48#)
(I# 14#)
(I# 48#)
(I# 23#))
emptyCallStack)
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: (CallStack :: *) ~R# ((?callStack::CallStack) ::
Constraint)))
of wild_00 {
}
g :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
g = True
h :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
h = True
i :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 320 0}]
i =
case undefined
@ ('TupleRep '['IntRep])
@ (# Int# #)
((pushCallStack
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"undefined"#),
SrcLoc
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"main"#))
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"Main"#))
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"StrictPats.hs"#))
(I# 60#)
(I# 20#)
(I# 60#)
(I# 29#))
emptyCallStack)
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: (CallStack :: *) ~R# ((?callStack::CallStack) ::
Constraint)))
of wild_00 {
}
j :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
j =
case irrefutPatError
@ 'LiftedRep @ () "StrictPats.hs:64:9-21|True"#
of wild_00 {
}
k :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
k = True
l :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
l = True
m :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 90 0}]
m =
case irrefutPatError @ 'LiftedRep @ () "StrictPats.hs:76:9-16|3#"#
of wild_00 {
}
n :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 320 0}]
n =
case undefined
@ ('TupleRep '['LiftedRep])
@ (# () #)
((pushCallStack
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"undefined"#),
SrcLoc
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"main"#))
(build @ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"Main"#))
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"StrictPats.hs"#))
(I# 80#)
(I# 14#)
(I# 80#)
(I# 23#))
emptyCallStack)
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: (CallStack :: *) ~R# ((?callStack::CallStack) ::
Constraint)))
of wild_00 {
}
o :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
o = True
p :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
p = True
q_s50e :: Addr#
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 110 0}]
q_s50e = "StrictPats.hs:92:9-54|pattern binding"#
q :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
q = patError @ 'LiftedRep @ Bool q_s50e
r :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
r = True
s :: Bool
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 340 10}]
s =
case \ (@ a_a3DN) ->
let {
ds_d4Xb :: (a)
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False,
ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS []
320 0}]
ds_d4Xb =
case undefined
@ ('TupleRep '['LiftedRep])
@ (# a #)
((pushCallStack
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString# @ b
"undefined"#),
SrcLoc
(build @ Char (\ (@ b_a503) ->
unpackFoldrCString# @ b "main"#))
(build @ Char (\ (@ b_a503) ->
unpackFoldrCString# @ b "Main"#))
(build
@ Char (\ (@ b_a503) -> unpackFoldrCString#
@ b "StrictPats.hs"#))
(I# 100#)
(I# 20#)
(I# 100#)
(I# 29#))
emptyCallStack)
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: (CallStack :: *) ~R#
((?callStack::CallStack) :: Constraint)))
of wild_00 {
} } in
ds_d4Xb
of
{ __DEFAULT ->
True
}
$trModule_s50h :: Addr#
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
$trModule_s50h = "main"#
$trModule_s50g :: TrName
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
$trModule_s50g = TrNameS $trModule_s50h
$trModule_s50j :: Addr#
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
$trModule_s50j = "Main"#
$trModule_s50i :: TrName
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
$trModule_s50i = TrNameS $trModule_s50j
$trModule :: Module
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
$trModule = Module $trModule_s50g $trModule_s50i
bad :: forall a. a -> IO ()
[LclIdX,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [0] 400 60}]
bad =
\ (@ a_a4T7) (x_a3ed :: a) ->
bindIO
@ (Either SomeException a)
@ ()
($ @ 'LiftedRep
@ (IO a)
@ (IO (Either SomeException a))
(try @ SomeException @ a $fExceptionSomeException)
(evaluate @ a x_a3ed))
(\ (r_a3qv :: Either SomeException a) ->
case r_a3qv of {
Left ds_d4Zg ->
putStrLn
(build
@ Char
(\ (@ b_a503) ->
unpackFoldrCString# @ b "Exception thrown as
expected."#));
Right ds_d4Zh ->
putStrLn
(build
@ Char
(\ (@ b_a503) ->
unpackFoldrCString# @ b "Exception not thrown when
expected."#))
})
ok :: forall a. a -> IO ()
[LclIdX,
Arity=2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [0] 160 0}]
ok =
\ (@ a_a4U0) (x_a37y :: a) ->
(\ (eta_B1 :: State# RealWorld) ->
((thenIO
@ a
@ ()
(evaluate @ a x_a37y)
(putStrLn
(build
@ Char
(\ (@ b_a503) ->
unpackFoldrCString# @ b "Evaluation successful."#))))
`cast` (N:IO[0] <()>_R
:: (IO () :: *)
~R#
((State# RealWorld -> (# State# RealWorld, () #)) ::
*)))
eta_B1)
`cast` (Sym (N:IO[0] <()>_R)
:: ((State# RealWorld -> (# State# RealWorld, () #)) :: *)
~R#
(IO () :: *))
main_s5ge :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5ge = ok @ Bool a
main_s5gg :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gg = bad @ Bool b
main_s5gi :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gi = ok @ Bool c
main_s5gk :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gk = bad @ Bool d
main_s5gm :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gm = ok @ Bool e
main_s5go :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5go = bad @ Bool f
main_s5gq :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gq = ok @ Bool g
main_s5gs :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gs = ok @ Bool h
main_s5gu :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gu = bad @ Bool i
main_s5gw :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gw = bad @ Bool j
main_s5gy :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gy = ok @ Bool k
main_s5gA :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gA = ok @ Bool l
main_s5gC :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gC = bad @ Bool m
main_s5gE :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gE = bad @ Bool n
main_s5gG :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gG = ok @ Bool o
main_s5gI :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gI = ok @ Bool p
main_s5gK :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gK = bad @ Bool q
main_s5gM :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s5gM = ok @ Bool r
main_s5gN :: IO ()
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
main_s5gN = bad @ Bool s
main_s5gL :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gL = thenIO @ () @ () main_s5gM main_s5gN
main_s5gJ :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gJ = thenIO @ () @ () main_s5gK main_s5gL
main_s5gH :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gH = thenIO @ () @ () main_s5gI main_s5gJ
main_s5gF :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gF = thenIO @ () @ () main_s5gG main_s5gH
main_s5gD :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gD = thenIO @ () @ () main_s5gE main_s5gF
main_s5gB :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gB = thenIO @ () @ () main_s5gC main_s5gD
main_s5gz :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gz = thenIO @ () @ () main_s5gA main_s5gB
main_s5gx :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gx = thenIO @ () @ () main_s5gy main_s5gz
main_s5gv :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gv = thenIO @ () @ () main_s5gw main_s5gx
main_s5gt :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gt = thenIO @ () @ () main_s5gu main_s5gv
main_s5gr :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gr = thenIO @ () @ () main_s5gs main_s5gt
main_s5gp :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gp = thenIO @ () @ () main_s5gq main_s5gr
main_s5gn :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gn = thenIO @ () @ () main_s5go main_s5gp
main_s5gl :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gl = thenIO @ () @ () main_s5gm main_s5gn
main_s5gj :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gj = thenIO @ () @ () main_s5gk main_s5gl
main_s5gh :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gh = thenIO @ () @ () main_s5gi main_s5gj
main_s5gf :: IO ()
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main_s5gf = thenIO @ () @ () main_s5gg main_s5gh
main :: IO ()
[LclIdX,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 60}]
main = thenIO @ () @ () main_s5ge main_s5gf
main :: IO ()
[LclIdX,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main = runMainIO @ () main
*** End of Offense ***
<no location info>: error:
Compilation had errors
*** unexpected failure for StrictPats(debug)
}}}
I could not see how my patch to the interpreter would cause a Core Lint
failure, so I am reporting this as a bug.
CCing simonpj because this is either a bug in the typechecker, the
desugarer, or a core-to-core optimization pass.
--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13204
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
