[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: compiling ucpop
- To: clisp-list@ma2s2.mathematik.uni-karlsruhe.de
- Subject: Re: compiling ucpop
- From: Roger Kirchner <rkirchne@phobos.mathcs.carleton.edu>
- Date: Thu, 13 Feb 1997 23:07:11 -0600 (CST)
- Cc: rkirchne@phobos.mathcs.carleton.edu (Roger Kirchner)
- In-reply-to: <199702131719.SAA22662@helen.cli.di.unipi.it> from "Pierpaolo Bernardi" at Feb 13, 97 06:43:03 pm
>
>
> Can anyone understand why I might get the error
>
> ERROR in function GET-OPERS-TEST-TEMPL in lines 263..275 :
> RETURN-FROM block TEST-TEMPL is impossible from here.
>
> when compiling
>
> ;;; quickly get those operators in the templates that match a condition
> (defun get-opers (condition &aux (ret nil))
> (labels ((test-templ (templ)
> (dolist (e (p-step-add templ) nil)
> (dolist (a (effect-add e))
> (when (and (eql (car a) (car condition))
> (or (not (eq (car a) :not))
> (eql (caadr a) (caadr condition))))
> (return-from test-templ t))))))
> (dolist (templ *templates* ret)
> (when (test-templ templ)
> (push templ ret)))))
>
>
> Blocks around functions established with LABELS and FLET are a cltl2
> addition. In Clisp you should use CL instead of LISP, or use
> CL:LABELS instead of LABELS.
>
> Maybe starting Clisp with '-p CL-USER' fixes this (or maybe not).
>
> Cheers, P.
>
Thank you _very_ much. The cl:labels did it. The version of clisp I
have does start in COMMON-LISP-USER. But ucpop loads into USER.
Roger