Opened 10 years ago

Closed 10 years ago

#573 closed defect (fixed)

compiler bug

Reported by: boyer Owned by: gz
Priority: normal Milestone:
Component: Compiler Version: trunk
Keywords: Cc:

Description (last modified by gb)

The following transcript suggests the presence of a new bug in the CCL compiler in the vicinity of subtypep. Probably part of a disagreement about when (values ...) can be used in a type expression. Something like this just broke an ACL2 rebuild that didn't break yesterday.

% ccl -n
Welcome to Clozure Common Lisp Version 1.4-dev-r12509M-trunk  (LinuxX8664)!
? (defvar x)
X
? (defvar y)
Y
? (defun foo () x)
FOO
? (defun bar () y)
BAR
? (proclaim '(ftype (function () (values t)) foo bar))
NIL
? (defun fap () (- (foo) (bar)))
> Error: VALUES type illegal in this context:
>          (VALUES T)
> While executing: (:INTERNAL CCL::NX1-COMPILE-LAMBDA), in process listener(1).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: continue compilation ignoring this form
> Type :? for other options.
1 > 

Change History (3)

comment:1 Changed 10 years ago by gb

  • Description modified (diff)
  • Owner changed from gb to gz

comment:2 Changed 10 years ago by gz

Fixed in r12512.

comment:3 Changed 10 years ago by gz

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.