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

Quite right. The documentation should say “Q Exp” instead of “Expr”.   I’ll fix that.

 

(ExpQ is a synonym for Q Exp)

 

Simon

 

---

From: glasgow-haskell-bugs-bounces@xxxxxxxxxxx [mailto:glasgow-haskell-bugs-bounces@xxxxxxxxxxx] On Behalf Of Allen Brown
Sent: 24 July 2005 02:08
To: glasgow-haskell-bugs@xxxxxxxxxxx
Subject: 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:

o     [| ... |], 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