Basic macro mechanism doesn't work.

ID	Created	Type	mocl Version	Dev OS	Target	Status
#87	by informatimago on 2015-03-01 (2038 days ago)	defect	14.08	Mac OS X	n/a	open

Description

Summary:

Steps to Reproduce:

Compile:

(defpackage "BUG.BASIC-MACRO"
  (:use "COMMON-LISP")
  (:export "F"))
(in-package "BUG.BASIC-MACRO")

(defmacro wsiosbp (&body body)
  "
Like with-standard-io-syntax but with the current package.
The *PACKAGE* is kept bound to the current package.
"
  (let ((vpack (gensym)))
    `(let ((,vpack *package*))
       (with-standard-io-syntax
         (let ((*package* ,vpack))
           ,@body)))))

(defmacro genfun (name &body body)
  (wsiosbp
    `(progn
       (defun ,(intern (format nil "BUG-~:@(~A~)" name)) ()
         ,@body)
       (defun ,(intern (format nil "BUG-~:@(~A~)-1" name)) ()
         (prog1
             ,@body)))))

(genfun really (print 'hi))

(defun f ()
  (bug-really))




Expected Results:

A normal, working program, since the source is conforming.


Actual Results:

Warning: Function BUG.BASIC-MACRO::BUG-REALLY is referenced but not defined.



-*- mode: compilation; default-directory: "~/src/mocl/" -*-
Compilation started at Sun Mar  1 17:17:18

LANG=en_US.UTF-8 LC_C=en_US.UTF-8 LC_ALL=en_US.UTF-8 make -k check
n=bug-basic-macro            ; echo --- ; mkdir -p /tmp/${n}/src ; mocl --verbose --warn --android /tmp/${n} ${n}.lisp
---
mocl 14.08 Copyright (C) 2013-2014 Wukix, Inc. (https://wukix.com)
[Source Analysis]
/Users/pjb/src/mocl/bug-basic-macro.lisp
  defmacro     wsiosbp
  defmacro     genfun
  defun        bug-really
  defun        bug-really-1
  defun        f
[Finalization]
  finalizing classes
  finalizing generic functions
Warning: Function BUG.BASIC-MACRO::BUG-REALLY is referenced but not defined.
[Optimization]
  dead code elimination
  tail recursion elimination
  type inference (level 0)
  code graph analysis
  substitution and simplification
  dead code elimination
  code graph analysis
  side effect analysis
  let form optimization
  type inference (level 2)
  substitution and simplification
  dead code elimination
  code graph analysis
[Code Generation]
  /private/tmp/bug-basic-macro/jni/mocl/program.h
  /private/tmp/bug-basic-macro/jni/mocl/program.c
0 Errors, 1 Warnings

Compilation finished at Sun Mar  1 17:17:19

Notes:


If we remove the call to wsiosbp, then it compiles without warning.

Comments

Please ignore the title. This issue is due to let-binding *package* at compile-time. The issue is not specifically related to the macro system.

- Wukix, 2012 days ago