Opened 5 weeks ago
Invalid identifier generated with Template Haskell not rejected
|Reported by:||jstolarek||Owned by:|
|Type of failure:||GHC accepts invalid program||Difficulty:||Unknown|
|Test Case:||Blocked By:|
I wrote Template Haskell code that generates this declaration:
data (:+Sym1) (a:: Nat) (b :: TyFun Nat Nat)
(:+Sym1) is not a valid identifier and this declaration fails when I simply put it in a source file and try to compile it. However I get no errors when this definition is generated from Template Haskell. Not sure if this is intended behaviour or not.