Core Lint issues during slowtest
I'm am seeing Core Lint failurse from the T5626
test,
*** Core Lint errors : in result of Simplifier ***
<no location info>: warning:
[RHS of go_s54c :: [Int] -> (Int, Int, Int, Int)]
idArity 2 exceeds typeArity 1: go_s54c
The relevant bits of the program are,
Rec {
go_s54c [Occ=LoopBreaker] :: [Int] -> (Int, Int, Int, Int)
[LclId,
Arity=2,
CallArity=2,
Str=<B,U>b,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=NEVER}]
go_s54c
= \ (ds_X35o :: [Int]) ->
case ds_X35o of {
[] -> case lvl_s4Vm of wild_00 { };
: y_a34y [Dmd=<B,A>] ys_a34z [Dmd=<B,U>] -> go_s54c ys_a34z
}
end Rec }
lvl_s54d :: (Int, Int, Int, Int)
[LclId,
Arity=1,
Str=x,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=NEVER}]
lvl_s54d = go_s54c ([] @ Int)
Trac metadata
Trac field | Value |
---|---|
Version | 8.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | high |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |