gmane.lisp.scheme.stklos

STklos sometimes fails it's test suite

Vitaly Magerya — 2012-05-07T17:06:30

Hi Erick, hi everyone. It appears that STklos is subtly broken, as it
fails it's own test suite, but it only does so once in a while.

Here's how I build it (this is so you could easily reproduce the problem
by just copy-pasting this message to the command line):

    wget "http://www.stklos.net/download/stklos-1.10.tar.gz"
    tar xf stklos-1.10.tar.gz
    cd stklos-1.10
    ./configure --enable-threads=posix --with-provided-gc
    make
    make test

This may work at first, but if you'll repeat "make test" a few times
(20 times is usually enough), you'll see that some tests may fail. In
particular, on different occasions I've seen 3 errors:


==== Testing call/cc & dynamic-wind  ...                         failed
Errors found in this section:
test R5RS example on (let ((path '()) (c #f)) (let ((add (lambda (s)
(set! path (cons s path))))) (dynamic-wind (lambda () (add 'connect))
(lambda () (add (call-with-current-continuation (lambda (c0) (set! c
c0) 'talk1)))) (lambda () (add 'disconnect))) (if (< (length

Re: Objects & SRFI-10: No Applicable Method

Taylor Venable — 2012-02-08T02:57:52

(Sorry I only just now got back around to this email.)

OK, I see. Thank you very much for clarifying that.

Re: STklos failes to run Silex without reporting an error

Erick Gallesio — 2012-01-18T22:19:13

Sascha,

I have never seen this problem before (and Silex is used in the build of 
STklos). BTW , Silex and the lalr parser of Dominique Boucher are 
present in STklos distribution since a long time. But I must admit that 
I have probably never tried to build an automaton of this size.

STklos provides a command to build an automaton which is stklos-genlex. 
It produces an automaton which is not a table, but a program. It crashes 
also with your ASN1 grammar (the automaton is created but the lexer 
closure cannot be built).

The number of arguments should not a problem, as exercised below:

    stklos> (define (iota n)
      (letrec ((aux (lambda (n l) (if (>= n 0) (aux (- n 1) (cons n l)) 
l))))
        (aux (- n 1) '())))
    ;; iota
    stklos> (length (apply append (map list (iota 20000))))
    20000

I'll try to investigate the problem, but it could not be before some 
days. In the meantime a simple way to make the automaton smaller could 
be to not build a rule for all the reserved identifiers and rec

STklos failes to run Silex without reporting an error

Sascha Ziemann — 2012-01-17T15:59:28

I am trying to use Silex with STklos. Silex is a lexer generator for Scheme:

http://www.iro.umontreal.ca/~dube/silex.tar.gz

But when I run Silex with STklos it fails to produce the lexer table
without reporting any error:

$ stklos
*   STklos version 1.10
 *  Copyright (C) 1999-2011 Erick Gallesio - Universite de Nice <eg< at >unice.fr>
* * [Linux-2.6.32-bpo.5-amd64-x86_64/pthread/readline/utf8]
stklos> (load "silex/silex.scm")
stklos> (lex "asn1.l" "stklos.scm")
#t
stklos>

The above session creates the file stklos.scm which contains the
lexer. I have attached the file. You can find at line 1756 a single
quote without any value. That is the bug.

Sorry for the big mail but the bug occurs only with big lexers.

When I run Silex with Gauche it works as expected. I have attached the
lexer generated by Gauche, which contains the correct value behind the
quote.

I have also attached my grammar file in order to reproduce the bug.

Silex stresses the Scheme interpreter by the number of arguments
passed to string-appe

Re: Objects & SRFI-10: No Applicable Method

Erick Gallesio — 2012-01-15T21:44:57

Taylor,

My previous response was incorrect: the current behavior is the one 
which is defined by SRFI-10 which insists on the difference of the 
Scheme SRFI-10 '#,' mechanism with the CL '#.' one. It is said:

     Common Lisp defines an external form #.obj, which instructs the 
Lisp reader to
     evaluate obj right after the reader parsed it. While #. is a 
general-purpose
     read-evaluator:
           #.obj === (eval obj)
     #, is merely an application:
           #,obj === (apply (lookup (car obj)) (cdr obj))
     and obj must be an external representation of a list. Read-time 
application
     is weaker than a generic read-time evaluation, and therefore less
      expensive. Example 5 below illustrates the difference.

where Example 5 is:

     Differences between Common Lisp's #. and the proposed #,

        (with-input-from-string "#,(+ 1 (+ 2 3))" read) ==>
            error: can't add number 1 and a list '(+ 2 3)
        (with-input-from-string "#,(+ 1 #,(+ 2 3))" read) ==> 6

     In contrast

Re: Objects & SRFI-10: No Applicable Method

Taylor Venable — 2012-01-10T02:23:04

Thanks for the reply. For what it's worth, I found a workaround;
throwing in an eval makes it work:

stklos> (define-class <foo> () ())
;; <foo>
stklos> (define-reader-ctor 'make (lambda x (eval `(make ,< at >x))))
stklos> (with-input-from-string "#,(make <foo>)" read)
#[<foo> 1bd6f30]

Re: Objects & SRFI-10: No Applicable Method

Erick Gallesio — 2012-01-09T23:46:28

Hi Taylor,

Welcome on STklos. That's weird. It seems to be a regression.
I'll have a look at it (probably not before a couple of days) and post a 
correction.

Bye

Objects & SRFI-10: No Applicable Method

Taylor Venable — 2012-01-08T22:30:18

Hi there, I'm new to STklos and am trying to write my first little
program. I want to store objects into a file and read them out easily,
so looking at the manual I found an example of using write-object to
print out a representation ala SRFI-10. When I try this, however, it
doesn't work as I expected.

*   STklos version 1.10
 *  Copyright (C) 1999-2011 Erick Gallesio - Universite de Nice <eg< at >unice.fr>
* * [Linux-3.1.6-1-ARCH-x86_64/pthread/readline/utf8]
stklos> (define-class <foo> () ())
;; <foo>
stklos> (describe (make <foo>))
#[<foo> 1c00db0] is an an instance of class <foo>.
Slots are:
stklos> (define-reader-ctor 'make make)
stklos> (with-input-from-string "#,(make <foo>)" read)
**** Error:
error: no applicable method for #[<generic> make-instance (1)]
in call (make-instance <foo>)
        (type ",help" for more information)
stklos> (make-instance <foo>)
#[<foo> 1c2c240]

What am I doing wrong? Thanks!

--
Taylor C. Venable
http://metasyntax.net/
_____________________________________________

Re: Objects & SRFI-10: No Applicable Method

Taylor Venable — 2012-01-10T02:23:04

Thanks for the reply. For what it's worth, I found a workaround;
throwing in an eval makes it work:

stklos> (define-class <foo> () ())
;; <foo>
stklos> (define-reader-ctor 'make (lambda x (eval `(make ,< at >x))))
stklos> (with-input-from-string "#,(make <foo>)" read)
#[<foo> 1bd6f30]

Re: Objects & SRFI-10: No Applicable Method

Erick Gallesio — 2012-01-09T23:46:28

Hi Taylor,

Welcome on STklos. That's weird. It seems to be a regression.
I'll have a look at it (probably not before a couple of days) and post a 
correction.

Bye

Objects & SRFI-10: No Applicable Method

Taylor Venable — 2012-01-08T22:30:18

Hi there, I'm new to STklos and am trying to write my first little
program. I want to store objects into a file and read them out easily,
so looking at the manual I found an example of using write-object to
print out a representation ala SRFI-10. When I try this, however, it
doesn't work as I expected.

*   STklos version 1.10
 *  Copyright (C) 1999-2011 Erick Gallesio - Universite de Nice <eg< at >unice.fr>
* * [Linux-3.1.6-1-ARCH-x86_64/pthread/readline/utf8]
stklos> (define-class <foo> () ())
;; <foo>
stklos> (describe (make <foo>))
#[<foo> 1c00db0] is an an instance of class <foo>.
Slots are:
stklos> (define-reader-ctor 'make make)
stklos> (with-input-from-string "#,(make <foo>)" read)
**** Error:
error: no applicable method for #[<generic> make-instance (1)]
in call (make-instance <foo>)
        (type ",help" for more information)
stklos> (make-instance <foo>)
#[<foo> 1c2c240]

What am I doing wrong? Thanks!

--
Taylor C. Venable
http://metasyntax.net/
_____________________________________________

Objects & SRFI-10: No Applicable Method

Taylor Venable — 2012-01-08T22:30:18

Hi there, I'm new to STklos and am trying to write my first little
program. I want to store objects into a file and read them out easily,
so looking at the manual I found an example of using write-object to
print out a representation ala SRFI-10. When I try this, however, it
doesn't work as I expected.

*   STklos version 1.10
 *  Copyright (C) 1999-2011 Erick Gallesio - Universite de Nice <eg< at >unice.fr>
* * [Linux-3.1.6-1-ARCH-x86_64/pthread/readline/utf8]
stklos> (define-class <foo> () ())
;; <foo>
stklos> (describe (make <foo>))
#[<foo> 1c00db0] is an an instance of class <foo>.
Slots are:
stklos> (define-reader-ctor 'make make)
stklos> (with-input-from-string "#,(make <foo>)" read)
**** Error:
error: no applicable method for #[<generic> make-instance (1)]
in call (make-instance <foo>)
        (type ",help" for more information)
stklos> (make-instance <foo>)
#[<foo> 1c2c240]

What am I doing wrong? Thanks!

--
Taylor C. Venable
http://metasyntax.net/
_____________________________________________

[Announce] STklos-1.10 release

Erick Gallesio — 2011-12-31T17:14:54

This is an announce for the 1.10 release of STklos.


STklos is a free Scheme system compliant with the languages features
defined in R5RS. The aim of this implementation is to be fast as well
as light. The implementation is based on an ad-hoc Virtual
Machine. STklos can also be compiled as a library and embedded in an
application.

The salient points of STklos are:

    * an efficient and powerful object system based on CLOS 
      providing
          o Multiple Inheritance,
          o Generic Functions,
          o Multi-methods
          o an efficient MOP (Meta Object Protocol)
    * a simple to use module system
    * a full tower of numbers implementation, as defined in R5RS,
    * easy connection to the GTK+ toolkit,
    * a Perl compatible regular expressions thanks to the PCRE 
      package,
    * easily extensible with its ScmPkg mechanism,
    * it implements properly tail recursive calls.

This version brings the support of UTF-8 encoding and begins to support some (future) R7RS traits:

    *

STklos update

Erick Gallesio — 2011-08-28T17:37:39

Hi,

I have committed a large set of modifications to STklos that were in a 
private development tree. The modifications permits mainly to support 
UTF-8 encoding in strings. There are also patches to support the future 
R7RS version of Scheme (small language). There are some things that 
still need to be done to have a new version, but current code should be 
usable. If you don't want to use UTF-8 encoding, you can use the 
--utf8-encoding=no option.

If you are interested, the code is available at 
http://stklos.net/hg/hgweb.cgi/archive/tip.tar.gz

A bientôt

FFI docs and examples

nitralime — 2011-01-28T11:22:39

Hi folks!

Is there a better (resp. more detailed) documentation of FFI?
Do you know examples of binding external libraries which
can be used to get familiar with FFI?

Regards
Nik
_______________________________________________
STklos mailing list
STklos< at >email.essi.fr
http://email.essi.fr/mailman/listinfo/stklos

Re: parameterize

Erick Gallesio — 2011-01-07T08:55:16

Hi Joo,

You are correct. I will try to fix that asap, but I suspect that it will 
not be so easy.
Thanks for signaling this bug.

parameterize

Joo ChurlSoo — 2011-01-07T00:42:42

The following parameterize behavior seems to be wrong.

(let ((f (make-parameter 'a))
      (path '())
      (c #f))
  (let ((add (lambda () (set! path (cons (f) path)))))
    (add)
    (parameterize ((f 'b))
   (call-with-current-continuation (lambda (c0) (set! c c0)))
   (add) (f 'c) (add))
    (f 'd)
    (add)
    (if (< (length path) 5)
 (c 'end)
 (reverse path))))
 (a b c d b c d) ;This answer seems to be wrong. (cf.) (a b c d c c d)

[Announce] STklos-1.01 release

2010-12-30T19:04:57

This is an announce for the 1.01 release of STklos.


STklos is a free Scheme system compliant with the languages features
defined in R5RS. The aim of this implementation is to be fast as well
as light. The implementation is based on an ad-hoc Virtual
Machine. STklos can also be compiled as a library and embedded in an
application.

The salient points of STklos are:

    * an efficient and powerful object system based on CLOS 
      providing
          o Multiple Inheritance,
          o Generic Functions,
          o Multi-methods
          o an efficient MOP (Meta Object Protocol)
    * a simple to use module system
    * a full tower of numbers implementation, as defined in R5RS,
    * easy connection to the GTK+ toolkit,
    * a Perl compatible regular expressions thanks to the PCRE 
      package,
    * easily extensible with its ScmPkg mechanism,
    * it implements properly tail recursive calls.

This release is mainly a maintenance version. Changes in this version:
     * Documentation update
     *

Re: Nested quasiquotation bug

Erick Gallesio — 2010-12-15T20:56:19

Hi,

You are right, this is a bug. I will try to fix it asap (proabably not 
before the holidays, unfortunately).

Nested quasiquotation bug

Rock — 2010-12-14T23:48:17

I think I've discovered a bug here.

The following:

``(,< at >(append ,< at >'((list 2 3) (list 5 7))))

should produce:

(quasiquote ((unquote-splicing (append (list 2 3) (list 5 7)))))

as it does correctly with Guile.

But with stklos 1.0, you get:

`(,< at >(append ,< at >'((list 2 3) (list 5 7))))

As you can see, it doesn't evaluate the internal unquote-splicing at all!

Thank you.

Internat d'Été?

Michael Feyereisen — 2010-12-11T18:20:33

Cher Erick,

STklos m'interesse beaucoup, et j'aimerais savoir s'il serait possible
de faire un internat à l'Université de Nice cet été, afin par exemple
de vous aider à écrire de la documentation, voire du code (en Scheme
ou en C).

Merci beaucoup,

Michael Feyereisen

Imperial College London
Department of Physics