[Axiom-developer] Function definition crashes Axiom

[Kai Kaminski]

Hi everyone,

I'm currently rebuilding parts of the HyperDoc documentation. One page
(ug06.[p]ht) contains the following commands:

addx x == ((y: Integer): Integer +-> x + y)

g := addx 10

When I enter those commands at the Axiom toplevel, Axiom crashes due
to a segmentation fault. I'm using version 3.8 (patch-43) freshly
built on Ubuntu 5.04. I'm pretty sure that I haven't modified the
source code prior to compiling it, but I'll rebuild it to be sure, if
noone else has this problem.

Thanks,
Kai