-fdefer-type-errors and -fdefer-typed-holes flag do not perform their roles
with -fdefer-type-errors flag\\
Prelude > let f = [True | x <- [_,_]] raise two warning. Good!.\\
Prelude > f\\
[True, True]\\
With this function \\
Prelude> let f' = [True | x <- [_, _]] in f'\\
GHCi raise two errors.
It is not clear!
idem with -fdefer-typed-holes flag\\
If you compile, there is a warning and of course no result and after linking an error is raise. This situation is not clear for me.\\
Logically it should have a result.\\
logically the function f and the function f' send a result.\\
Typed Holes worsens in this case
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |