[Template-haskell] Re: template-haskell names in 6.3

[Simon Peyton-Jones]

Fair point.  I'll make them print identically for now, and we can see if
anyone has difficulty.

Simon

| -----Original Message-----
| From: template-haskell-bounces at haskell.org
[mailto:template-haskell-bounces at haskell.org] On
| Behalf Of Duncan Coutts
| Sent: 22 December 2004 22:35
| To: Simon Peyton-Jones
| Cc: template-haskell at haskell.org
| Subject: RE: [Template-haskell] Re: template-haskell names in 6.3
| 
| On Tue, 2004-12-21 at 17:05 +0000, Simon Peyton-Jones wrote:
| > There is a difference between the result of calling mkName, and a
quoted
| > name e.g 'map.  The former is dynamically bound and the latter is
| > lexically bound.
| >
| > Because there's a difference, I've made them print differently in
the
| > pretty printer
| >
| > 	Foo.baz		for the dynamically bound one
| > 	Foo:baz		for the lexically scoped one
| >
| > This might break someone's code.  Maybe they should both print as
| > "Foo.baz"?
| 
| Since lexically scoped is the normal situation perhaps it should get
the
| ordinary Foo.baz syntax and the dynamically bound variables should get
| the other syntax.
| 
| Actually, for non-qualified variables there is still no syntactic
| difference between dynamically and statically scoped ones so it begs
the
| question of why a syntactic difference is needed for the qualified
case
| (or perhaps if a syntactic difference in the non-qualified would be a
| good idea).
| 
| Duncan
| 
| _______________________________________________
| template-haskell mailing list
| template-haskell at haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell