TH and -fdefer-type-errors interaction
This code
p :: Bool
p = $$(const [|| True ||] ('a' + 'a'))
contains a type error in 'a' + 'a'
(no instance for Num Char
). If -fdefer-type-errors
is enabled, we can accept it.
Patch: !8711 (closed).
This code
p :: Bool
p = $$(const [|| True ||] ('a' + 'a'))
contains a type error in 'a' + 'a'
(no instance for Num Char
). If -fdefer-type-errors
is enabled, we can accept it.
Patch: !8711 (closed).