bug#24454: GOOPS problem with GNU Guile 2.1.4

bug#24454: GOOPS problem with GNU Guile 2.1.4

[Jan Wedekind]

Hi,

The following program works fine under GNU Guile 2.0.12:

     (use-modules (oop goops))
     (define-generic native-type)
     (define-method (native-type (i <integer>) . args) 0)
     (define-method (native-type (i <real>) . args) 1)
     (define-method (native-type (b <boolean>) . args) 2)

     (native-type 1)
     (native-type 1.3)
     (native-type #f)
     (native-type 1 1.2)
     (native-type 1.4 2)
     (native-type 1.4 2 3)
     (native-type 1.4 1.5)
     (native-type #f #t)

However under GNU Guile 2.1.4 [1] it fails with an error in 
"multiple-arity-dispatcher":

     oop/goops.scm:1336:2: oop/goops.scm:1336:2: In procedure vector-ref: Value out of range: 3

     Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.

Getting the backtrace didn't work:

     ,bt
     In oop/goops.scm:
     While executing meta-command:
     ERROR: In procedure vector-set!: Value out of range: 5

Regards
Jan

[1] http://alpha.gnu.org/gnu/guile/guile-2.1.4.tar.xz

bug#24454: GOOPS problem with GNU Guile 2.1.4

[Andy Wingo]

On Sat 17 Sep 2016 22:43, Jan Wedekind <jan@wedesoft.de> writes:

> The following program works fine under GNU Guile 2.0.12:
>
>     (use-modules (oop goops))
>     (define-generic native-type)
>     (define-method (native-type (i <integer>) . args) 0)
>     (define-method (native-type (i <real>) . args) 1)
>     (define-method (native-type (b <boolean>) . args) 2)
>
>     (native-type 1)
>     (native-type 1.3)
>     (native-type #f)
>     (native-type 1 1.2)
>     (native-type 1.4 2)
>     (native-type 1.4 2 3)
>     (native-type 1.4 1.5)
>     (native-type #f #t)
>
> However under GNU Guile 2.1.4 [1] it fails with an error in
> "multiple-arity-dispatcher":

Thanks for the bug report!  Fixed in master.

> Getting the backtrace didn't work:

Oops :P  I fixed this too.

Cheers,

Andy

bug#24454: GOOPS problem with GNU Guile 2.1.4

[Jan Wedekind]

On Wed, 22 Feb 2017, Andy Wingo wrote:

> On Sat 17 Sep 2016 22:43, Jan Wedekind <jan@wedesoft.de> writes:
>
>> The following program works fine under GNU Guile 2.0.12:
>>
>>     (use-modules (oop goops))
>>     (define-generic native-type)
>>     (define-method (native-type (i <integer>) . args) 0)
>>     (define-method (native-type (i <real>) . args) 1)
>>     (define-method (native-type (b <boolean>) . args) 2)
>>
>>     (native-type 1)
>>     (native-type 1.3)
>>     (native-type #f)
>>     (native-type 1 1.2)
>>     (native-type 1.4 2)
>>     (native-type 1.4 2 3)
>>     (native-type 1.4 1.5)
>>     (native-type #f #t)
>>
>> However under GNU Guile 2.1.4 [1] it fails with an error in
>> "multiple-arity-dispatcher":
>
> Thanks for the bug report!  Fixed in master.
>
>> Getting the backtrace didn't work:
>
> Oops :P  I fixed this too.
>
> Cheers,
>
> Andy

Thanks for fixing it. I can confirm that it works now.

Regards
Jan

"The purpose of abstraction is not to be vague, but to create a new semantic level
in which one can be absolutely precise." - Dijkstra