Implict parameters and monomorphism

[Marcin 'Qrczak' Kowalczyk]

25 Apr 2001 07:18:50 GMT, Marcin 'Qrczak' Kowalczyk <qrczak@knm.org.pl> pisze:

> Why would it magically turn into an ordinary identifier for inner
> scopes? It dynamically appears in each place it is used.

In other words since ?x is legal in an inner scope no matter whether
it appears in an outer scope or not, it's meaning in the inner scope
should not depend on that fact.

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