blob: 199b999f1f64302ca6f6f33e3e8decbac48d6d76 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
*** Core Lint errors : in result of Desugar (before optimization) ***
T21115b.hs:9:1: warning:
Lint warning: Scrutinising floating-point expression with literal pattern in case analysis (see #9238).
scrut ds
In the RHS of foo :: Double# -> Int#
In the body of lambda with binder ds :: Double#
In the body of letrec with binders fail :: (# #) -> Int#
In the body of letrec with binders fail :: (# #) -> Int#
Substitution: <InScope = {}
IdSubst = []
TvSubst = []
CvSubst = []>
*** Offending Program ***
Rec {
$trModule = Module (TrNameS "main"#) (TrNameS "T21115b"#)
foo
= \ ds ->
let {
fail
= \ ds ->
case patError "T21115b.hs:(10,4)-(15,4)|\\case"# of wild { } } in
let { fail = \ ds -> 5# } in
case ds of ds {
__DEFAULT -> fail (##);
0.0## -> 2#;
2.0## -> 3#
}
end Rec }
*** End of Offense ***
<no location info>: error:
Compilation had errors
|