read circularities and type declarations

Bug #308936 reported by Nikodemus Siivola
2
Affects Status Importance Assigned to Milestone
SBCL
Triaged
Low
Unassigned

Bug Description

BUGS #410

Consider the definition
    (defstruct foo (a 0 :type foo))
followed by
    (setf *print-circle* t) ; just in case
    (read-from-string "#1=#s(foo :a #1#)")
This gives a type error
  #S(SB-IMPL::SHARP-TAG :LABEL 1 :VALUE SB-IMPL::+SHARP-MARKER+) is not of type FOO
because of the implementation of read circularity, using a structure as a marker for the previously-referenced object.

Tags: reader
Changed in sbcl:
importance: Undecided → Medium
status: New → Confirmed
Revision history for this message
Nikodemus Siivola (nikodemus) wrote :

Downgrading to low.

Changed in sbcl:
importance: Medium → Low
status: Confirmed → Triaged
Stas Boukarev (stassats)
description: updated
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.