MKCL

MKCL copied to clipboard

Resolves #38. This implementation probably needs more testing, but at least it does pass the ANSI test suite. As a bonus, this allows the use of `&environment` in `defsetf`, which...

davidmullen

Presumably this is because it was a later addition to ANSI—see [Issue SETF-MULTIPLE-STORE-VARIABLES](https://www.lispworks.com/documentation/HyperSpec/Issues/iss309_w.htm). Also, long-form defsetf is notoriously tricky to implement. For background, see [this SBCL discussion](https://bugs.launchpad.net/sbcl/+bug/1452947).

davidmullen

make-sequence doesn't understand derived types

1

For example: ``` (deftype buffer32 (&optional (size '*)) `(simple-array (unsigned-byte 32) (,size))) ``` Then: ``` > (make-sequence 'buffer32 1024) Debugger called in: #. #: Cannot find the element type in...

davidmullen

## Description `walker:macroexpand-all` doesn't expand macros in three cases: if it is a global symbol-macro, a local symbol-macro in the environment passed as a second argument, or a local macro...

Gleefre

`walker:macroexpand-all` signals incorrect warnings when processing symbol-macrolet with declarations: ```lisp (require :walker) (walker:macroexpand-all '(symbol-macrolet () (declare))) ; >> ;;; Warning: Encountered declare (DECLARE) in a place where a declare was...

Gleefre

`walker:macroexpand-all` and `tagbody`

3

There are two problems caused by not treating forms in the `tagbody` correctly. 1) `walker:macroexpand-all` expands symbols that have a symbol-macro definition in `tagbody` when they are in the tag...

Gleefre