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.

Edited Jul 25, 2022 by Krzysztof Gogolewski

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information