[M3devel] release engineering 5.8: code generator error for IP address initializers

[Tony Hosking]

You are confusing open array types with array constructors.

On 16 Apr 2010, at 08:15, Jay K wrote:

> (back to the topic :) )
>  
> somewhat reduced case:
> MODULE Main;
> TYPE T1 = ARRAY [0..0] OF INTEGER;
> CONST const: T1 = ARRAY OF INTEGER{2};

This is an array constructor.

I suspect this is the same issue as in my previous e-mail.  The following concise rewrite should work:

CONST const = T1{2};

> BEGIN
> END Main.
> 
> The problem is two global integers are overlapping.
> The open array size and its first element.
> 
> new source -> compiling Main.m3
> "..\Main.m3", line 5: warning: not used (const)
> m3front:cg:Init_int:NOT in_init: o: 32 s:32 value:2  <==
> m3front:cg:Init_int:NOT in_init: o: 32 s:32 value:1  <==
> m3front:cg:Init_int:NOT in_init: o: 384 s:32 value:3
> m3front:cg:Init_int:in_init: o: 32 s:32 value:1
> m3front:cg:Init_int:in_init: o: 32 s:32 value:2
>  
> Are these syntaxes legal?
> This apparent mixing of open and fixed arrays?
> 
>  - Jay
> 
>  
> > Date: Fri, 16 Apr 2010 12:50:48 +0200
> > From: wagner at elegosoft.com
> > To: jay.krell at cornell.edu
> > CC: m3devel at elegosoft.com
> > Subject: RE: [M3devel] release engineering 5.8: code generator error for IP address initializers
> > 
> > I agree. Regular expressions in quake would be great for regression tests.
> > Perhaps for the next release?
> > 
> > Olaf
> > 
> > Quoting Jay K <jay.krell at cornell.edu>:
> > 
> > > "aside":
> > >
> > > http://hudson.modula3.com:8080/job/cm3-test-m3tests-AMD64_FREEBSD/lastBuild/testReport/(root)/m3tests/p206__ARRAY_constructors_in_var_decls_using_named_open_array_types/
> > >
> > > http://hudson.modula3.com:8080/job/cm3-test-m3tests-AMD64_FREEBSD/lastBuild/testReport/(root)/m3tests/r004__negative_size_for_an_open_array/
> > >
> > >
> > > It'd be nice if in Quake we had something regular expression-ish, so
> > > that we could factor out the line numbers, such as e.g. to match
> > > any decimal number.
> > >
> > >
> > > Maybe just check for lines that start how we expect and cut them off 
> > > at some position.
> > > That might be doable with today's Quake.
> > >
> > >
> > >
> > > - Jay
> > >
> > >
> > >
> > >> Date: Fri, 16 Apr 2010 11:45:09 +0200
> > >> From: wagner at elegosoft.com
> > >> To: m3devel at elegosoft.com
> > >> Subject: [M3devel] release engineering 5.8: code generator error 
> > >> for IP address initializers
> > >>
> > >> We also have this error, which should perhaps not be ignored?
> > >>
> > >> http://hudson.modula3.com:8080/job/cm3-test-m3tests-AMD64_FREEBSD/lastBuild/testReport/(root)/m3tests/p204__IP_address_initializers
> > >>
> > >> Olaf
> > >> --
> > >> Olaf Wagner -- elego Software Solutions GmbH
> > >> Gustav-Meyer-Allee 25 / Gebäude 12, 13355 Berlin, Germany
> > >> phone: +49 30 23 45 86 96 mobile: +49 177 2345 869 fax: +49 30 23 45 86 95
> > >> http://www.elegosoft.com | Geschäftsführer: Olaf Wagner | Sitz: Berlin
> > >> Handelregister: Amtsgericht Charlottenburg HRB 77719 | USt-IdNr: DE163214194
> > >>
> > >
> > 
> > 
> > 
> > -- 
> > Olaf Wagner -- elego Software Solutions GmbH
> > Gustav-Meyer-Allee 25 / Gebäude 12, 13355 Berlin, Germany
> > phone: +49 30 23 45 86 96 mobile: +49 177 2345 869 fax: +49 30 23 45 86 95
> > http://www.elegosoft.com | Geschäftsführer: Olaf Wagner | Sitz: Berlin
> > Handelregister: Amtsgericht Charlottenburg HRB 77719 | USt-IdNr: DE163214194
> > 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20100416/3528c0cf/attachment-0002.html>