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

[Simon Peyton-Jones]

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 at haskell.org
[mailto:glasgow-haskell-bugs-bounces at haskell.org] On Behalf Of Allen
Brown
Sent: 24 July 2005 02:08
To: glasgow-haskell-bugs at haskell.org
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 at microsoft.com <mailto:allenbr at microsoft.com
<mailto:allenbr at microsoft.com> >  (email)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-bugs/attachments/20050725/1a27106d/attachment.htm