[lisaac-Bugs][311044] Segmentation Fault. Code examples

[lisaac-bugs at alioth.debian.org]

Bugs item #311044, was changed at 2008-09-04 12:32 by Mildred Ki'Lya
You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=311044&group_id=100200

>Status: Closed
Priority: 3
Submitted By: Xavier Oswald  (xaviero-guest)
Assigned to: Benoit Sonntag (sonntag-guest)
Summary: Segmentation Fault. Code examples 
Target Milestone: None


Initial Comment:
Hello,

Lissac gets some Segmentation Fault error when trying to compile the following programs:

=======================

Section Header
+ name := BUG;

Section Public
- main <-
(
+ value : BOOLEAN;
value := IO.read_line;
);

=======================

Section Header
+ name := SIMPLE;

Section Public

- main := "Hello World!\n".print;

=======================

The first code snippet is probably kind of malicious and shouldn't evidently work, but it should probably give an error message.

The second code is an example of the Reference Manual 0.3 , so, considering latest Lissac version is 0.13.1 , this behaviour might have changed since then , nevertheless , it also gives a segfaults when trying to compile.

I am using Lissac 0.13.1 with GCC 4.1.2, if you need further info let me know.

Thanks,

----------------------------------------------------------------------

>Comment By: Mildred Ki'Lya (mildred-guest)
Date: 2009-09-04 16:11

Message:
The first example doesn't segfault anymore with the stable branch:

Depending pass: ..--SEMANTIC---------
Type `Expanded BOOLEAN' is invalid with `Strict VOID'.
Line 9 column 12 in BUG(/tmp/bug.li):
    value := IO.read_line;
            ^

Line 9 column 25 in BUG(/tmp/bug.li):
    value := IO.read_line;
                         ^

There is an error on the second example as well:


Depending pass: ..--SEMANTIC---------
Type `VOID' is invalid with `Strict VOID'.
Line 6 column 7 in SIMPLE(/tmp/simple.li):
- main := "Hello World!\n".print;
       ^

Line 6 column 32 in SIMPLE(/tmp/simple.li):
- main := "Hello World!\n".print;
                                ^



----------------------------------------------------------------------

Comment By: Nobody (None)
Date: 2008-10-16 09:17

Message:
Bertd -speaking-french as first language (I regitered at gna with lisaac account) (I stated giving my self to Lisaac, but I'm just unable to compile the simple Hello_world provide by the package 0.13.1) in the following architectures:

1. MingW(vista), no success, the installation issues  many warnings about " pointers...", Compilation errors: path.li, or object.li, or true,li not found.... (I updated the path environment, try to ...). Also your version of MinGW does work (even the gcc you provide canot even compile a c code in my vista).
2. Unix (PC-BSD): intalltion issues many warnings... Compilation errors: some libraries about X11 and more not found.

3. Mandriva linus: installation wranings(..pointer...), Compilations erros: SEGMENTATION errors. 

(of couse I know it should in a good installation of debian, but I've all to install debain without succes: downlading problem!?). I hope I'll be able to get the comming Ubutun whcih contains already a lisaac package!

----------------------------------------------------------------------

You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=311044&group_id=100200