;;;$Id: CHANGELOG,v 2.22 2006/11/20 04:44:59 dvm Exp $

            [- Version 2.93.22 -]
2006-11-19: decl-debug-new.lisp -- congruent with recent changes to
            debug.lisp in ytools; should become the "real" version.

            [- Version 2.93.21 2006/10/10 15:31:33 dvm Exp -]
2006-10-10: runnisp.lisp: Defined ceiling2 and floor2 as synonyms of
            ceiling and floor.  This is necessary because of Nisp's
            limitations with optional arguments.  The types of the
            synonyms were already declared in numdcl.lisp.

            [- Version 2.93.20 2006/06/15 21:30:18 dvm Exp -]
2006-06-15: Declared '_' of type Void. (datadcl.lisp)

            [- Version 2.93.19 2006/05/19 19:28:21 dvm Exp -]
2006-05-18: Created ytdcopy.lisp: Utility 'nisp-build-for-export"
            automagically creates Nisp tar file and puts it on webpage.

            Made check for whether a variable has a "null" initial
            value more sophisticated.

            [- Version 2.93.16 2006/05/16 14:35:24 dvm Exp -]
2006-05-16: Introduced implicit funcalls if object in functional
            position is not a symbol.  ((a b) c) => (>< (a b) c).

            Various tweaks to 'memoize-val' and 'val-or-initialize' in
            vain attempt to get type inference to work.

            Various places where functions were broken out of code, or
            parameters added to existing functions, in efforts to
            generalize something or other.  Usually pointless efforts.

            [- Version 2.93.14 -]
2005-12-30: Minor package tweaks in ydecl.lsy

            [- Version 2.93.12 -]
2005-12-25: 'be' changed to avoid wrapping 'the' around result when
            redundant. Fixed bug in handling of 'list*'.

            [- Version 2.92.13 2005/12/13 04:59:47 dvm Exp]
2005-12-12: Split decl-compl handlers for 'memoize-val' and
            'val-or-initialize' in order to capture difference in
            their types.  (Type of 'memoize-val' is type of val; type
            of 'val-or-initialize' is type of store location.)
            Default initial value of 'nil' for variables is now
            handled explicitly in 'var-initial-exp', not by
            inheritance from Obj.  (This is an excellent example of a
            feature that should not be inherited, because an initial
            value of type Y0 is not in general of type Y1 when Y1 is a
            subtype of Y0.)
            Changed initexps for Symbol, Sexp, and Objlist.
            Fixed internals of Mlv representation.

            [- Version 2.92.11 2005/12/12 14:20:03 dvm Exp -]
2005-12-08: Flushed default initexp feature from Obj type, so that
            failure to find an initexp generates an error rather than
            a nonsensical expression.
            Added initexp for Boolean, Sexp, Objlist, Boolean-true,
            Null, Objhashtable, Form, (Const ...), (Lstructure ...),
            (Structure () ...),  (Rcd ...)
            Patch level for +ydecl-version+ now generated
            automatically from version number in this change log.
            Flushed Objgenlist type.

            [- Version 2.92.10 Id: 1.9.2.9 2005/12/07 03:12:41 dvm Exp -]
2005-12-06: Supplied translation of (Mlv ...) types to CL (values ...)
            types.
            Discard (the <type> ...) wrapper if context will discard
            value (i.e., dest-type is Void).

2005-12-04: Fixed bug whereby non-exhaustive 'conds' had type =
            common-supertype of their clause types.  (Now correctly
            set to Void.)
            Did fix of 2005-11-30 correctly.
            Fixed bugs in logic of collector return values in
            repeatdcl (I hope).

2005-12-02: Improved handling of "initial expressions," the 'initexp'
            properties of types that are the expressions used to
            initialize variables of those types when the programmer
            doesn't provide one.

2005-11-30: Fixed bug in decl-debug; avoided declaring built-in
            function ftypes.  (Apparently it's illegal according to
            the Hyperspec.)

2005-11-16: Added  'mlv-component-types' in plextype.  cons-types
            renamed to cons-Types.

2005-11-07: Altered decl-debug.lisp so that 'evd' takes interleaved
            types and symbols after the form to be evaluated, looking
            like the appropriate generalization of 'ev'.

2005-10-10: Fix list* handler so its type-merging behavior is more
            like that of list.
            
2005-06-04  Changed "!'" to "#'" in 'lst-is-builder'.  (!'f expands to
            "'f," which can't see 'labels' fbinding of f, only global
            fbinding.) Exported symbol nisp-package*

2005-04-10  Introduced new module notation

2005-04-01  Moved stuff to runnisp needed at run time.            

2005-02-06  Fixed bug in multilet handler. (Version 2.91.3)

2004-11-07  Added (or fixed) 'intercept', 'pass', 'catch', 'throw',
            'block', and 'return-from'.

	    Fiddled with OO facilities which caused problems in Optop,
            especially the feature that OpenMCL insists on that every
            variable declared to be of a type be initialized with an
            object of that type.  (This requires creation of standard
            trivial objects for all structured types.) (Version 2.91.2)

2004-09-16: Assimilated nispobj into mainstream.  No need to load
            separately.  'repeat' variables of form (x :in l) are now
            initialized properly.  (Version 2.91)
            
	    Wrapped reference to %hacks/ in decl-trace so it will be
            skipped if it's not likely to work.  Defined %ynisp/ and
            %nisp/ as synonyms for %ydecl/.  (Version 2.91.1)

2004-09-12: In mgcdcl.lisp, changed setf-compile so type of (setf l r)
            is type of 'r' (thus adopting CL norm).  

2004-09-07: In lisdcl1.lisp, corrected bug due to previous bug fix that
	    totally screwed up 'a-d-composition-decl-compl'.
	
2004-08-30: In datadcl.lisp, eliminated declarations of 'vector-subseq' and
	    'string-subseq'; replaced with declaration of 'subseq'
	
2004-08-24: Minor bug fixes 
	
2004-08-11: Fixed bug (misspelled type names) in 'decl-compl
            signal-problem' (iodcl.lisp).

	    Fixed 'signal' decl-compl to be compatible with enhanced
	    ytools version.

;;;$Id: CHANGELOG,v 2.22 2006/11/20 04:44:59 dvm Exp $

Local Variables:
mode:text
fill-prefix:"            "
End: