Bug in The Glorious Glasgow Haskell Compilation System User's Guide, Version 6.4

Section 7.6.1 reads:

 _expression_ quotation is written in Oxford brackets, thus:

• [| ... |], where the "..." is an _expression_; the quotation has type Expr.

On the other hand GHCi 6.4 behaves as follows:

Prelude V02pIL> :type [|"foo"|]
[|"foo"|] :: Language.Haskell.TH.Lib.ExpQ

Hence it appears that the implementation does not agree with the documentation as to what might be the type of a quasi-quoted _expression_.

Allen L. Brown, Jr., Ph.D.
Senior Software Architect
Bigtop Team
Microsoft Corporation
One Microsoft Way
Redmond, WA 98052-6399
USA
+1 425 705-3290 (voice)
+1 425 985-8961 (mobile)
+1 425 706-7329 (fax)
allenbr@xxxxxxxxxxxxx <mailto:allenbr@xxxxxxxxxxxxx>  (email)

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs