annotation structs being revealed

On Dec 23, 2007, at 3:19 PM, Derick Eddington wrote:

> Sorry I couldn't find a way to reproduce this more simply. Running
> the
> file srfi/compare/examples.scm from the latest revision of the
> SRFIs is
> printing #[annotation ...] structs which must mean these
> annotations are
> escaping (what I assume is their intended restricted use) somehow.

I'll investigate. Sorry about that.

Kindof fixed in revision 1282. Let me know if it comes up again.

This bug report is about to be closed as the fix comitted
previously will be incorporated in the next 0.0.3 release of
Ikarus Scheme, scheduled for January 31, 2008. A release
candidate tarball is available for download from:
http://www.cs.indiana.edu/~aghuloum/ikarus/ikarus-0.0.3-rc1.tar.gz
Please do test it if you have the time and report any issues
you might encounter. Thank you very much for your support.
(Sorry for the duplicates; I'm updating every open bug.)

Happening when running it as a script, but not in REPL (revision 1466). Sorry I wasn't able to reproduce it without my lambda/? .

[d@eep:~/t6]-> cat annotation-bug.ss
(import
  (rnrs)
  (only (xitomatl define extras) lambda/?))
(lambda/? #(x) 1)

[d@eep:~/t6]-> ikarus --r6rs-script annotation-bug.ss
Unhandled exception:
 Condition components:
   1. &who: case-lambda
   2. &message: "not an identifier"
   3. &syntax:
       form: (case-lambda (#(#["annotation" x ("annotation-bug.ss" . 75) x]) (let () 1)))
       subform: #(#["annotation" x ("annotation-bug.ss" . 75) x])
   4. &trace: #<syntax (case-lambda (#(#["annotation" x ("annotation-bug.ss" . 75) x]) (let () 1)))>
   5. &trace: #<syntax (case-lambda/?--meta "some <lambda/?>" (#(x) 1))>
   6. &trace: #<syntax (lambda/? #(x) 1) [byte 63 of annotation-bug.ss]>

[d@eep:~/t6]-> ikarus
Ikarus Scheme version 0.0.3+ (revision 1466, build 2008-05-03)
Copyright (c) 2006-2008 Abdulaziz Ghuloum

> (import (only (xitomatl define extras) lambda/?))
> (lambda/? #(x) 1)
Unhandled exception
 Condition components:
   1. &who: case-lambda
   2. &message: "not an identifier"
   3. &syntax:
       form: (case-lambda (#(x) (let () 1)))
       subform: #(x)
   4. &trace: #<syntax (case-lambda (#(x) (let () 1)))>
   5. &trace: #<syntax (case-lambda/?--meta "some <lambda/?>" (#(x) 1))>
   6. &trace: #<syntax (lambda/? #(x) 1)>
>

Reopened.

Fixed (I think) in 1468. Thank you!

Unhandled exception:
 Condition components:
   1. &who: case-lambda
   2. &message: "not an identifier"
   3. &syntax:
       form: (case-lambda (#(x) (let () 1)))
       subform: #(x)
   4. &trace: #<syntax (case-lambda (#(x) (let () 1)))>
   5. &trace: #<syntax (case-lambda/?--meta "some <lambda/?>" (#(x) 1))>
   6. &trace: #<syntax (lambda/? #(x) 1) [byte 62 of annotation-bug.ss]>

I've also tripped across this as a result of using the match library. The following:

  (import (ikarus) (match))
  (match 3 [3 (pretty-print `(,2 ,3 'SYM))])

.. will print something like this:

(2 3
  (#["annotation" quote ("b.ss" . 88) quote]
    #["annotation" SYM ("b.ss" . 89) SYM]))

Fixed (again) in revision 1469. This time, it was a reader bug not a syntax bug.