[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue status: PENDING
- To: CL-Cleanup@SAIL.Stanford.Edu
- Subject: Issue status: PENDING
- From: Masinter.pa@Xerox.COM
- Date: 14 Jan 88 21:16 PST
This is my current list of pending issues. This list is not as accurate; I've
not carefully checked it against the latest versions of all of the issue mail
files. However, I don't think I'll have a chance to do that before I leave, so
here 'tis.
I hope that some of these can be turned into final, endorsed proposals (we're
very close on a number of them) so that they can be included in the mailing for
the March meeting. Please.
In discussion.
- DECLARE-MACROS (Version 2, 9-Nov-87)
(Disallow macros expanding into declarations.)
Kent will resubmit.
- DECLARATION-SCOPE (Version 1, 5-Jan-88)
(What is the scope of SPECIAL declarations?
INLINE declarations? where can declarations be placed?)
should include INLINE, TYPE declarations
- DISASSEMBLE-SIDE-EFFECT (version 2)
(DISASSEMBLE doesn't smash the def if not compiled)
nearly ready.
- FLET-DECLARATION (Version 1, 1 Jan 88)
(Allow declarations in FLET, MACROLET)
nearly ready
- FORMAT-COLON-UPARROW-SCOPE (Version 1)
(what iteration does ~:â?? exit from?)
Common-Lisp mailing list discussion Nov 87
Nearly ready
- FUNCTION-ARGUMENT-TYPE-SEMANTICS (not yet submitted)
I'm hoping to get this one out when I get back, but I know its hopeless.
Maybe I can mail it out *not* in time for a letter ballot but
in time for discussion.
- FUNCTION-TYPE-KEY-NAME (Version 1, 1 Dec 87)
(allow type (FUNCTION (SEQUENCE FUNCTION &KEY
(:KEY FUNCTION)) SEQUENCE) )
needs minor edits as per KMP
- FUNCTION-TYPE (Version 7,8, 9-Nov-87, 14-Nov-87)
(Change definition of FUNCTIONP, function type ...)
Discussed at X3J13, new proposal due.
Not eady for release
- LOAD-TIME-EVAL (Version 3, 11-Nov-87)
(New function/macro/special form for evaluation
when compiled file is loaded?)
nearly ready for release
- PROCLAIM-LEXICAL (Version 5, 14-Nov-87)
(add LEXICAL, GLOBAL, CONSTANT proclaimation)
- REMF-DESTRUCTION-UNSPECIFIED (Version 2, 30-Oct-87 )
(Specification of side-effect behavior in CL)
DEFINED, VAGUE and IN-BETWEEN
Not ready for release
- SEQUENCE-FUNCTIONS-EXCLUDE-ARRAYS (Version 4, 11-Nov-87)
(FIND, SUBSTITUTE etc work on multi-dimensional arrays?)
Could be ready for release
- TRACE-FUNCTION-ONLY (Version 5, 9-NOV-87)
(Allow trace for SETF functions, macros, etc.)
Environment extension?
? Ready for release?
- UNWIND-PROTECT-CLEANUP-NON-LOCAL-EXIT (Version 3, 27-Oct-87)
(What happens with non-local exits out of UNWIND-PROTECT
cleanup clauses?)
Not ready for release
Need volunteer:
- ADJUST-ARRAY-FILL-POINTER
- CONSTANT-SIDE-EFFECTS (not yet submitted)
(It is an error to do destructive operations on constants in code,
defconstant.)
Discussed 12/86 - 1/87
Will take on if no compiler proposal
- DATA-TYPES-HIERARCHY-UNDERSPECIFIED (not yet submitted)
(Should STREAM, PACKAGE, PATHNAME, READTABLE, RANDOM-STATE be
required to be disjoint from other types?)
From CLOS committee, not yet submitted
- EQUAL-STRUCTURE (not yet submitted)
(Mail Nov 87 on Common Lisp: EQUAL on DEFSTRUCT structures.)
What do EQUAL EQUALP and friends do
on structures?
(ALarson@HI-MULTICS.Arpa, edsel!jonl@labrea.stanford.edu,
Okuno@SUMEX-AIM.STANFORD.EDU, goldman@vaxa.isi.EDU)
- FILE-LENGTH-PATHNAME (not submitted, from ISSUES.TXT)
(P 425) "Generalize FILE-LENGTH to accept any filename, not just
an open file-stream. Let it take a keyword argument :ELEMENT-TYPE,
defaulting to STRING-CHAR for non-stream arguments and to the
element-type of the stream for a stream argument."
Need volunteer to write up.
- FORMAT-NEGATIVE-PARAMETERS (mail 19 May 87, no formal proposal)
"format parameters are assumed to be non-negative integers except
as specifically stated"
Steele? will write up.
- FUNCTION-TYPE-REST-LIST-ELEMENT (not yet submitted)
(allow &rest <type> in function types to refer to element
type rather than list)
Disscussed at length in the past.
sandra%orion@cs.utah.edu.
- FUNCTION-SPECS (not yet submitted)
(add "function specs" for defun, trace etc)
Mail from Moon 6-Jun.
cf SETF-FUNCTION-VS-MACRO.
(SMH!franz@ucbarpa.berkeley.edu, JonL, RWK)
- LISP-SYMBOL-REDEFINITION (no formal proposal yet)
Is it legal to redefine symbols in the LISP package?
Mail 14-Aug-87
Merge with SPECIAL-FORM-SHADOW
Needs volunteer
- MACRO-FUNCTION-ENVIRONMENT
(Add environment argument to MACRO-FUNCTION?)
re-extracted from ENVIRONMENT-ARGUMENTS
CLOS committee to submit?
- PATHNAME-SUBDIRECTORY-LIST (Version 1, 18-Jun-87)
How to deal with subdirectory structures in pathname functions?
make :DIRECTORY a list?
Need volunteer to rewrite.
- PATHNAME-UNSPECIFIC-COMPONENT (not yet submitted)
Mail Aug 87 discussion
How to deal with logical devices, :unspecific components, etc
in pathname functions
RWK@YUKON.SCRC.Symbolics.COM may submit proposal.
- REDUCE-ARGUMENT-EXTRACTION (no proposal)
Mail on COMMON-LISP about adding a new keyword argument
to REDUCE to extract the appropriate value.
- SPECIAL-FORM-SHADOW (no formal proposal)
(Is it OK to shadow a special form with FLET, LABELS, MACROLET?)
In discussion, no formal proposal submitted.
- STANDARD-INPUT-INITIAL-BINDING (from ISSUES.TXT file)
(P 328) "Remove the requirement that *STANDARD-INPUT*, etc., must
be initially bound to synonym streams to *TERMINAL-IO*; demote
this to the level of an implementation suggestion. This is to
allow flexibility of implementation, for example to allow UNIX
redirection to win."
Need volunteer to submit
- STREAM-CLASS-ACCESS (No formal proposal)
(Originally FOLLOW-SYNONYM-STREAM 19-DEC-86)
Define stream accessors as if synonym-stream two-way-stream etc
were CLOS classes?
- STRUCTURE-DEFINITION-ACCESS (No formal proposal)
(access to slot accessors for DEFSTRUCT etc.)
Need volunteer to write up
- SUBSEQ-OUT-OF-BOUNDS (from ISSUES file, no formal proposal)
(p 246) "Specify that it is an error for the SUBSEQ indices or any
:START or :END argument have a negative index or point past the end
of the sequence in question. (With respect to whether signalling is
required, this error will be treated the same as array
out-of-bounds.)"
Need volunteer to write up
- TAILP-NIL (no formal proposal yet)
(Operation of TAILP given NIL)
Needs writeup in current format.
- VECTOR-PUSH-EXTEND-DEFAULT (no proposal yet)
CLtL says that vectors are extended by a "reasonable" amount. What's that?
Hold: Awaiting action from another committee.
- DECLARE-TYPE-EXACT (from Kempf as EXACT-CLASS)
(Want to be able to declare (EQ (TYPE-OF X) 'Y), i.e.,
not a subclass.)
Useful after CLOS
- DEFMACRO-BODY-LEXICAL-ENVIRONMENT (not yet submitted)
What is the lexical environment of DEFTYPE, DEFINE-SETF bodies?
Mail 11-12 Oct 87 on common-lisp
Interacts with compiler proposal'
- DEFSTRUCT-SLOTS-CONSTRAINTS (not yet submitted/issues file)
(p 307) "Allow a call to DEFSTRUCT to have no slot-descriptions.
Specify that it is an error for two slots in a single DEFSTRUCT to
have the same name. If structure A includes structure B, then no
additional slot of A may have the same name as any slot of B."
Need volunteer to sort out DEFSTRUCT issues post-CLOS.
- DEFSTRUCT-DEFAULT-VALUE-EVALUATION (not yet submitted/issues file)
(p 305) "The default value in a defstruct slot is not evaluated
unless it is needed in the creation of a particular structure
instance. If it is never needed, there can be no type-mismatch
error, even if the type of the slot is specified, and no warning
should be issued."
Need volunteer to sort out DEFSTRUCT issues post-CLOS.
- DRIBBLE-TECHNIQUE (Version 1)
(editorial board remove DRIBBLE from standard language -> standard
environment)
- FILE-WRITE-DATE-IF-NOT-EXISTS (from Weinreb, no formal proposal)
(What does FILE-WRITE-DATE do if no such file?)
"there should not be a formal proposal for fixing the file-write-date
ambiguity until we are at the point where we can make proposals
that discuss signalling named conditions. "
Awaiting error proposal.
- IF-BODY (Version 7, 16-Jun-87)
(extend IF to implicit progn if more than one ELSE form?)
Draft released 16-Jun-87.
Discussed at X3J13/Jun 87.
Postpone pending resolution of policy on extensions
- IGNORE-ERRORS (Version 4, 29-May-87)
(Introduce error catcher)
Awaiting error proposal
- SHARPSIGN-BACKSLASH-BITS
(What does C-META-H-X mean?)
Forwarded to character committee.
Tabled: Awaiting new proposal.
- ADJUST-ARRAY-NOT-ADJUSTABLE (Version 1, 22-Apr-87)
(ADJUST-ARRAY on non-adjustable arrays returns copy)
extend COPY-ARRAY instead?
Tabled until resubmitted
- DEFINITION-FUNCTIONS (no formal proposal)
(Extensions for documentation-type for delete-definition
for type FUNCTION, VARIABLE, TYPE. )
Rough draft mailed 9-Oct-87.
JonL may mail something.
- EVAL-DEFEATS-LINKER (Version 1, 12 Jun-87)
("selective linking" means GC non-used symbols;
proposal to change #., #, and part of FUNCTION-TYPE
Wait on FUNCTION-TYPE, LOAD-TIME-EVAL
Propose #., #, changes independently.
- EXPORT-COORDINATION (no formal proposal)
Add new macros for defining, export at same time
Too many interactions with package system
- GC-MESSAGES (version 1)
(Control over unsolicited GC messages in typescript)
merge with other controls for unsolicited messages?
- KEYWORD-KEYWORDS (version 1)
- OPEN-KEYWORDS (Version 1, 17-Jul-87)
Discussion 9-Nov-87
Questionable; needs stronger justification.
Tabled until resubmitted.
- PEEK-CHAR-READ-CHAR-ECHO (Version 1, 3 March 87)
(interaction between PEEK-CHAR, READ-CHAR and streams made by
MAKE-ECHO-STREAM)
"Fixing echo streams is fine, but I don't think that
it is appropriate for the standard to specify how terminal
interaction must or even ought to work."
- PROMPT-FOR (Version 1)
(add new function which prompts)
Tabled until re-submitted.
- REQUIRE-PATHNAME-DEFAULTS (Version 1, 15-Oct-87)
(where does REQUIRE look for files?)
Doesn't really solve our problems?
- SHARPSIGN-PLUS-MINUS-NUMBER
(Is #+68000, #-3600 allowed?)
Mild disagreement: it is an error?
Table until resubmitted