[prev in list] [next in list] [prev in thread] [next in thread] 

List:       sbcl-devel
Subject:    Re: [Sbcl-devel] constantp tweak question
From:       Nikodemus Siivola <nikodemus () random-state ! net>
Date:       2015-05-08 7:51:29
Message-ID: CADow0CqVdiEx_icGYtEcW0C9XT_ec5inraAPm9SiZaSPLcEO9g () mail ! gmail ! com
[Download RAW message or body]

On 8 May 2015 at 04:15, Douglas Katzman <dougk@google.com> wrote:
> Is it legal to strengthen %CONSTANTP to say that in a lexenv with a
> symbol-macro whose binding is constant, reference to that symbol-macro is
> constantp?
> e.g. (symbol-macrolet ((K 44)) .... K ...)
> In that environment, (constantp 'K env) would return T as would (+ K 42)
> since we already return T for (+ const const).

I believe so. SBCL already does that for non-symbol macros, doesn't it?

("Believe" because I didn't every try to check CLHS.)

Cheers,

  --nikodemus

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
[prev in list] [next in list] [prev in thread] [next in thread]