#4230: Template Haskell: less type checking in quotations?
---------------------------------+------------------------------------------
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 6.16.1
Component: Compiler | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking: 4125, 4135, 4170
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj):
Answering Ashley: type checking quotes leads to error messages when you
write the quote, rather than later, when you splice that quoted code in.
The author of the quote might be a library author, and the splicer a
library client, so spotting errors earlier is a Good Thing. But it's not
complete: by design TH does allow a library author to create badly-typed
splices, unlike !MetaML which does not. Reason: it enables much more
expressiveness. So it's a judgement call, not a black and white thing.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4230#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
