This is the same as bug #165 and #196. I'll add it there. Would be great if you
could fix that :-)

Martin

Kai Kaminski writes:
 > 
 > 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
 > 
 > 
 > _______________________________________________
 > Axiom-developer mailing list
 > Axiom-developer@nongnu.org
 > http://lists.nongnu.org/mailman/listinfo/axiom-developer



_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to