Implict parameters and monomorphism

[Marcin 'Qrczak' Kowalczyk]

Tue, 24 Apr 2001 22:51:41 -0400, Dylan Thurston <dpt@math.harvard.edu> pisze:

> It seems desirable to provide some way to allow either possible answer
> to Question 1 (i.e., dynamically scoped or statically scoped ?y).

You can bind its value to a statically scoped variable.

IMHO it shoult not be surprising that it's not just an identifier
with static visibility. Since it needs not to be statically visible
in a top level definition, it's normal that it applies its scoping
rules in local definitions too. Why would it magically turn into an
ordinary identifier for inner scopes? It dynamically appears in each
place it is used.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK