<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'>
MODULE bug1;<br><br>PROCEDURE F1()=<br>CONST a=ARRAY OF INTEGER{0};<br>VAR b := SUBARRAY(0,1,a);<br>BEGIN<br>END F1;<br><br>BEGIN<br>END bug1.<br><br><br>new source -> compiling bug1.m3<br>"../src/bug1.m3", line 5: SUBARRAY: first argument must be an array<br><br><br>***<br>*** runtime error:<br>*** <*ASSERT*> failed.<br>*** file "../src/exprs/Expr.m3", line 337<br>***<br><br><br><br><br><br><br> </body>
</html>