[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Syntax checks
From: |
Marius Vollmer |
Subject: |
Re: Syntax checks |
Date: |
07 Apr 2002 12:05:35 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 |
Dirk Herrmann <address@hidden> writes:
> Hello everybody,
>
> in the evaluator, there are a lot of syntax checks performed that could
> probably better be performed in a previous syntax checking phase, keeping
> the evaluator itself free of such checks.
This is a very interesting issue!
> * Removing unnecessary expressions from code would change the source in a
> way that can't be restored by unmemoizing. Do we care?
I'd say, we needn't care. Requiring that unmemoizing always works
perfectly will inhibit almost all interesting work towards a 'real'
compiler.
> In the long run we will probably want to allow more transformations
> on the source anyway for the sake of optimization. Then,
> memoization/unmemoization won't work and we will have to provide a
> different mechanism to record the relationship between transformed
> code and the source.
Exactly.
> * Should warnings be issued when dead code is eliminated from the source?
Hmm, when the memoization is a distinct phase from execution, I'd say
we might emit warnings (when the user wants them), but when
memoization is intertwined with execution like it is now, the warnings
will come at unexpected times, I'm afraid, and might be more annoying
than helpful. So, they should be off by default.
(more general musings in my reply to Neil...)
- Re: Syntax checks, (continued)
- Re: Syntax checks, Lynn Winebarger, 2002/04/13
- Re: Syntax checks, Marius Vollmer, 2002/04/14
- Re: Syntax checks, Marius Vollmer, 2002/04/14
- Re: Syntax checks, Thien-Thi Nguyen, 2002/04/23
- Re: Syntax checks, Marius Vollmer, 2002/04/14
- Re: Syntax checks, Lynn Winebarger, 2002/04/29
Re: Syntax checks,
Marius Vollmer <=