comment added; resolution set; status changed
status changed from new to closedresolution set to fixed OK, at last GHC fails more gracefully when there are TH errors. (It still does not accept scoped tyvars for TH, though.) Simon
View Articlecomment added; owner, milestone set
owner set to simonpjmilestone set to 6.6 We should fail more gracefully in this case (and perhaps when TH is used with other extensions that aren't supported with TH, too).
View Articlecomment added
Just for the record, it isn't just type signatures in patterns: [rl@rl-lap stuff]$ cat R.hs $(id [d| f :: forall a . a -> a f x = (x :: a) |]) [rl@rl-lap stuff]$ ghc -fglasgow-exts -c R.hs...
View Articlecomment added
Template Haskell originally only supported Haskell 98, but various non-H98 extensions have since been added. Apparently, TH patterns can contain type signatures (I didn't know that), but there does...
View Articlestatus changed; resolution set
status changed from new to closedresolution set to fixed OK, at last GHC fails more gracefully when there are TH errors. (It still does not accept scoped tyvars for TH, though.) Simon
View Articleowner, milestone set
owner set to simonpjmilestone set to 6.6 We should fail more gracefully in this case (and perhaps when TH is used with other extensions that aren't supported with TH, too).
View ArticleArticle 1
Just for the record, it isn't just type signatures in patterns: [rl@rl-lap stuff]$ cat R.hs $(id [d| f :: forall a . a -> a f x = (x :: a) |]) [rl@rl-lap stuff]$ ghc -fglasgow-exts -c R.hs...
View ArticleArticle 0
Template Haskell originally only supported Haskell 98, but various non-H98 extensions have since been added. Apparently, TH patterns can contain type signatures (I didn't know that), but there does...
View Article
