Smart pascal source code


type
  TArr = array [1..2] of Integer;

procedure Test(p: TArr);
var
  i: Integer;
begin
  i := 123;
  Writeln('= ' + IntToStr(p[1]) + ', ' + IntToStr(p[2]));
  Assert(i = 123);
  Assert(p[2] > 0);
end;

{ unit1.pas }

const
  c: TArr = [1, 2];
var
  v1: TArr = [3, 4];
  v2: TArr;
Begin
  v2 := [5, 6];

  Test(c);       // = 1, 2
  Test(v1);      // = 3, 4
  Test(v2);      // = 5, 6
  Test([7, 8]);  // = 7, 8

var Exception={
	$ClassName: "Exception",
	$Parent: TObject,
	$Init: function () { FMessage="" },
	Create: function (s,Msg) { s.FMessage=Msg; return s }
}
var EAssertionFailed={
	$ClassName: "EAssertionFailed",
	$Parent: Exception,
	$Init: Exception.$Init
}

function $Assert(b,m,z) { if (!b) throw Exception.Create($New(EAssertionFailed),"Assertion failed"+z+((m=="")?"":" : ")+m); }

      var v1 = [0,0],
         v1 = [3, 4];
      var v2 = [0,0];
      var c = [1,2];
      v2 = [5, 6];
      Test(c);
      Test(v1.slice(0));
      Test(v2.slice(0));
      Test([7, 8]);

function Test(p) {
   var i = 0;
   i = 123;
   WriteLn(("= "+(p[(1)-1]).toString()+", "+(p[(2)-1]).toString()));
   $Assert(i==123,"","");
   $Assert(p[(2)-1]>0,"","");
};