#4230: Template Haskell: less type checking in quotations?
---------------------------------+------------------------------------------
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking: 4124, 4125, 4128, 4135, 4170
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by Ashley Yakeley):
Here's my opinion:
* Type-checking quotations is ''surprising'': the obvious mental model is
that quotations are simply identical to explicit constructors, and type-
checking only happens once all the splices and quotes are assembled.
* Type-checking quotations is ''fiddly to implement'', leading to a
number of bugs and infelicities.
* Type-checking quotations is ''incomplete'': it doesn't provide a
guarantee to the library consumer, since (uncheckable) explicit
constructors are often used.
On the other side of the balance, type-checking quotations finds bugs at
library compile time that would otherwise be found at consumer compile
time.
I wouldn't miss it if it were taken out. That would be my preference. But
if you can make it work without causing the various subtle bugs and
surprises, I wouldn't complain.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4230#comment:11>
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
