[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #56809] Dots in script file names should be al
From: |
Mike Miller |
Subject: |
[Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed |
Date: |
Fri, 30 Aug 2019 11:36:42 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/76.0.3809.132 Safari/537.36 |
Follow-up Comment #8, bug #56809 (project octave):
I think I've made my point. In response to your latest,
> the concept of script files is recognized at an unnecessarily deep level in
the present implementation
I don't think that's accurate. A script file is recognized at the evaluator
level, after a parse tree has already been built from the input text.
I think that invalidates your last point, that a script name is known early
enough that a decision could be made to parse the complete input line
according to two different sets of rules.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?56809>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #56809] Dots in script file names, Michael Leitner, 2019/08/26
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Rik, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Mike Miller, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Michael Leitner, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Mike Miller, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Michael Leitner, 2019/08/30
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, John W. Eaton, 2019/08/30
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Michael Leitner, 2019/08/30
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed,
Mike Miller <=