1¨Previous value of SYS$ERROR has been superseded0¨---------- M01EXPVAR PRAXIS (VAX --> VAX)-¨ Multiple modules M01EXPVAR P01IMPVAR ¨ Pass....P01impvar ¨ ---- M01EXPVAR Complete1¨Previous value of SYS$ERROR has been supersededI0¨---------- M01EXPVAR PRAXIS (VAX --> VAX)-¨ Multiple modules M01EXPVAR P01USEVAR -¨Pass....P01usevar =¨ ---- M01EXPVAR Complete1¨Previous value of SYS$ERROR has been superseded*0¨---------- P001NAMES PRAXIS (VAX --> VAX)¨ PASS....P001NAMES ¨ ---- P001NAMES Complete1¨Previous value of SYS$ERROR has been supersededi/¨---------- P009FLEX PRAXIS (VAX --> VAX)s¨480 r480 - FAIL....P009FLEX ¨ ---- P009FLEX Complete 1¨Previous value of SYS$ERROR has been supersededX/¨---------- P010FLEX PRAXIS (VAX --> VAX)P&¨ 29 procedure zap( a,b,c : ref arr)¨ 30 count *= + len¨ 31 endprocedurel&¨Error Line <= 30: "len" is undefined¨1 error in P010FLEX ¨Operation is incomplete@¨ P010FLEX *** Compile-time error - Link & run skipped --------¨ ---- P010FLEX Completes1¨Previous value of SYS$ERROR has been superseded-/¨---------- P011FLEX PRAXIS (VAX --> VAX)F¨ PASS....P011FLEX ¨ ---- P011FLEX Complete 1¨Previous value of SYS$ERROR has been supersededL/¨---------- P012FLEX PRAXIS (VAX --> VAX)p¨ PASS....P012FLEX ¨ ---- P012FLEX Completed1¨Previous value of SYS$ERROR has been superseded/¨---------- P013FLEX PRAXIS (VAX --> VAX)¨ PASS....P013FLEX ¨ ---- P013FLEX Completee1¨Previous value of SYS$ERROR has been supersededv/¨---------- F003FLEX PRAXIS (VAX --> VAX)-¨ 26 enddeclare¨ 27 -¨ 28 if count = 0 do D¨Error Line <= 26: Invalid context for flexible array specification¨1 error in F003FLEX¨¨Operation is incompleteI@¨ F003FLEX *** Compile-time error - Link & run skipped --------¨ ---- F003FLEX Completeo1¨Previous value of SYS$ERROR has been superseded3/¨---------- F004FLEX PRAXIS (VAX --> VAX)1¨ 24 endstructureX¨ 25 pt is pointer tB¨ 26 k : pt initially allocate pt(length:17); // should fail0¨Error Line <= 26: "length" is not a field name¨ 27 enddeclare¨ 28 o¨ 29 if count = 0 do D¨Error Line <= 27: Invalid context for flexible array specification¨ 2 errors in F004FLEX¨Operation is incomplete-@¨ F004FLEX *** Compile-time error - Link & run skipped --------¨ ---- F004FLEX Completee1¨Previous value of SYS$ERROR has been supersededV/¨---------- F005FLEX PRAXIS (VAX --> VAX) ¨ 27 enddeclare¨ 28 k¨ 29 if count = 0 do D¨Error Line <= 27: Invalid context for flexible array specification¨1 error in F005FLEXc¨Operation is incompletec@¨ F005FLEX *** Compile-time error - Link & run skipped --------¨ ---- F005FLEX Completer1¨Previous value of SYS$ERROR has been superseded00¨---------- P009ALLOC PRAXIS (VAX --> VAX)8¨ 31 device: strng_typ initially strng_typ( size : 3,3¨ 32 strng_ptr: allocate ptr_strng( "SY:" ))XI¨ 33 directory: strng_typ initially strng_typ(size:0, strng_typ: nil )=@¨Error Line <= 32: Compile-time heap allocation not implemented+¨Error Line <= 32: constant value requiredo3¨Error Line <= 33: "strng_typ" is not a field name-H¨ 34 filename : strng_typ initially strng_typ(size:0, strng_typ:nil )3¨Error Line <= 34: "strng_typ" is not a field name9!¨ 38 dataset_ptr : ptr_dataset F¨ 39 default_fnb_ptr : ptr_dataset initially allocate ptr_dataset()¨ 40 endstructure@¨Error Line <= 40: Compile-time heap allocation not implemented+¨Error Line <= 40: constant value requiredp¨ 6 errors in P009ALLOCi¨Operation is incomplete A¨ P009ALLOC *** Compile-time error - Link & run skipped --------t¨ ---- P009ALLOC Complete1¨Previous value of SYS$ERROR has been supersededt/¨---------- PSUCC001 PRAXIS (VAX --> VAX)a¨ PASS....PSUCC001 ¨ ---- PSUCC001 Complete91¨Previous value of SYS$ERROR has been supersededp/¨---------- PRCHK001 PRAXIS (VAX --> VAX)e¨ 29 endguarde¨ 30 disarm x_range_errord¨ 31 x := yellow7¨Error Line <= 30: "x_range_error" is multiply defined¨¨ 37 endguardl¨ 38 arm x_range_error¨ 39 x := green&7¨Error Line <= 38: "x_range_error" is multiply definedv¨ 2 errors in Prchk001¨Operation is incomplete-@¨ PRCHK001 *** Compile-time error - Link & run skipped --------¨ ---- PRCHK001 Complete91¨Previous value of SYS$ERROR has been supersededp/¨---------- FRCHK001 PRAXIS (VAX --> VAX)e¨ 24 arm x_range_error¨ 25 guardD¨ 26 z := succ(succ( pred( succ(yellow)))) ; // fall off top endW¨Error Line <= 26: Range check on assign of "{bit_constant} of type color" to "{succ}"L¨Error Line <= 26: Statement skiped (halt) due to previously reported error¨ 29 endguard ¨ 30 guardO¨ 31 z := succ(succ( pred( succ(yellow)))) ; // don't catch falling off end1W¨Error Line <= 31: Range check on assign of "{bit_constant} of type color" to "{succ}"PL¨Error Line <= 31: Statement skiped (halt) due to previously reported error¨ 35 endguard(¨ 36 guardC¨ 37 z := pred(pred( pred( succ(green)))) ; // falls off bottom"W¨Error Line <= 37: Range check on assign of "{bit_constant} of type color" to "{pred}"uL¨Error Line <= 37: Statement skiped (halt) due to previously reported error¨ 6 errors in frchk001¨Operation is incompletea@¨ FRCHK001 *** Compile-time error - Link & run skipped --------¨ ---- FRCHK001 Completeo1¨Previous value of SYS$ERROR has been supersededa/¨---------- PRCHK002 PRAXIS (VAX --> VAX)d¨ FAIL....PRCHK002 ¨ ---- PRCHK002 Completes1¨Previous value of SYS$ERROR has been superseded VAX) ¨ 57 endguard ¨ 58 endmodule { PRCHK003 }t<¨Error Line <= 58: Range check on assign of " 32768" to "A"<¨Error Line <= 58: Range check on assign of " 32858" to "A"¨ 2 errors in PRCHK003¨Operation is incomplete-@¨ PRCHK003 *** Compile-time error - Link & run skipped --------¨ ---- PRCHK003 CompleteH1¨Previous value of SYS$ERROR has been supersededK/¨---------- PRCHK004 PRAXIS (VAX --> VAX)l¨ 57 endguard ¨ 58 endmodule { PRCHK004 }-<¨Error Line <= 58: Range check on assign of " 65535" to "A"<¨Error Line <= 58: Range check on assign of " 65625" to "A"¨ 2 errors in PRCHK004¨Operation is incompletec@¨ PRCHK004 *** Compile-time error - Link & run skipped --------¨ ---- PRCHK004 CompleteC1¨Previous value of SYS$ERROR has been superseded-/¨---------- PRCHK005 PRAXIS (VAX --> VAX)l¨1 R2 3 p4 K5 -5  FAIL....PRCHK005 ¨ ---- PRCHK005 Complete 1¨Previous value of SYS$ERROR has been superseded8/¨---------- PRCHK006 PRAXIS (VAX --> VAX)o¨ 85 endguard ¨ 86 endmodule { PRCHK006 }o<¨Error Line <= 86: Range check on assign of " -1000" to "A"¨1 error in PRCHK006-¨Operation is incompletep@¨ PRCHK006 *** Compile-time error - Link & run skipped --------¨ ---- PRCHK006 Complete1¨Previous value of SYS$ERROR has been superseded¨/¨---------- PRCHK007 PRAXIS (VAX --> VAX)¨ 84 endguard ¨ 85 endmodule { PRCHK007 } <¨Error Line <= 85: Range check on assign of " -999" to "A"<¨Error Line <= 85: Range check on assign of " 2000" to "A"¨ 2 errors in PRCHK007¨Operation is incomplete @¨ PRCHK007 *** Compile-time error - Link & run skipped --------¨ ---- PRCHK007 CompleteC1¨Previous value of SYS$ERROR has been superseded-/¨---------- PRCHK008 PRAXIS (VAX --> VAX)l¨ 98 endguard ¨ 99 endmodule { PRCHK008 }-=¨Error Line <= 99: Range check on assign of " 0" to "a3"e=¨Error Line <= 99: Range check on assign of " -300" to "a3"g=¨Error Line <= 99: Range check on assign of " 300" to "a3" =¨Error Line <= 99: Range check on assign of " -15" to "a2"i=¨Error Line <= 99: Range check on assign of " 30" to "a2"p=¨Error Line <= 99: Range check on assign of " -2000" to "a2"Y=¨Error Line <= 99: Range check on assign of " -5" to "a1" =¨Error Line <= 99: Range check on assign of " -300" to "a1"-=¨Error Line <= 99: Range check on assign of " 300" to "a1"e¨ 9 errors in PRCHK008¨Operation is incomplete @¨ PRCHK008 *** Compile-time error - Link & run skipped --------¨ ---- PRCHK008 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- PRCHK009 PRAXIS (VAX --> VAX)"¨1 o2 <3 a4 c5 s6 "7 8 Y9 o PASS....PRCHK009 ¨ ---- PRCHK009 Complete"1¨Previous value of SYS$ERROR has been superseded"0¨---------- FEXPORT01 PRAXIS (VAX --> VAX)K¨ 38 default: writeln( " FAIL....FEXPORT01 ..default exception caught")c¨ 39 endguard ¨ 40 endmodule { FEXPORT01 }&¨Error Line <= 40: "map" is undefined¨1 error in FEXPORT01¨Operation is incompletenA¨ FEXPORT01 *** Compile-time error - Link & run skipped --------¨ ---- FEXPORT01 Complete1¨Previous value of SYS$ERROR has been superseded.0¨---------- MEXPAGG01 PRAXIS (VAX --> VAX)-¨ Multiple modules MEXPAGG01 PEXPAGG01 ¨¨ FAIL....PEXPAGG01 S¨ ---- MEXPAGG01 Complete1¨Previous value of SYS$ERROR has been supersededp0¨---------- P006OPTNL PRAXIS (VAX --> VAX)¨ 20 a : inout ref realB¨ 21 b : optional inout ref general initially force real( 0.0 )>¨ 22 c : optional in ref general initially force integer(0)V¨Error Line <= 21: type of "general" incompatible with type of "{force} of type REAL"¨ 23 endparam Y¨Error Line <= 23: type of "general" incompatible with type of "{force} of type INTEGER"F¨ 2 errors in P006OPTNL ¨Operation is incompleteoA¨ P006OPTNL *** Compile-time error - Link & run skipped -------- ¨ ---- P006OPTNL Complete1¨Previous value of SYS$ERROR has been supersededt/¨---------- PFLEX001 PRAXIS (VAX --> VAX) ¨ PASS....PFLEX001 ¨ ---- PFLEX001 Complete1¨Previous value of SYS$ERROR has been supersededw0¨---------- P001ROUND PRAXIS (VAX --> VAX)¨1 undefined symbol: ¨ PRX$FROUND —¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X00000068 in module P001ROUND file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001ROUND.OBJ;1 —¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X00000087 in module P001ROUND file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001ROUND.OBJ;1>—¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X000000B5 in module P001ROUND file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001ROUND.OBJ;1A—¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X000000CF in module P001ROUND file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001ROUND.OBJ;1l¨W¨Access violation, reason mask=00, virtual address=00000000, PC=00000000, PSL=03C00000 ¨Symbolic stack dump follows0P¨module name routine name line rel PC abs PC O¨ 00000000 00000000oO¨ 00003E58 00003E58 O¨PRAXIS_LIBRARY $CODE1 000000B8 00003C50RO¨ 00003E35 00003E35nA¨ P001ROUND *** Run-time test error ----------------------------0¨ ---- P001ROUND Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- P001FLOOR PRAXIS (VAX --> VAX)¨1 undefined symbol: ¨ PRX$FFLOOR —¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X00000068 in module P001FLOOR file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001FLOOR.OBJ;1 —¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X00000087 in module P001FLOOR file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001FLOOR.OBJ;1e—¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X000000B5 in module P001FLOOR file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001FLOOR.OBJ;1A—¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X000000CF in module P001FLOOR file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P001FLOOR.OBJ;1l¨W¨Access violation, reason mask=00, virtual address=00000000, PC=00000000, PSL=03C00000 ¨Symbolic stack dump follows0P¨module name routine name line rel PC abs PC O¨ 00000000 00000000oO¨ 00003E58 00003E58 O¨PRAXIS_LIBRARY $CODE1 000000B8 00003C50FO¨ 00003E35 00003E35nA¨ P001FLOOR *** Run-time test error ----------------------------0¨ ---- P001FLOOR Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- M01SEPER PRAXIS (VAX --> VAX) ?¨ Multiple modules M01SEPER M02SEPER M03SEPER P01SEPER 0=¨ 23 count : static integer initially 0 // index counter ¨ 24 rec1a : str1-¨ 25 rec1b : str1 initially str1( a:3.2) K¨Error Line <= 25: function, converter, or structure constructor incorrect 5¨ 26 rec1c : str1 initially str1( a:3.2,b:green)nK¨Error Line <= 25: wrong number of arguments in function or procedure call¨K¨Error Line <= 26: function, converter, or structure constructor incorrectA'¨Error Line <= 26: expression required K¨Error Line <= 26: function, converter, or structure constructor incorrectr4¨ 27 rec1d : str1 initially str1( a:4.2,b:pink)K¨Error Line <= 26: wrong number of arguments in function or procedure callnK¨Error Line <= 27: function, converter, or structure constructor incorrecti'¨Error Line <= 27: expression required VAX)-¨ Multiple modules M01STINIT P01STINIT <¨ PASS....P01STINIT ¨¨ ---- M01STINIT Complete1¨Previous value of SYS$ERROR has been supersedede0¨---------- M02STINIT PRAXIS (VAX --> VAX)-¨ Multiple modules M02STINIT P02STINIT i¨ PASS....P02STINIT P¨ ---- M02STINIT Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P001WHEN PRAXIS (VAX --> VAX)r¨ PASS....P001WHEN ¨ ---- P001WHEN Complete-1¨Previous value of SYS$ERROR has been supersededl/¨---------- P01SEMIC PRAXIS (VAX --> VAX).¨ 20 N ¨ 21 endmodule { P01SEMIC } ; 0¨Error Line <= 21: Syntax error on end of file ¨syntax errors ¨1 error in P01SEMICA¨Operation is incompleteu@¨ P01SEMIC *** Compile-time error - Link & run skipped --------¨ ---- P01SEMIC Completer1¨Previous value of SYS$ERROR has been superseded-/¨---------- P02SEMIC PRAXIS (VAX --> VAX)¨ 20 .¨ 21 endmodule ; 0¨Error Line <= 21: Syntax error on end of file ¨syntax errorse¨1 error in P02SEMICM¨Operation is incomplete.@¨ P02SEMIC *** Compile-time error - Link & run skipped --------¨ ---- P02SEMIC Complete 1¨Previous value of SYS$ERROR has been supersededt/¨---------- P01BASES PRAXIS (VAX --> VAX)e¨ PASS....P01BASES ¨ ---- P01BASES Completem1¨Previous value of SYS$ERROR has been supersededr/¨---------- P02BASES PRAXIS (VAX --> VAX)>¨ PASS....P02BASES ¨ ---- P02BASES Complete 1¨Previous value of SYS$ERROR has been superseded/¨---------- F03BASES PRAXIS (VAX --> VAX).¨ ---- F03BASES Completei1¨Previous value of SYS$ERROR has been supersededS/¨---------- F04BASES PRAXIS (VAX --> VAX) ¨ ---- F04BASES Complete-1¨Previous value of SYS$ERROR has been superseded.0¨---------- P001RANGE PRAXIS (VAX --> VAX)¨ 56 count *= +1 ¨ 57 endfore¨ 58 for I in red..blue do.¨Error Line <= 58: Syntax error at token ".."¨ 62 count *= +1 ¨ 63 endforr¨ 64 for I in 3..4 do .¨Error Line <= 64: Syntax error at token ".."¨syntax errorsV¨ 2 errors in P001RANGEt¨Operation is incomplete$A¨ P001RANGE *** Compile-time error - Link & run skipped ---------¨ ---- P001RANGE Complete1¨Previous value of SYS$ERROR has been supersededp0¨---------- P002RANGE PRAXIS (VAX --> VAX)¨ PASS....P002RANGE 1¨ ---- P002RANGE Complete1¨Previous value of SYS$ERROR has been supersededr0¨---------- P003RANGE PRAXIS (VAX --> VAX)¨ PASS....P003RANGE ¨ ---- P003RANGE Complete1¨Previous value of SYS$ERROR has been supersededo0¨---------- P004RANGE PRAXIS (VAX --> VAX)¨ PASS....P004RANGE o¨ ---- P004RANGE Complete1¨Previous value of SYS$ERROR has been supersededo0¨---------- P005RANGE PRAXIS (VAX --> VAX)%¨ 21 x : r initially r([1..1]:5)¨ 22 enddeclare¨ 23 if r[1]<>5 do '¨Error Line <= 23: expression required ¨1 error in P005RANGE¨Operation is incomplete A¨ P005RANGE *** Compile-time error - Link & run skipped --------p¨ ---- P005RANGE Complete1¨Previous value of SYS$ERROR has been supersededG0¨---------- P006RANGE PRAXIS (VAX --> VAX)&¨ 22 x : r initially r([1..1]:5) ¨ 23 enddeclare¨ 24 if r[1]<>5 do '¨Error Line <= 24: expression requiredA¨1 error in P006RANGE¨Operation is incompleteA¨ P006RANGE *** Compile-time error - Link & run skipped --------r¨ ---- P006RANGE Complete1¨Previous value of SYS$ERROR has been supersededN0¨---------- P01SUBSCR PRAXIS (VAX --> VAX)¨W¨Access violation, reason mask=05, virtual address=7FA9CFFE, PC=00001E29, PSL=03C00004-¨4¨ Improperly handled condition, image exit forced.¨(¨ Signal arguments Stack contents¨W¨Access violation, reason mask=00, virtual address=0000000A, PC=80000010, PSL=03C00000p¨4¨ Improperly handled condition, image exit forced.¨(¨ Signal arguments Stack contents¨¨ Number = 00000005 80017E92Y¨ Name = 0000000C 00000002-¨ 00000000 7FF745F0¨ 0000000A 7FF745D8¨ 80000010 00000004¨ 03C00000 7FF74340¨ 00000002¨ 00000000¨ 8001819C¨ 05000001¨¨ Register dump¨=¨ R0 = 7FF74341 R1 = 0000000A R2 = 000000FC R3 = 7FF746ECn=¨ R4 = 00000000 R5 = 00000004 R6 = 7FF747EC R7 = 7FF7466DC=¨ R8 = 7FF74800 R9 = 7FF74654 R10= 7FF746EC R11= 7FF746A8.=¨ AP = 7FF7458C FP = 7FF7454C SP = 7FF745C8 PC = 80000010 ¨ PSL= 03C00000¨A¨ P01SUBSCR *** Run-time test error ----------------------------0¨ ---- P01SUBSCR Complete1¨Previous value of SYS$ERROR has been superseded00¨---------- P02SUBSCR PRAXIS (VAX --> VAX)¨ 45 endguard ¨ 46 endmodule { P02SUBSCR }I¨Error Line <= 46: Range check on assign of " 5" to "data[][][][][]"0¨1 error in P02SUBSCR¨Operation is incomplete7A¨ P02SUBSCR *** Compile-time error - Link & run skipped --------C¨ ---- P02SUBSCR Complete1¨Previous value of SYS$ERROR has been supersededS0¨---------- P04SUBSCR PRAXIS (VAX --> VAX)¨ 45 endguard ¨ 46 endmodule { P04SUBSCR }I¨Error Line <= 46: Range check on assign of " 5" to "data[][][][][]"AC¨Error Line <= 46: Range check on assign of " 3" to "data[][]" ¨ 2 errors in P04SUBSCRs¨Operation is incomplete]A¨ P04SUBSCR *** Compile-time error - Link & run skipped --------2¨ ---- P04SUBSCR Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- FFLEX001 PRAXIS (VAX --> VAX)s¨ ---- FFLEX001 Complete01¨Previous value of SYS$ERROR has been superseded/¨---------- FFLEX002 PRAXIS (VAX --> VAX)6¨ ---- FFLEX002 Complete"1¨Previous value of SYS$ERROR has been supersededa/¨---------- FFLEX003 PRAXIS (VAX --> VAX)¨;¨ 25 a2 : ref flex ; // illegal- no flexies with fortran4Q¨ 26 /// Note the above semi-colon generates a syntax error. it should be ok.p¨ 27 endparame4¨Error Line <= 27: Syntax error at token "endparam"¨ 28 a1 := 3.114* a1¨ 29 endprocedure { zap }t8¨Error Line <= 29: Syntax error at token "endprocedure"¨syntax errors0¨ 2 errors in FFLEX003¨Operation is incomplete"@¨ FFLEX003 *** Compile-time error - Link & run skipped --------¨ ---- FFLEX003 Complete-1¨Previous value of SYS$ERROR has been supersedede0¨---------- FEXPORT01 PRAXIS (VAX --> VAX)K¨ 38 default: writeln( " FAIL....FEXPORT01 ..default exception caught")¨¨ 39 endguard ¨ 40 endmodule { FEXPORT01 }&¨Error Line <= 40: "map" is undefined¨1 error in FEXPORT01¨Operation is incompleteaA¨ FEXPORT01 *** Compile-time error - Link & run skipped --------3¨ ---- FEXPORT01 Complete1¨Previous value of SYS$ERROR has been supersededk-¨---------- P0P2D1 PRAXIS (VAX --> VAX)r¨. PASS...IDENTIFIERS DISTINGUISHED...P0P2D1 ¨ ---- P0P2D1 CompleteX1¨Previous value of SYS$ERROR has been supersededI-¨---------- P1P2D3 PRAXIS (VAX --> VAX)¨¨ PASS...6.1.2-3, IDENTIFIERS ¨ ---- P1P2D3 Complete 1¨Previous value of SYS$ERROR has been supersededp-¨---------- P1P3D2 PRAXIS (VAX --> VAX)e¨ PASS...6.1.3-2 s¨ ---- P1P3D2 Complete 1¨Previous value of SYS$ERROR has been supersededa-¨---------- P1P3D3 PRAXIS (VAX --> VAX)I¨Pass........6.1-3.3 ¨ ---- P1P3D3 CompleteS1¨Previous value of SYS$ERROR has been supersededs-¨---------- P1P5D1 PRAXIS (VAX --> VAX)-¨ PASS...6.1.5-1 ¨ ---- P1P5D1 CompleteS1¨Previous value of SYS$ERROR has been superseded -¨---------- P1P5D2 PRAXIS (VAX --> VAX)e¨ PASS...6.1.5-2 2¨ ---- P1P5D2 Completee1¨Previous value of SYS$ERROR has been superseded -¨---------- P1P5D6 PRAXIS (VAX --> VAX)e¨ Pass.......6.1.5-6 P¨ ---- P1P5D6 Complete¨1¨Previous value of SYS$ERROR has been supersededS-¨---------- P1P6D1 PRAXIS (VAX --> VAX)e¨Pass.......6.1.6-1 ¨ ---- P1P6D1 Complete1¨Previous value of SYS$ERROR has been superseded.¨---------- P1P7D11 PRAXIS (VAX --> VAX)¨PASS.....6.1.7-11 P¨ ---- P1P7D11 Complete1¨Previous value of SYS$ERROR has been superseded¨-¨---------- P1P7D2 PRAXIS (VAX --> VAX) ¨ PASS...6.1.7-2 P¨ ---- P1P7D2 Complete¨1¨Previous value of SYS$ERROR has been superseded¨-¨---------- P1P7D3 PRAXIS (VAX --> VAX)e¨ PASS...6.1.7-3 1¨ ---- P1P7D3 Completee1¨Previous value of SYS$ERROR has been supersededt-¨---------- P1P7D7 PRAXIS (VAX --> VAX)r¨ PASS....6.1.7-7 ¨ ---- P1P7D7 CompleteA1¨Previous value of SYS$ERROR has been supersededp-¨---------- P1P8D1 PRAXIS (VAX --> VAX)p¨ PASS...6.1.8-1 1¨ ---- P1P8D1 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P1P8D2 PRAXIS (VAX --> VAX)p¨ PASS...6.1.8-2 1¨ ---- P1P8D2 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P2P1D1 PRAXIS (VAX --> VAX)p¨ PASS...6.2.1-1 1¨ ---- P2P1D1 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P2P1D2 PRAXIS (VAX --> VAX)p¨ PASS...6.2.1-2 1¨ ---- P2P1D2 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P2P1D6 PRAXIS (VAX --> VAX)p¨¨ ---- P2P1D6 Complete21¨Previous value of SYS$ERROR has been superseded1-¨---------- P2P1D7 PRAXIS (VAX --> VAX) ¨3Pass...6.2.1-7 dynamics not default initialized A¨ ---- P2P1D7 Complete1¨Previous value of SYS$ERROR has been supersededr-¨---------- P2P1D8 PRAXIS (VAX --> VAX)¨( Pass....50 TYPES COMPILED...6.2.1-8 ¨ ---- P2P1D8 Complete11¨Previous value of SYS$ERROR has been superseded$-¨---------- P2P2D1 PRAXIS (VAX --> VAX)6¨ PASS...6.2.2-1 p¨ ---- P2P2D1 Completel1¨Previous value of SYS$ERROR has been supersedede.¨---------- P2P2D10 PRAXIS (VAX --> VAX)¨ PASS...6.2.2-10, SCOPE c¨ ---- P2P2D10 Complete1¨Previous value of SYS$ERROR has been supersededY-¨---------- P2P2D2 PRAXIS (VAX --> VAX)1$¨source file specification in error¨RMS service errorL>¨ P2P2D2 *** Compile-time error - Link & run skipped --------B¨Error searching for _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P2P2D2.OBJ;*¨File not found¨ ---- P2P2D2 Complete 1¨Previous value of SYS$ERROR has been superseded -¨---------- P2P2D3 PRAXIS (VAX --> VAX)S¨ 21 ptr := allocate p().&¨ 22 ptr@:=true // this is valid$¨ 23 writeln(" PASS...6.2.2-3")\¨Error Line <= 22: type of "{pointer_access} of type node" incompatible with type of "true"¨1 error in p2p2d3v¨Operation is incompleteo>¨ P2P2D3 *** Compile-time error - Link & run skipped --------¨ ---- P2P2D3 CompleteO1¨Previous value of SYS$ERROR has been superseded -¨---------- P2P2D4 PRAXIS (VAX --> VAX) ¨ 24 enddeclare %¨ 25 colour:= m // should be ok-¨ 26 if colour = red doB¨Error Line <= 25: type of "colour" incompatible with type of "m"¨1 error in p2p2d4¨Operation is incomplete >¨ P2P2D4 *** Compile-time error - Link & run skipped --------¨ ---- P2P2D4 Complete¨1¨Previous value of SYS$ERROR has been supersedede.¨---------- P2P2D4T PRAXIS (VAX --> VAX)¨ 25 enddeclarer%¨ 26 colour:= m // should be okr¨ 27 if colour = red doB¨Error Line <= 26: type of "colour" incompatible with type of "m"¨1 error in p2p2d4t¨Operation is incomplete¨?¨ P2P2D4T *** Compile-time error - Link & run skipped --------¨ ---- P2P2D4T Complete1¨Previous value of SYS$ERROR has been supersedede-¨---------- P2P2D6 PRAXIS (VAX --> VAX)2¨ PASS...6.2.2-6 v¨ ---- P2P2D6 Completen1¨Previous value of SYS$ERROR has been superseded -¨---------- P2P2D7 PRAXIS (VAX --> VAX)=¨# Pass...6.2.2-7, Function SCOPE ¨ ---- P2P2D7 Complete 1¨Previous value of SYS$ERROR has been superseded-¨---------- P2P2D8 PRAXIS (VAX --> VAX)¨¨ PASS...6.2.2-8, FUNCTION ¨ ---- P2P2D8 Complete-1¨Previous value of SYS$ERROR has been superseded +¨---------- P3D1 PRAXIS (VAX --> VAX) ¨ 14 pi = 3.1415926 V*¨ 15 minuspi = - pi // ok pi=3.14159¨ 16 enddeclarev+¨Error Line <= 16: constant value required¨1 error in p3d17¨Operation is incomplete<¨ P3D1 *** Compile-time error - Link & run skipped --------¨ ---- P3D1 Completeo1¨Previous value of SYS$ERROR has been superseded2+¨---------- P3D6 PRAXIS (VAX --> VAX).¨" DEVIATES...6.3-6: SCOPE ERROR ¨ ---- P3D6 Completeo1¨Previous value of SYS$ERROR has been superseded1-¨---------- P4P1D1 PRAXIS (VAX --> VAX)1¨ PASS...6.4.1-1 ¨ ---- P4P1D1 Complete1¨Previous value of SYS$ERROR has been supersededl/¨---------- P4P2P2D1 PRAXIS (VAX --> VAX)i¨ PASS...6.4.2.2-1 p¨ ---- P4P2P2D1 Complete 1¨Previous value of SYS$ERROR has been supersededs/¨---------- P4P2P2D2 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.2-2 -¨ ---- P4P2P2D2 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P2P2D3 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.2-3 ¨ ---- P4P2P2D3 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P2P2D4 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.2-4 X¨ ---- P4P2P2D4 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P2P2D5 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.2-5 X¨ ---- P4P2P2D5 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P2P2D6 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.2-6 X¨ ---- P4P2P2D6 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P2P3D1 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.3-1 X¨ ---- P4P2P3D1 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P2P3D2 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.3-2 X¨ ---- P4P2P3D2 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P2P4D1 PRAXIS (VAX --> VAX)-¨ PASS...6.4.2.4-1 X¨ ---- P4P2P4D1 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P3P1D2 PRAXIS (VAX --> VAX)-¨ PASS......6.4.3.1-2 >¨ ---- P4P3P1D2 Complete.1¨Previous value of SYS$ERROR has been supersedede/¨---------- P4P3P1D3 PRAXIS (VAX --> VAX) ¨ PASS...6.4.3.1-3 >¨ ---- P4P3P1D3 Complete.1¨Previous value of SYS$ERROR has been supersedede/¨---------- P4P3P2D1 PRAXIS (VAX --> VAX) ¨ PASS...6.4.3.2-1 >¨ ---- P4P3P2D1 Complete.1¨Previous value of SYS$ERROR has been supersedede/¨---------- P4P3P2D3 PRAXIS (VAX --> VAX) ¨ PASS...6.4.3.2-3 >¨ ---- P4P3P2D3 Complete41¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P3P3D1 PRAXIS (VAX --> VAX)-¨ PASS...6.4.3.3-1 X¨ ---- P4P3P3D1 Complete.1¨Previous value of SYS$ERROR has been supersededv0¨---------- P4P3P3D10 PRAXIS (VAX --> VAX)¨ PASS...6.4.3.3-10 ¨ ---- P4P3P3D10 Complete1¨Previous value of SYS$ERROR has been supersededv0¨---------- P4P3P3D11 PRAXIS (VAX --> VAX)¨ PASS...6.4.3.3-11 ¨ ---- P4P3P3D11 Complete1¨Previous value of SYS$ERROR has been supersededv0¨---------- P4P3P3D12 PRAXIS (VAX --> VAX)¨ PASS...6.4.3.3-12 ¨ ---- P4P3P3D12 Complete1¨Previous value of SYS$ERROR has been supersededv0¨---------- P4P3P3D13 PRAXIS (VAX --> VAX)¨ PASS...6.4.3.3-13, VARIANTS ¨ ---- P4P3P3D13 Complete1¨Previous value of SYS$ERROR has been supersededY/¨---------- P4P3P3D2 PRAXIS (VAX --> VAX)3¨ PASS...6.4.3.3-2 )¨ ---- P4P3P3D2 Complete 1¨Previous value of SYS$ERROR has been supersededY/¨---------- P4P3P3D3 PRAXIS (VAX --> VAX)3¨ PASS...6.4.3.3-3 )¨ ---- P4P3P3D3 Complete 1¨Previous value of SYS$ERROR has been supersededY/¨---------- P4P3P3D4 PRAXIS (VAX --> VAX)3¨ PASS...6.4.3.3-4 )¨ ---- P4P3P3D4 Complete 1¨Previous value of SYS$ERROR has been supersededv/¨---------- P4P3P3D5 PRAXIS (VAX --> VAX)-¨# ERROR NOT DETECTED...6.4.3.3-5 ¨¨ ---- P4P3P3D5 Complete¨1¨Previous value of SYS$ERROR has been supersededR/¨---------- P4P3P3D6 PRAXIS (VAX --> VAX) ¨# ERROR NOT DETECTED...6.4.3.3-6 .¨ ---- P4P3P3D6 Complete31¨Previous value of SYS$ERROR has been supersededs/¨---------- P4P3P3D7 PRAXIS (VAX --> VAX)X¨# ERROR NOT DETECTED...6.4.3.3-7 ¨¨ ---- P4P3P3D7 Complete¨1¨Previous value of SYS$ERROR has been superseded¨/¨---------- P4P3P3D8 PRAXIS (VAX --> VAX)¨¨# ERROR NOT DETECTED...6.4.3.3-8 ¨¨ ---- P4P3P3D8 Complete¨1¨Previous value of SYS$ERROR has been superseded¨/¨---------- P4P3P3D9 PRAXIS (VAX --> VAX)¨¨/ PASS.... EXACT CORRELATION-- I:L J:M K:N 3¨ ---- P4P3P3D9 Completel1¨Previous value of SYS$ERROR has been superseded /¨---------- P4P3P4D1 PRAXIS (VAX --> VAX)N¨ PASS...6.4.3.4-1 ¨ ---- P4P3P4D1 Complete1¨Previous value of SYS$ERROR has been superseded/¨---------- P4P3P4D2 PRAXIS (VAX --> VAX)¨ 9 enddeclareT-¨ 10 s:=chars($;,$,$9,$z) ; // valid¨,¨ 11 if (chars($;,$,$9,$z) <= s) do_¨Error Line <= 11: improper operator between type of "{set_constructor} of type chars" and "s" ¨1 error in p4p3p4d24¨Operation is incompletes@¨ P4P3P4D2 *** Compile-time error - Link & run skipped --------¨ ---- P4P3P4D2 Complete¨1¨Previous value of SYS$ERROR has been superseded/¨---------- P4P3P4D4 PRAXIS (VAX --> VAX)e¨> IMPLEMENTATIONDEFINED...6.4.3.4-4 --> GOOD IMPLEMENTATION ¨ ---- P4P3P4D4 Complete,1¨Previous value of SYS$ERROR has been supersededS/¨---------- P4P3P4D5 PRAXIS (VAX --> VAX)o¨ ORIGINAL MATRIX U -------------------------------------------------------------------------------- lU -------------------------------------------------------------+------------------ 2U ------+------------------------------------------------------------------------- U -------------------------------------------------------------------------------- IU ----------------------+-----------------------+--------------------------------- ¨U -----------------------------------------------------------------------+-------- -U -----------------------------------+-----------------------+-------+------------ -U -----------------------+---------------------------------------+---------------- -U ----------------+---------------------------------------+----------------------- -U -------------------------------------------------------------------------------- -U -------------------------------------------------------------------------------- -U ------------+---------------+--------------------------------------------------- -U -------------+-----------------------+-------------------------------+---------- -U -----------------+-------------------------------------------------------------- -U -------------------------------------------------------------+------------------ -U --------------+-------+--------------------------------------------------------- -U -------------------------------------------------------------------------------- -U ----------------------+--------------------------------------------------------- -U -------------------------------+-------+---------------------------------------+ -U ---------------------------------------------------+-----------------------+---- -U -------+------------------------------------------------------------------------ -U -----------------------------------------------------------+-------------------- -U ----+---------------------------------------------------------------+----------- -U --------------------------------+----------------------------------------------- -U -------------------------------------------------------------------------------- -U -------------+------------------------------------------------------------------ -U -------------------------+------------------------------------------------------ -U -----------------------------+-------------------------------------------------- -U ------+------------------------------------------------------------------------- -U ----------+--------------------------------------------------------------------- -U -------------------------------------------------------------------------------- -U ------------------+-------------------------------------------------------+----- -U -------------------------------------------------------------------------------- -U ---------------+-------+-----------------------------------------------+-------- -U ---------------------------+---------------------------------------+------------ +U --------------------+---------------+-------+----------------------------------- -U --------+-----------------------------------------------+----------------------- -U ----------------------------+---------------+-------------------------------+--- -U -------------------------------------------------------------------------------- -U -------------------------------------------------------------------------------- -U -------------------------------------------------------------------------------- -U -------------------------------------------------------------------------+------ -U --------------------------+----------------------------------------------------- -U ----------------------------------------------+-----------------------+--------- -U -------------------------------------------------------------------------------- -U -------------------------------------------+---------------+-------+------------ -U -------+-----------------------+-------------------------------+-------+-------- -U -------------------+-----------------------------------------------+------------ -U ------------+-------+----------------------------------------------------------- -U ----------------------------------------+-------------------------------+------- -U ----------------------------------------------------------------------------+--- -U ------------------------------------------------------------------------+------- -U -+---------------+---------------------------------------+---------------------- -U -------------------------------------+-------+---------------------------------- -U -+-----------------------+---------------------------------------+-------------- -U --+----------------------------------------------------------------------------- -U ------------------------------+------------------------------------------------- -U ----------+-------------------------------------------------------+------------- -U ---------------------------+---------------------------------------------------- -U -------------------------------------------------------------------------------- -U -------------------+------------------------------------------------------------ -U ---------------------------------------+-------+-------------------------------- -U ----------------+-----------------------+-------+------------------------------- +U ------------+---------------+--------------------------------------------------- -U +-----------------------+-------+----------------------------------------------- -U -+-------+---------------+-------------------------------+---------------------- -U -------------+-------------------------------+-------------------------------+-- -U -------------------------------------------------------------------------------- -U ------------------------------------------+-------------------------------+----- -U ------+---------------+--------------------------------------------------------- -U -------------------------------------------------------------------------------- -U ------------------------------+-------------------------------+-------+--------- -U ---------------+-----------------------+---------------------------------------- -U -----------------------------------+-------------------------------------------- -U -----------------------------------------------+-----------------------+-------+ -U +-------------------------------+----------------------------------------------- -U -------------------------------------------------------------------------------- -U +---------------------------------------+--------------------------------------- -U -----------------+---------------------------------------+-------+-------------- -U -----+-----------------------+-------------------------------+------------------ - TRANSITIVE CLOSURE -U -------------------------------------------------------------------------------- -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U -------------------------------------------------------------------------------- -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U ----------------+-------------+-------------------------+----------------------- -U -------------------------------------------------------------------------------- +U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U -----------------------------------------------------------+-------------------- -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U --------------------------------+----------------------------------------------- +U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U ----------+------------------+-------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U ----------+--------------------------------------------------------------------- -U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U ----------+----------------+-+-------------------------------------+------------ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U --------+-------+-------------+-------------------------+----------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U -------------------------------------------------------------------------------- +U -------------------------------------------------------------------------------- +U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++++++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U -------------------------------------------------------------------------------- -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+++-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U ----------------------------------------------------------------------------+--- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U ++--+++++-+-+++++++++-++-++-+++++--+++-++-+++++++--+----++-+-+++--+++++++-++++-+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+++++++--+----+--+-+++---++++++-+++--+ +U ++--+++++++-+++++++++-++-++-+++++--+++-++-+++++++--+----++-+-+++-++++++++-++++-+ +U +-+-+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U ------------------------------+------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+++++++--+----+--+-+++--+++++++-++++-+ +U ----------+----------------+-+-------------------------------------------------- +U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +-----------------------+-------+----------------------------------------------- -U ++--+++++++-+++++++++-++-++-+++++--+++-++-+++++++--+----++-+-+++--+++++++-++++-+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+++++++--+----+--+-+++---++++++-++++-+ +U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U -------------------------------------------------------------------------------- +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ -U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +U +-------------------------------+----------------------------------------------- -U -------------------------------------------------------------------------------- +U +---------------------------------------+--------------------------------------- +U ++--+++++++-+++++++++-++-++-+++++--+++-++-+++++++--+----++-+-+++-++++++++-++++-+ +U +---+++++-+-+++++++++-++-++-+++++--+++-++-+-+-+++--+----+--+-+++---++++++-+++--+ +¨ ---- P4P3P4D5 Complete-1¨Previous value of SYS$ERROR has been superseded--¨---------- P4P4D1 PRAXIS (VAX --> VAX)-¨ PASS...6.4.4-1 -¨ ---- P4P4D1 Complete-1¨Previous value of SYS$ERROR has been superseded--¨---------- P4P5D1 PRAXIS (VAX --> VAX)-¨ PASS...6.4.5-1 -¨ ---- P4P5D1 Complete-1¨Previous value of SYS$ERROR has been superseded+.¨---------- P4P5D12 PRAXIS (VAX --> VAX)¨ PASS...6.4.5-12, TYPES +¨ ---- P4P5D12 Complete1¨Previous value of SYS$ERROR has been superseded¨.¨---------- P4P5D13 PRAXIS (VAX --> VAX)¨ PASS.....6.4.5-13 ¨ ---- P4P5D13 Complete1¨Previous value of SYS$ERROR has been supersededr-¨---------- P4P5D3 PRAXIS (VAX --> VAX)¨ PASS...6.4.5-3 A¨ ---- P4P5D3 Complete1¨Previous value of SYS$ERROR has been supersededr-¨---------- P4P5D5 PRAXIS (VAX --> VAX)¨ PASS...6.4.5-5 R¨ ---- P4P5D5 Complete1¨Previous value of SYS$ERROR has been supersedede-¨---------- P4P5D6 PRAXIS (VAX --> VAX)r¨ PASS...6.4.5-6 5¨ ---- P4P5D6 CompleteA1¨Previous value of SYS$ERROR has been supersededp-¨---------- P4P5D7 PRAXIS (VAX --> VAX)p¨ PASS...6.4.5-7 4¨ ---- P4P5D7 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P4P5D8 PRAXIS (VAX --> VAX)p¨ PASS...6.4.5-8 4¨ ---- P4P5D8 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P4P5D9 PRAXIS (VAX --> VAX)p¨ PASS...6.4.5-9 4¨ ---- P4P5D9 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P4P6D1 PRAXIS (VAX --> VAX)p¨ PASS...6.4.6-1 4¨ ---- P4P6D1 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P4P6D2 PRAXIS (VAX --> VAX)p¨ PASS...6.4.6-2 4¨ ---- P4P6D2 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P4P6D3 PRAXIS (VAX --> VAX)p¨ PASS...6.4.6-3 4¨ ---- P4P6D3 CompleteV1¨Previous value of SYS$ERROR has been supersededl-¨---------- P4P6D4 PRAXIS (VAX --> VAX)p¨! ERROR NOT DETECTED...6.4.6-4 ¨ ---- P4P6D4 CompleteP1¨Previous value of SYS$ERROR has been supersededo-¨---------- P4P6D6 PRAXIS (VAX --> VAX)-¨0 Pass....p4p6d6 array subscript bounds check ¨ ---- P4P6D6 Complete41¨Previous value of SYS$ERROR has been supersedede-¨---------- P5P1D1 PRAXIS (VAX --> VAX) ¨ PASS...6.5.1-1 S¨ ---- P5P1D1 Complete41¨Previous value of SYS$ERROR has been supersedede-¨---------- P5P1D2 PRAXIS (VAX --> VAX) ¨/ PASS...LONG DECLARATIONS ALLOWED...6.5.1-2 ¨ ---- P5P1D2 CompleteP1¨Previous value of SYS$ERROR has been supersededo/¨---------- P5P3P2D2 PRAXIS (VAX --> VAX)¨ PASS...6.5.3.2-2, INDEXING ¨ ---- P5P3P2D2 Complete61¨Previous value of SYS$ERROR has been supersededn-¨---------- P5P4D1 PRAXIS (VAX --> VAX)V¨" Pass...p5p4d1 nil ptr check ¨ ---- P5P4D1 Complete1¨Previous value of SYS$ERROR has been superseded-¨---------- P5P4D2 PRAXIS (VAX --> VAX)¨0 Pass....p5p4d2 undefined ptr dereferemnce ¨ ---- P5P4D2 Complete1¨Previous value of SYS$ERROR has been superseded-¨---------- P6P1D1 PRAXIS (VAX --> VAX)¨ PASS...6.6.1-1 ,¨ ---- P6P1D1 Complete31¨Previous value of SYS$ERROR has been supersedede-¨---------- P6P1D2 PRAXIS (VAX --> VAX) ¨ PASS...6.6.1-2 s¨ ---- P6P1D2 Complete 1¨Previous value of SYS$ERROR has been supersededY-¨---------- P6P1D4 PRAXIS (VAX --> VAX)4¨ Pass...6.6.1-4 X¨ ---- P6P1D4 Complete 1¨Previous value of SYS$ERROR has been supersededl-¨---------- P6P1D5 PRAXIS (VAX --> VAX)p¨ Pass.... 6.6.1-5 1¨ ---- P6P1D5 CompleteX1¨Previous value of SYS$ERROR has been supersededt-¨---------- P6P1D7 PRAXIS (VAX --> VAX)r¨B Pass.... NESTED PROCEDURES TO 15 LEVELS IMPLEMENTED...6.6.1-7 ¨ ---- P6P1D7 CompleteC1¨Previous value of SYS$ERROR has been supersededp-¨---------- P6P2D1 PRAXIS (VAX --> VAX)-¨ PASS...6.6.2-1 .¨ ---- P6P2D1 CompleteC1¨Previous value of SYS$ERROR has been supersededp-¨---------- P6P2D2 PRAXIS (VAX --> VAX)-¨ PASS...6.6.2-2 ¨ ---- P6P2D2 Complete51¨Previous value of SYS$ERROR has been supersededs-¨---------- P6P2D3 PRAXIS (VAX --> VAX)X¨ PASS...6.6.2-3 .¨ ---- P6P2D3 Complete 1¨Previous value of SYS$ERROR has been supersededl-¨---------- P6P2D4 PRAXIS (VAX --> VAX)p¨8¨Reserved addressing fault at PC=00001E52, PSL=03C00000¨Symbolic stack dump follows6P¨module name routine name line rel PC abs PC O¨P6P2D4 $CODE1 00000052 00001E52tO¨P6P2D4 $CODE1 00000063 00001E63AO¨ 00003DB3 00003DB3oO¨PRAXIS_LIBRARY $CODE1 000000B8 00003BAB-O¨ 00003D90 00003D90c>¨ P6P2D4 *** Run-time test error ----------------------------¨ ---- P6P2D4 CompleteC1¨Previous value of SYS$ERROR has been superseded -¨---------- P6P2D5 PRAXIS (VAX --> VAX)6¨ PASS...P6p2d5 ¨ ---- P6P2D5 Complete 1¨Previous value of SYS$ERROR has been superseded -¨---------- P6P2D6 PRAXIS (VAX --> VAX)0¨ PASS...6.6.2-6 Y¨ ---- P6P2D6 Complete 1¨Previous value of SYS$ERROR has been superseded -¨---------- P6P2D7 PRAXIS (VAX --> VAX) ¨ PASS...6.6.2-7, ENVIRONMENT ¨ ---- P6P2D7 Complete-1¨Previous value of SYS$ERROR has been supersededr/¨---------- P6P3P1D1 PRAXIS (VAX --> VAX)¨¨ PASS...6.6.3.1-1 ¨ ---- P6P3P1D1 CompleteS1¨Previous value of SYS$ERROR has been supersededv/¨---------- P6P3P1D2 PRAXIS (VAX --> VAX)-¨ PASS...6.6.3.1-2 -¨ ---- P6P3P1D2 Complete.1¨Previous value of SYS$ERROR has been supersededo/¨---------- P6P3P1D3 PRAXIS (VAX --> VAX)6¨ PASS...6.6.3.1-3 X¨ ---- P6P3P1D3 CompleteE1¨Previous value of SYS$ERROR has been supersededv0¨---------- P6P3P1D5A PRAXIS (VAX --> VAX)¨ PASS...6.6.3.1-5 X¨ ---- P6P3P1D5A Complete1¨Previous value of SYS$ERROR has been supersededv/¨---------- P6P3P1D5 PRAXIS (VAX --> VAX)-¨8¨Reserved addressing fault at PC=00001E20, PSL=03C00000¨Symbolic stack dump follows.P¨module name routine name line rel PC abs PC O¨P6P3P1D5 $CODE1 00000020 00001E20rO¨P6P3P1D5 $CODE1 00000045 00001E45 O¨ 00003D7C 00003D7CsO¨PRAXIS_LIBRARY $CODE1 000000B8 00003B74-O¨ 00003D59 00003D59c@¨ P6P3P1D5 *** Run-time test error ----------------------------¨ ---- P6P3P1D5 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P3P2D1 PRAXIS (VAX --> VAX)5¨Pass...p6p3p2d1 ¨ ---- P6P3P2D1 Complete01¨Previous value of SYS$ERROR has been superseded /¨---------- P6P3P3D1 PRAXIS (VAX --> VAX)¨¨ PASS...p6p3p3d1 ¨ ---- P6P3P3D1 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P3P3D2 PRAXIS (VAX --> VAX)3¨ PASS...6.6.3.3-2 i¨ ---- P6P3P3D2 Complete-1¨Previous value of SYS$ERROR has been supersededo/¨---------- P6P3P3D3 PRAXIS (VAX --> VAX)-¨ PASS...6.6.3.3-3 ¨ ---- P6P3P3D3 Complete.1¨Previous value of SYS$ERROR has been supersededs/¨---------- P6P3P4D1 PRAXIS (VAX --> VAX)-¨ PASS...6.6.3.4-1 V¨ ---- P6P3P4D1 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P6P3P5D1 PRAXIS (VAX --> VAX)-¨ PASS...6.6.3.5-1 X¨ ---- P6P3P5D1 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P6P4P1D1 PRAXIS (VAX --> VAX)-¨ PASS...P6p4p1d1 ¨ ---- P6P4P1D1 Complete.1¨Previous value of SYS$ERROR has been supersededs/¨---------- P6P5P3D1 PRAXIS (VAX --> VAX)-¨ PASS...6.6.5.3-1 V¨ ---- P6P5P3D1 Complete.1¨Previous value of SYS$ERROR has been supersededs/¨---------- P6P5P3D3 PRAXIS (VAX --> VAX)-¨W¨Access violation, reason mask=01, virtual address=FFFFFFFC, PC=00003C79, PSL=03C00009t¨Symbolic stack dump followsOP¨module name routine name line rel PC abs PC O¨PRAXIS_LIBRARY $CODE1 000001A6 00003C79eO¨ 00003D93 00003D93.O¨PRAXIS_LIBRARY $CODE1 000000B8 00003B8BpO¨ 00003D70 00003D70n@¨ P6P5P3D3 *** Run-time test error ----------------------------¨ ---- P6P5P3D3 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P5P3D4 PRAXIS (VAX --> VAX)L¨W¨Access violation, reason mask=01, virtual address=FFFFFFFC, PC=00003C5F, PSL=03C00009 ¨Symbolic stack dump follows P¨module name routine name line rel PC abs PC O¨PRAXIS_LIBRARY $CODE1 000001A6 00003C5F O¨ 00003D79 00003D79-O¨PRAXIS_LIBRARY $CODE1 000000B8 00003B71pO¨ 00003D56 00003D56n@¨ P6P5P3D4 *** Run-time test error ----------------------------¨ ---- P6P5P3D4 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P5P3D5 PRAXIS (VAX --> VAX)L¨# ERROR NOT DETECTED...6.6.5.3-5 ¨ ---- P6P5P3D5 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P5P3D6 PRAXIS (VAX --> VAX) ¨ PASS...p6p5p3d6 ¨ ---- P6P5P3D6 Complete01¨Previous value of SYS$ERROR has been superseded /¨---------- P6P5P3D9 PRAXIS (VAX --> VAX)D¨ PASS...6.6.5.3-9 -¨ ---- P6P5P3D9 Complete1¨Previous value of SYS$ERROR has been superseded$/¨---------- P6P5P4D1 PRAXIS (VAX --> VAX)5¨ 25 chars: integer;¨ 26 pk : out ref pchs;.¨ 27 endparam64¨Error Line <= 27: Syntax error at token "endparam"¨ 30 pk[J] := upk[I] ¨ 31 j *= +1V¨ 32 endfor2¨Error Line <= 32: Syntax error at token "endfor"¨syntax errors ¨ 2 errors in p6p5p4d1¨Operation is incomplete @¨ P6P5P4D1 *** Compile-time error - Link & run skipped --------¨ ---- P6P5P4D1 Completev1¨Previous value of SYS$ERROR has been superseded-/¨---------- P6P6P2D1 PRAXIS (VAX --> VAX)c¨ PASS...6.6.6.2-1 p¨ ---- P6P6P2D1 Complete 1¨Previous value of SYS$ERROR has been supersedede/¨---------- P6P6P2D2 PRAXIS (VAX --> VAX)1¨ PASS...6.6.6.2-2 n¨ ---- P6P6P2D2 Completey1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P6P2D3 PRAXIS (VAX --> VAX) ¨ FAIL...6.6.6.2-3 : SIN r FAIL...6.6.6.2-3 : COS - FAIL...6.6.6.2-3 : EXP v FAIL...6.6.6.2-3 : LN  FAIL...6.6.6.2-3 : SQRT  FAIL...6.6.6.2-3 : ARCTAN ¨ ---- P6P6P2D3 Complete.1¨Previous value of SYS$ERROR has been supersededs/¨---------- P6P6P2D4 PRAXIS (VAX --> VAX)-¨ PASS...6.6.6.2-4..Ln -¨ ---- P6P6P2D4 Complete.1¨Previous value of SYS$ERROR has been supersededl/¨---------- P6P6P2D5 PRAXIS (VAX --> VAX)-¨ PASS...6.6.6.2-5..Sqrt X¨ ---- P6P6P2D5 Complete 1¨Previous value of SYS$ERROR has been superseded./¨---------- P6P6P2D6 PRAXIS (VAX --> VAX)F¨&Begin Real number characterization %Done Real number characterization .Ibeta = 2  TEST OF SQRT(X*X) - X L2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL 1.000000 - 1.000000 >THE RESULT WAS TOO LARGE 0 TIMES, AND TOO SMALL 2000 TIMES U MEAN RELATIVE ERR = -0.995680=2 ** 1.000000 THE MAX RELATIVE ERR OF 1.000000= P22 ** 1.000000OCCURRED FOR X = 87795264.000000 = ROOT-MEAN-SQUARE RELATIVE ERR = 1.000000=2 ** 1.000000 - TEST OF SQRT(X*X) - X L2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL 1.000000 - 1.000000 >THE RESULT WAS TOO LARGE 0 TIMES, AND TOO SMALL 2000 TIMES U MEAN RELATIVE ERR = -0.995939=2 ** 1.000000 THE MAX RELATIVE ERR OF 1.000000= T42 ** 1.000000OCCURRED FOR X = 1887780864.000000 = ROOT-MEAN-SQUARE RELATIVE ERR = 1.000000=2 ** 1.000000 E TEST OF SPECIAL ARGUMENTS , SQRT(XMIN) = SQRT(0.000000) = 1.000000 2 SQRT(1-EPSNEG) = SQRT(1-0.000000) = 1.000000 + SQRT(1.0) = SQRT(1.000000) = 1.000000 N/ SQRT(1+EPS) = SQRT(1+0.000000) = 1.000000 0B¨Arithmetic fault, floating overflow at PC=00002771, PSL=03C0000A¨Symbolic stack dump followsEP¨module name routine name line rel PC abs PC O¨PASCALIO $CODE1 0000011F 000027710O¨P6P6P2D6 $CODE1 000005A3 000025A30O¨ 0000456D 0000456D.O¨PRAXIS_LIBRARY $CODE1 000000B8 00004365 O¨ 0000454A 0000454Ac@¨ P6P6P2D6 *** Run-time test error ----------------------------¨ ---- P6P6P2D6 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P6P2D7 PRAXIS (VAX --> VAX)6¨1 TEST OF ARCTAN(X) VS TRUNCATED TAYLOR SERIES 0M2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL -0.062500 - 0.062500 0>THE RESULT WAS TOO LARGE 2000 TIMES, AND TOO SMALL 0 TIMES T MEAN RELATIVE ERR = 1.000000=2 ** 1.000000 THE MAX RELATIVE ERR OF 1.000000= ,2 ** 1.000000OCCURRED FOR X = -0.062470 = ROOT-MEAN-SQUARE RELATIVE ERR = 1.000000=2 ** 1.000000 6B TEST OF ARCTAN(X) VS ARCTAN(1/16) + ARCTAN((X-1/16)/(1+X/16)) L2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL 0.062500 - 1.000000 >THE RESULT WAS TOO LARGE 0 TIMES, AND TOO SMALL 2000 TIMES f MEAN RELATIVE ERR = -1949208192.000000=2 ** 1.000000 THE MAX RELATIVE ERR OF 723779584.000000= +2 ** 1.000000OCCURRED FOR X = 0.062690 0= ROOT-MEAN-SQUARE RELATIVE ERR = 1.000000=2 ** 1.000000 R. TEST OF 2*ARCTAN(X) VS ARCTAN(2X/(1-X*X)) L2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL 1.000000 - 0.000000 >THE RESULT WAS TOO LARGE 2000 TIMES, AND TOO SMALL 0 TIMES T MEAN RELATIVE ERR = 0.984342=2 ** 1.000000 THE MAX RELATIVE ERR OF 0.999966= +2 ** 1.000000OCCURRED FOR X = 0.999800 R= ROOT-MEAN-SQUARE RELATIVE ERR = 1.000000=2 ** 1.000000 3. TEST OF 2*ARCTAN(X) VS ARCTAN(2X/(1-X*X)) L2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL 0.000000 - 1.000000 >THE RESULT WAS TOO LARGE 2000 TIMES, AND TOO SMALL 0 TIMES T MEAN RELATIVE ERR = 0.984341=2 ** 1.000000 THE MAX RELATIVE ERR OF 0.999951= +2 ** 1.000000OCCURRED FOR X = 0.999710 = ROOT-MEAN-SQUARE RELATIVE ERR = 1.000000=2 ** 1.000000 R8 THE IDENTITY ARCTAN(-X) = -ARCTAN(X) WILL BE TESTED  X F(X) + F(-X) 0.277842 0.000000 4.730355 0.000000 1.294471 0.000000 1.808933 0.000000 1.116675 0.000000  R8 THE IDENTITY ARCTAN(X) = X, X SMALL, WILL BE TESTED  X X - F(X) 10.926098 10.833802 5.463049 5.273662 2.731524 2.309786 1.365762 0.030601 0.682881 -10.655773  1 TEST OF UNDERFLOW FOR A VERY SMALL ARGUMENT V+ ARCTAN(-0.020842) = -254361888.000000 EB¨Arithmetic fault, floating overflow at PC=00002957, PSL=03C0000A¨Symbolic stack dump followsP¨module name routine name line rel PC abs PC O¨PASCALIO $CODE1 0000011F 00002957O¨P6P6P2D7 $CODE1 000007B0 000027B04O¨ 00004753 00004753UO¨PRAXIS_LIBRARY $CODE1 000000B8 0000454B O¨ 00004730 00004730c@¨ P6P6P2D7 *** Run-time test error ----------------------------¨ ---- P6P6P2D7 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P6P2D8 PRAXIS (VAX --> VAX)7¨B¨Arithmetic fault, floating overflow at PC=00002328, PSL=03C0000A¨Symbolic stack dump follows P¨module name routine name line rel PC abs PC O¨P6P6P2D8 $CODE1 00000328 00002328 O¨ 000047FF 000047FFrO¨PRAXIS_LIBRARY $CODE1 000000B8 000045F7 O¨ 000047DC 000047DC@¨ P6P6P2D8 *** Run-time test error ----------------------------¨ ---- P6P6P2D8 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P6P3D1 PRAXIS (VAX --> VAX)8¨6 undefined symbols: ¨ PRX$DCEIL ¨ PRX$DFLOOR ¨ PRX$DROUND ¨ PRX$FCEIL ¨ PRX$FFLOOR ¨ PRX$FROUND •¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X000000A1 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1 •¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X000000B7 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1v•¨Undefined symbol PRX$DFLOOR referenced in psect $CODE1 offset %X000000E5 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1X•¨Undefined symbol PRX$DFLOOR referenced in psect $CODE1 offset %X000000FE in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X00000129 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X0000013F in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$DROUND referenced in psect $CODE1 offset %X0000016D in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$DROUND referenced in psect $CODE1 offset %X00000186 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X000001F4 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X0000020B in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P”¨Undefined symbol PRX$FCEIL referenced in psect $CODE1 offset %X0000021D in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1•¨Undefined symbol PRX$DROUND referenced in psect $CODE1 offset %X0000025D in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$DFLOOR referenced in psect $CODE1 offset %X00000276 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P”¨Undefined symbol PRX$DCEIL referenced in psect $CODE1 offset %X0000028B in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1•¨Undefined symbol PRX$FROUND referenced in psect $CODE1 offset %X000002C2 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$FFLOOR referenced in psect $CODE1 offset %X000002D9 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P”¨Undefined symbol PRX$FCEIL referenced in psect $CODE1 offset %X000002EB in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1•¨Undefined symbol PRX$DROUND referenced in psect $CODE1 offset %X0000032B in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P•¨Undefined symbol PRX$DFLOOR referenced in psect $CODE1 offset %X00000344 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1P”¨Undefined symbol PRX$DCEIL referenced in psect $CODE1 offset %X00000359 in module P6P6P3D1 file _DUB0:[PRAXISDEV.PRODUCTS.SUITE]P6P6P3D1.OBJ;1¨W¨Access violation, reason mask=00, virtual address=00000000, PC=00000000, PSL=03C00000e¨Symbolic stack dump follows P¨module name routine name line rel PC abs PC O¨ 00000000 00000000 O¨ 000042D0 000042D0iO¨PRAXIS_LIBRARY $CODE1 000000B8 000040C86O¨ 000042AD 000042ADn@¨ P6P6P3D1 *** Run-time test error ----------------------------¨ ---- P6P6P3D1 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P6P3D2 PRAXIS (VAX --> VAX) ¨%?? ERROR NOT DETECTED...6.6.6.3-2 ¨ ---- P6P6P3D2 Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P6P6P4D1 PRAXIS (VAX --> VAX)C¨ PASS...6.6.6.4-1 ¨ ---- P6P6P4D1 Complete41¨Previous value of SYS$ERROR has been superseded /¨---------- P6P6P4D2 PRAXIS (VAX --> VAX)*¨ PASS...6.6.6.4-2 -¨ ---- P6P6P4D2 Complete-1¨Previous value of SYS$ERROR has been supersededO/¨---------- P6P6P4D3 PRAXIS (VAX --> VAX)P¨ PASS...6.6.6.4-3 ¨ ---- P6P6P4D3 Complete.1¨Previous value of SYS$ERROR has been supersededv/¨---------- P6P6P5D2 PRAXIS (VAX --> VAX)-¨ PASS...6.6.6.5-2 X¨ ---- P6P6P5D2 Complete.1¨Previous value of SYS$ERROR has been supersededv-¨---------- P7P1D1 PRAXIS (VAX --> VAX)-¨ PASS...6.7.1-1 ¨ ---- P7P1D1 CompleteS1¨Previous value of SYS$ERROR has been supersededv-¨---------- P7P1D2 PRAXIS (VAX --> VAX)¨¨ PASS...6.7.1-2 A¨ ---- P7P1D2 Complete1¨Previous value of SYS$ERROR has been superseded.¨---------- P7P1D2R PRAXIS (VAX --> VAX)¨ PASS...6.7.1-2 2¨ ---- P7P1D2R Complete1¨Previous value of SYS$ERROR has been supersededl.¨---------- P7P1D2L PRAXIS (VAX --> VAX)¨ 8 declare#¨ 9 h,i,j,k,l,m,n : long_realX!¨ 10 three = long_real(3.0);-+¨Error Line <= 10: constant value requiredR¨ 12 h:=long_real(1.0)-¨ 13 i:=long_real(2.0)V¨ 14 j:=three ;(¨Error Line <= 14: "three" is undefined¨ 16 l:=long_real(5.0);¨ 17 m:=h/i*j/k;¨ 18 n:=l+k/i-three*j ;(¨Error Line <= 18: "three" is undefined¨ 3 errors in p7p1d2L¨Operation is incompleteO?¨ P7P1D2L *** Compile-time error - Link & run skipped -------- ¨ ---- P7P1D2L Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P2D1 PRAXIS (VAX --> VAX)l¨ PASS...6.7.2.2-1 l¨ ---- P7P2P2D1 Complete:1¨Previous value of SYS$ERROR has been supersedede0¨---------- P7P2P2D1C PRAXIS (VAX --> VAX)¨ PASS...6.7.2.2-1 j¨ ---- P7P2P2D1C Complete1¨Previous value of SYS$ERROR has been superseded¨/¨---------- P7P2P2D2 PRAXIS (VAX --> VAX)t¨ PASS...6.7.2.2-2 t¨ ---- P7P2P2D2 Completep1¨Previous value of SYS$ERROR has been supersededv0¨---------- P7P2P2D2C PRAXIS (VAX --> VAX)¨ FAIL...6.7.2.2-2: DIV MOD ¨ ---- P7P2P2D2C Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P2D3 PRAXIS (VAX --> VAX)2¨F¨Arithmetic trap, integer divide by zero at PC=00001E35, PSL=03C00002¨Symbolic stack dump follows P¨module name routine name line rel PC abs PC O¨P7P2P2D3 $CODE1 00000035 00001E35RO¨ 00003DAC 00003DACO¨PRAXIS_LIBRARY $CODE1 000000B8 00003BA4$O¨ 00003D89 00003D89@¨ P7P2P2D3 *** Run-time test error ----------------------------¨ ---- P7P2P2D3 Complete 1¨Previous value of SYS$ERROR has been superseded 0¨---------- P7P2P2D3C PRAXIS (VAX --> VAX)¨F¨Arithmetic trap, integer divide by zero at PC=00003B12, PSL=03C00002¨Symbolic stack dump follows P¨module name routine name line rel PC abs PC O¨PRAXIS_LIBRARY $CODE1 00000014 00003B12 O¨ 00003DBE 00003DBE O¨PRAXIS_LIBRARY $CODE1 000000B8 00003BB6$O¨ 00003D9B 00003D9BA¨ P7P2P2D3C *** Run-time test error ----------------------------0¨ ---- P7P2P2D3C Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P2D4 PRAXIS (VAX --> VAX)B¨: THIS PROGRAM ATTEMPTS DIVISION WITH NEGATIVE OPERANDS ? DIVISION INTO NEGATIVE OPERANDS IMPLEMENTED AND CONSISTENT = DIVISION BY NEGATIVE OPERANDS IMPLEMENTED AND CONSISTENT 0 QUOTIENT = TRUNC(A/B) FOR NEGATIVE OPERANDS ! MOD RETURNS REMAINDER OF DIV ¨ ---- P7P2P2D4 Complete01¨Previous value of SYS$ERROR has been superseded-/¨---------- P7P2P2D5 PRAXIS (VAX --> VAX)e¨ PASS...6.7.2.2-5 R¨ ---- P7P2P2D5 Complete¨1¨Previous value of SYS$ERROR has been superseded/¨---------- P7P2P2D8 PRAXIS (VAX --> VAX)P¨F¨Arithmetic trap, integer divide by zero at PC=00001E31, PSL=03C00002¨Symbolic stack dump followsSP¨module name routine name line rel PC abs PC O¨P7P2P2D8 $CODE1 00000031 00001E31oO¨ 00003DAB 00003DABeO¨PRAXIS_LIBRARY $CODE1 000000B8 00003BA3$O¨ 00003D88 00003D88@¨ P7P2P2D8 *** Run-time test error ----------------------------¨ ---- P7P2P2D8 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P3D1 PRAXIS (VAX --> VAX)8¨ PASS...6.7.2.3-1 ¨ ---- P7P2P3D1 Complete01¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P3D2 PRAXIS (VAX --> VAX)R¨2 TEST OF SHORT CIRCUIT EVALUATION OF (A AND B) 1 Pass...FIRST EXPRESSION EVALUATED...p7p2p3d2 ¨ ---- P7P2P3D2 Complete 1¨Previous value of SYS$ERROR has been supersededs/¨---------- P7P2P3D3 PRAXIS (VAX --> VAX)2¨1 TEST OF SHORT CIRCUIT EVALUATION OF (A OR B) s7 Pass... Only first expression evaluated...P7p2p3d3 X¨ ---- P7P2P3D3 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P4D2 PRAXIS (VAX --> VAX)2¨$ PASS...6.7.2.4-2, SET OPERATORS ¨ ---- P7P2P4D2 CompleteO1¨Previous value of SYS$ERROR has been supersededT/¨---------- P7P2P4D3 PRAXIS (VAX --> VAX)r"¨Exception raised and not caught:¨x_failed_assertion/¨Breakpoint fault at PC=0003E053, PSL=03C00000S¨Symbolic stack dump followsFP¨module name routine name line rel PC abs PC O¨PRXRMS OBJ_PUT 0000055F 0003E053-O¨CGREG $CODE1 00000499 00038118¨O¨CGACTION $CODE1 000010EE 0003A4AA-O¨CGMAIN $CODE1 00000409 0003AFD0O¨WALKSUB $CODE1 00000076 00021B6BcO¨WALKSUB $CODE1 00000142 00021C37 O¨OPTABLE $CODE1 0000016B 00022860 O¨WALKEXP $CODE1 000045A1 0002829C O¨WALKEXP $CODE1 00004847 00028542 O¨WALKEXP $CODE1 000021AC 00025EA7 O¨WALKEXP $CODE1 00002226 00025F21 O¨WALK $CODE1 00001E44 0002B428 O¨WALK $CODE1 0000063C 00029C20 O¨CG_CODE $CODE1 00000161 0002BECB O¨MMODULE $CODE1 000001E3 0003596E O¨ACTION $CODE1 0000016D 00037AEC O¨PARSER $CODE1 000004CE 0001D3BC O¨BEGIN $CODE1 00000464 0003B4FC O¨COL RULENO 00000080 0003E994 O¨PRXRMS OBJ_PUT 000003DC 0003DED0 O¨COL RULENO 0000005D 0003E971 @¨ P7P2P4D3 *** Compile-time error - Link & run skipped --------¨ ---- P7P2P4D3 Complete01¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P5D1 PRAXIS (VAX --> VAX) ¨ PASS...6.7.2.5-1 ¨ ---- P7P2P5D1 Complete01¨Previous value of SYS$ERROR has been superseded /¨---------- P7P2P5D2 PRAXIS (VAX --> VAX)R¨ 23 counter:=counter+1 ¨ 24 endif ¨ 25 if(b<=a) do A¨Error Line <= 25: improper operator between type of "b" and "A"0¨ 26 counter:=counter+1o¨ 27 endif-¨ 28 if(a>=b) do-A¨Error Line <= 28: improper operator between type of "A" and "b" ¨ 29 counter:=counter+17¨ 30 endif ¨ 31 if(aset(0,1)<=a) do.^¨Error Line <= 31: improper operator between type of "{set_constructor} of type aset" and "A"¨ 32 counter:=counter+1X¨ 33 endif3(¨ 34 if(aset(1,2,3,4,5,6,10)>=b) do^¨Error Line <= 34: improper operator between type of "{set_constructor} of type aset" and "b"¨ 4 errors in p7p2p5d2¨Operation is incomplete @¨ P7P2P5D2 *** Compile-time error - Link & run skipped --------¨ ---- P7P2P5D2 Complete91¨Previous value of SYS$ERROR has been superseded1/¨---------- P8P2P1D1 PRAXIS (VAX --> VAX)r¨& PASS...6.8.2.1-1, EMPTY STATEMENT ¨ ---- P8P2P1D1 Complete1¨Previous value of SYS$ERROR has been superseded/¨---------- P8P2P2D1 PRAXIS (VAX --> VAX) ¨/ TEST OF BINDING ORDER (A[I] := Expression) o0 Pass...SELECTION THEN EVALUATION...p8p2p2d1 ¨ ---- P8P2P2D1 Completei1¨Previous value of SYS$ERROR has been supersededn/¨---------- P8P2P2D2 PRAXIS (VAX --> VAX)t¨- TEST OF BINDING ORDER (P@ := Expression) e0 Fail...EVALUATION THEN SELECTION...p8p2p2d2 ¨ ---- P8P2P2D2 Complete,1¨Previous value of SYS$ERROR has been supersededr0¨---------- P8P3P10D4 PRAXIS (VAX --> VAX)¨ PASS...6.8.3.10-4, ¨ ---- P8P3P10D4 Complete1¨Previous value of SYS$ERROR has been superseded./¨---------- P8P3P4D1 PRAXIS (VAX --> VAX) ¨ PASS...6.8.3.4-1 o¨ ---- P8P3P4D1 Completee1¨Previous value of SYS$ERROR has been supersededV/¨---------- P8P3P5D1 PRAXIS (VAX --> VAX) ¨ PASS...6.8.3.5-1, CASE I¨ ---- P8P3P5D1 Complete21¨Previous value of SYS$ERROR has been superseded 0¨---------- P8P3P5D12 PRAXIS (VAX --> VAX)¨# PASS...6.8.3.5-12, CASE ranges S¨ ---- P8P3P5D12 Complete1¨Previous value of SYS$ERROR has been supersededa0¨---------- P8P3P5D14 PRAXIS (VAX --> VAX)¨ PASS...6.8.3.5-14, ¨ ---- P8P3P5D14 Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P8P3P5D2 PRAXIS (VAX --> VAX) ¨1 QUALITY TEST - WARNINGS FOR IMPOSSIBLE CASES -% PASS...6.8.3.5-2, CASE CONSTANTS e¨ ---- P8P3P5D2 Completer1¨Previous value of SYS$ERROR has been superseded /¨---------- P8P3P5D4 PRAXIS (VAX --> VAX)¨¨" PASS...6.8.3.5-4, SPARSE CASE ¨ ---- P8P3P5D4 Completep1¨Previous value of SYS$ERROR has been superseded-/¨---------- P8P3P5D5 PRAXIS (VAX --> VAX)3¨Pass...P8p3p5d5 s¨ ---- P8P3P5D5 Completen1¨Previous value of SYS$ERROR has been supersededX/¨---------- P8P3P5D6 PRAXIS (VAX --> VAX)P¨ Pass...P8p3p5d6 ¨ ---- P8P3P5D6 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P8P3P5D8 PRAXIS (VAX --> VAX)3¨, QUALITY TEST - SIZE OF Select STATEMENT  PASS...6.8.3.5-8 ¨¨ ---- P8P3P5D8 Complete¨1¨Previous value of SYS$ERROR has been superseded¨/¨---------- P8P3P7D1 PRAXIS (VAX --> VAX)¨¨ PASS...6.8.3.7-1, REPEAT 3¨ ---- P8P3P7D1 Completev1¨Previous value of SYS$ERROR has been superseded-/¨---------- P8P3P7D2 PRAXIS (VAX --> VAX).¨# PASS...6.8.3.7-2, EMPTY REPEAT ¨ ---- P8P3P7D2 CompleteO1¨Previous value of SYS$ERROR has been supersededA/¨---------- P8P3P7D3 PRAXIS (VAX --> VAX)O¨ PASS...6.8.3.7-3, REPEAT .¨ ---- P8P3P7D3 CompleteC1¨Previous value of SYS$ERROR has been supersededp/¨---------- P8P3P8D1 PRAXIS (VAX --> VAX)-¨ PASS...6.8.3.8-1, WHILE ¨ ---- P8P3P8D1 Complete11¨Previous value of SYS$ERROR has been supersededs/¨---------- P8P3P8D2 PRAXIS (VAX --> VAX)X¨" PASS...6.8.3.8-2, EMPTY WHILE ¨ ---- P8P3P8D2 Complete71¨Previous value of SYS$ERROR has been supersededn/¨---------- P8P3P9D1 PRAXIS (VAX --> VAX)V¨ PASS...6.8.3.9-1, FOR ¨ ---- P8P3P9D1 Complete81¨Previous value of SYS$ERROR has been superseded 0¨---------- P8P3P9D10 PRAXIS (VAX --> VAX)¨, Fail...p8p3p9d10 ..Real FOR EXPRESSION ¨ ---- P8P3P9D10 Complete1¨Previous value of SYS$ERROR has been supersededs0¨---------- P8P3P910L PRAXIS (VAX --> VAX)¨1 Fail...p8p3p9d10 ..Long_Real FOR EXPRESSION 8¨ ---- P8P3P910L Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- P8P3P910C PRAXIS (VAX --> VAX)¨1 Pass...P8p3p9d10 .. Cardinal FOR EXPRESSION s¨ ---- P8P3P910C Complete1¨Previous value of SYS$ERROR has been supersededA0¨---------- P8P3P9D13 PRAXIS (VAX --> VAX)¨ PASS....p8p3p9d13 ¨ ---- P8P3P9D13 Complete1¨Previous value of SYS$ERROR has been superseded80¨---------- P8P3P9D14 PRAXIS (VAX --> VAX)¨ PASS....p8p3p9d14 ¨ ---- P8P3P9D14 Complete1¨Previous value of SYS$ERROR has been supersededs0¨---------- P8P3P9D15 PRAXIS (VAX --> VAX)¨)234567891011 FAIL...6.8.3.9-15, FOR ¨ ---- P8P3P9D15 Complete1¨Previous value of SYS$ERROR has been supersededa0¨---------- P8P3P9D17 PRAXIS (VAX --> VAX)¨ PASS...6.8.3.9-17 ¨ ---- P8P3P9D17 Complete1¨Previous value of SYS$ERROR has been supersededa0¨---------- P8P3P9D20 PRAXIS (VAX --> VAX)?¨ 22 for i13:=1 to 2 do B¨ 23 for i14:=1 to 2 doE¨ 24 for i15:=1 to 2 do..¨Error Line <= 24: scope is too deeply nested¨ 39 endfor¨ 40 endforF¨ 41 writeln(" FOR STATEMENT NESTED TO > 15 LEVELS...6.8.3.9-20")*¨Error Line <= 41: "Writeln" is undefined¨ 2 errors in p8p3p9d20R¨Operation is incomplete¨A¨ P8P3P9D20 *** Compile-time error - Link & run skipped -------- ¨ ---- P8P3P9D20 Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P8P3P9D4 PRAXIS (VAX --> VAX) ¨ PASS...6.8.3.9-4 ¨ ---- P8P3P9D4 Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P8P3P9D7 PRAXIS (VAX --> VAX)l¨( FAIL...6.8.3.9-7 extremal FOR loop ¨ ---- P8P3P9D7 Complete11¨Previous value of SYS$ERROR has been superseded20¨---------- P8P3P9D7D PRAXIS (VAX --> VAX)¨* FAIL...6.8.3.9-7D Extreamal FOR loop ¨ ---- P8P3P9D7D Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- P8P3P9D7E PRAXIS (VAX --> VAX)¨( FAIL...6.8.3.9-7 extremal FOR loop ¨ ---- P8P3P9D7E Complete1¨Previous value of SYS$ERROR has been superseded80¨---------- P8P3P9D7C PRAXIS (VAX --> VAX)¨* FAIL...6.8.3.9-7C Extreamal FOR loop ¨ ---- P8P3P9D7C Complete1¨Previous value of SYS$ERROR has been superseded30¨---------- P001DECLX PRAXIS (VAX --> VAX)¨ PASS....P001DECLX ¨ ---- P001DECLX Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- P001RANGE PRAXIS (VAX --> VAX)¨ 56 count *= +1 - ¨ 57 endfor ¨ 58 for I in red..blue do.¨Error Line <= 58: Syntax error at token ".."¨ 62 count *= +1 ¨ 63 endforR¨ 64 for I in 3..4 do.¨Error Line <= 64: Syntax error at token ".."¨syntax errorsp¨ 2 errors in P001RANGE$¨Operation is incompleteA¨ P001RANGE *** Compile-time error - Link & run skipped --------0¨ ---- P001RANGE Complete1¨Previous value of SYS$ERROR has been supersededp0¨---------- P001EXPON PRAXIS (VAX --> VAX)¨ 18 declare $¨ 19 r : real initially 0.114531¨ 20 rc = 0.11453 ** 5 ; // constant foldinge+¨Error Line <= 20: constant value required ¨ 21 n = 54!¨ 22 i : integer initially n F¨ 23 s : static real initially 0.11453 ** n ; // constant folding+¨Error Line <= 23: constant value requiredN¨ 28 enddeclare*¨ 29 r := r * r * r * r * r // r ** 5>¨ 30 if r = rc and r = s and r= d and r = pr@ and r= pr2@ do%¨Error Line <= 30: "rc" is undefinedX¨ 3 errors in P001EXPONe¨Operation is incompleteiA¨ P001EXPON *** Compile-time error - Link & run skipped --------e¨ ---- P001EXPON Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- P001OPERA PRAXIS (VAX --> VAX)¨+ PASS....P001OPERA..Integer Multiplies o, PASS....P001OPERA..Cardinal Multiplies ( PASS....P001OPERA..Real Multiplies ¨ ---- P001OPERA Complete1¨Previous value of SYS$ERROR has been superseded0¨---------- P001START PRAXIS (VAX --> VAX)¨ 30 0¨ 31 ¨ 32 if count = XX do %¨Error Line <= 32: "XX" is undefinedi)¨ 35 writeln( " FAIL....P001START ")O¨ 36 endif ¨ 37 catch ?¨Error Line <= 37: forward routine declaration is not resolved ¨ 2 errors in P001START.¨Operation is incompleteiA¨ P001START *** Compile-time error - Link & run skipped --------0¨ ---- P001START Complete1¨Previous value of SYS$ERROR has been superseded$0¨---------- P002START PRAXIS (VAX --> VAX)¨ starting code executed 0 PASS....P002START c¨ ---- P002START Complete1¨Previous value of SYS$ERROR has been supersededI0¨---------- P003START PRAXIS (VAX --> VAX) ¨ 15 //i#¨ 16 Import Writeln from Pascalio 3¨ 17 Forward procedure init_t( l : inout ref t )r$¨Error Line <= 17: "t" is undefined¨ 40 endguard ¨ 41 endmodule { P003START }?¨Error Line <= 41: forward routine declaration is not resolvede¨ 2 errors in P003START ¨Operation is incomplete-A¨ P003START *** Compile-time error - Link & run skipped --------¨ ---- P003START Complete1¨Previous value of SYS$ERROR has been superseded0¨---------- P004START PRAXIS (VAX --> VAX)¨ starting code executed  finishing code executed  PASS....P004START n¨ ---- P004START Complete1¨Previous value of SYS$ERROR has been supersededd0¨---------- P005START PRAXIS (VAX --> VAX)¨ starting code executed e finishing code executed  PASS....P005START l¨ ---- P005START Complete1¨Previous value of SYS$ERROR has been superseded-0¨---------- P006START PRAXIS (VAX --> VAX)¨ finishing code executed  PASS....P006START (¨ ---- P006START Complete1¨Previous value of SYS$ERROR has been superseded0¨---------- P007START PRAXIS (VAX --> VAX)¨& starting code executed on static & starting code executed on static & starting code executed on static > flag message - should be between startings and finishings  FAIL....P007START o¨ ---- P007START Complete1¨Previous value of SYS$ERROR has been supersededT0¨---------- P008START PRAXIS (VAX --> VAX)¨& starting code executed on static & starting code executed on static & starting code executed on static > flag message - should be between startings and finishings  FAIL....P008START ¨ ---- P008START Complete1¨Previous value of SYS$ERROR has been superseded0¨---------- P009START PRAXIS (VAX --> VAX)¨& starting code executed on static & starting code executed on static & starting code executed on static > flag message - should be between startings and finishings & finishing code executed on static & finishing code executed on static & finishing code executed on static  FAIL....P009START r¨ ---- P009START Complete1¨Previous value of SYS$ERROR has been superseded¨0¨---------- P010START PRAXIS (VAX --> VAX)¨& starting code executed on static & starting code executed on static & starting code executed on static > flag message - should be between startings and finishings & finishing code executed on static & finishing code executed on static & finishing code executed on static  PASS....P010START d¨ ---- P010START Complete1¨Previous value of SYS$ERROR has been superseded¨0¨---------- P011START PRAXIS (VAX --> VAX)¨> flag message - should be between startings and finishings  FAIL....P011START ¨ ---- P011START Complete1¨Previous value of SYS$ERROR has been superseded/¨---------- P002SIZE PRAXIS (VAX --> VAX) ¨ PASS....P002SIZE ¨ ---- P002SIZE Complete1¨Previous value of SYS$ERROR has been supersededc/¨---------- P003SIZE PRAXIS (VAX --> VAX)d¨ PASS....P003SIZE ¨ ---- P003SIZE CompleteR1¨Previous value of SYS$ERROR has been superseded /¨---------- P004SIZE PRAXIS (VAX --> VAX)u¨ PASS....P004SIZE ¨ ---- P004SIZE Complete11¨Previous value of SYS$ERROR has been supersededv/¨---------- P005SIZE PRAXIS (VAX --> VAX)-¨ 38 endguard ¨ 39 endmodule { P005SIZE }S<¨Error Line <= 39: Range check on assign of " 312" to "x"¨1 error in P005SIZEs¨Operation is incomplete0@¨ P005SIZE *** Compile-time error - Link & run skipped --------¨ ---- P005SIZE Completer1¨Previous value of SYS$ERROR has been superseded-/¨---------- P006SIZE PRAXIS (VAX --> VAX)¨* PASS....P006SIZE range checking done ¨ ---- P006SIZE Complete$1¨Previous value of SYS$ERROR has been superseded /¨---------- P007SIZE PRAXIS (VAX --> VAX)9¨ PASS....P007SIZE ¨ ---- P007SIZE Completec1¨Previous value of SYS$ERROR has been supersededZ/¨---------- P008SIZE PRAXIS (VAX --> VAX)o¨ PASS....P008SIZE ¨ ---- P008SIZE Complete 1¨Previous value of SYS$ERROR has been supersededa/¨---------- P009SIZE PRAXIS (VAX --> VAX)I¨312 V312 312 . PASS....P009SIZE ¨ ---- P009SIZE CompleteC1¨Previous value of SYS$ERROR has been supersededp0¨---------- P001CARDS PRAXIS (VAX --> VAX)¨ PASS....P001CARDS S¨ ---- P001CARDS Complete1¨Previous value of SYS$ERROR has been supersededr0¨---------- P002CARDS PRAXIS (VAX --> VAX)¨ PASS....P002CARDS Z¨ ---- P002CARDS Complete1¨Previous value of SYS$ERROR has been supersedede0¨---------- P003CARDS PRAXIS (VAX --> VAX)¨ PASS....P003CARDS ¨ ---- P003CARDS Complete1¨Previous value of SYS$ERROR has been supersededo0¨---------- P001EXPLT PRAXIS (VAX --> VAX)¨ 26 ¨ 27 (.¨ 28 count := explicit( (count +5) * B + A )+¨Error Line <= 28: "explicit" is undefinedY¨ 30 A := -102¨ 31 B := -100>¨ 32 if explicit( side_effect( A ) and side_effect( B ) ) do+¨Error Line <= 32: "explicit" is undefinedo¨ 2 errors in P001EXPLTn¨Operation is incomplete A¨ P001EXPLT *** Compile-time error - Link & run skipped --------¨¨ ---- P001EXPLT Complete1¨Previous value of SYS$ERROR has been superseded¨0¨---------- P001ASSGN PRAXIS (VAX --> VAX)¨ PASS....P001ASSGN t¨ ---- P001ASSGN Complete1¨Previous value of SYS$ERROR has been supersededY0¨---------- P002ASSGN PRAXIS (VAX --> VAX)¨ PASS....P002ASSGN s¨ ---- P002ASSGN Complete1¨Previous value of SYS$ERROR has been supersededo0¨---------- P001OPTNL PRAXIS (VAX --> VAX)8¨ 32 a2 : optional inout ref real initially 0.06¨ 33 a3 : optional out ref real initially 0.0¨ 34 endparamrD¨Error Line <= 34: "a3" INITIALLY only on OPTIONAL or OUT VAL paras¨1 error in P001OPTNL¨Operation is incompletevA¨ P001OPTNL *** Compile-time error - Link & run skipped --------G¨ ---- P001OPTNL Complete1¨Previous value of SYS$ERROR has been supersededp0¨---------- P002OPTNL PRAXIS (VAX --> VAX)8¨ 30 a2 : optional inout ref real initially 0.06¨ 31 a3 : optional out ref real initially 0.0¨ 32 endparamoD¨Error Line <= 32: "a3" INITIALLY only on OPTIONAL or OUT VAL paras¨1 error in P002OPTNL¨Operation is incompletepA¨ P002OPTNL *** Compile-time error - Link & run skipped --------T¨ ---- P002OPTNL Complete1¨Previous value of SYS$ERROR has been supersededp0¨---------- P003OPTNL PRAXIS (VAX --> VAX)¨ FAIL....P003OPTNL N¨ ---- P003OPTNL Complete1¨Previous value of SYS$ERROR has been supersededy0¨---------- P004OPTNL PRAXIS (VAX --> VAX)K¨ 39 a3 : optional inout ref rekord initially rekord( f4: 16#f0 )OI¨ 40 a4 : optional out ref rekord initially rekord( f4: 16#f0 )p9¨ 41 a5 : optional in ref blap initially blap(b2:1.0)-D¨Error Line <= 40: "a4" INITIALLY only on OPTIONAL or OUT VAL paras¨1 error in P004OPTNL¨Operation is incompleteSA¨ P004OPTNL *** Compile-time error - Link & run skipped --------o¨ ---- P004OPTNL Complete1¨Previous value of SYS$ERROR has been supersededP/¨---------- P001PACK PRAXIS (VAX --> VAX) ¨ PASS....P001PACK ¨ ---- P001PACK CompleteO1¨Previous value of SYS$ERROR has been supersededa/¨---------- P002PACK PRAXIS (VAX --> VAX)i¨46 52 66  PASS....P002PACK ¨ ---- P002PACK CompleteO1¨Previous value of SYS$ERROR has been superseded¨/¨---------- P003PACK PRAXIS (VAX --> VAX)e¨46 52 66  PASS....P003PACK ¨ ---- P003PACK Completeo1¨Previous value of SYS$ERROR has been superseded-/¨---------- P004PACK PRAXIS (VAX --> VAX)P¨46 52 66  PASS....P004PACK ¨ ---- P004PACK Completea1¨Previous value of SYS$ERROR has been superseded /¨---------- P005PACK PRAXIS (VAX --> VAX)P¨46 52 66  PASS....P005PACK ¨ ---- P005PACK Completea1¨Previous value of SYS$ERROR has been superseded /¨---------- P006PACK PRAXIS (VAX --> VAX)P¨ PASS....P006PACK ¨ ---- P006PACK Completeo1¨Previous value of SYS$ERROR has been superseded-/¨---------- P007PACK PRAXIS (VAX --> VAX)6¨ PASS....P007PACK ¨ ---- P007PACK Complete41¨Previous value of SYS$ERROR has been supersedede/¨---------- P008PACK PRAXIS (VAX --> VAX) ¨ PASS....P008PACK ¨ ---- P008PACK CompleteP1¨Previous value of SYS$ERROR has been supersededv/¨---------- P009PACK PRAXIS (VAX --> VAX)-¨ PASS....P009PACK ¨ ---- P009PACK CompleteP1¨Previous value of SYS$ERROR has been supersededv/¨---------- P010PACK PRAXIS (VAX --> VAX)-¨ PASS....P010PACK ¨ ---- P010PACK CompleteP1¨Previous value of SYS$ERROR has been supersededv/¨---------- P001SWAP PRAXIS (VAX --> VAX)-¨ FAIL....P001SWAP ¨ ---- P001SWAP CompleteP1¨Previous value of SYS$ERROR has been supersededv.¨---------- P001FOR PRAXIS (VAX --> VAX)'¨ 21 crange is cardinal range 0..6¨ 22 enddeclare¨ 23 for I in 1..10 dom.¨Error Line <= 23: Syntax error at token ".."¨syntax errors-¨1 error in P001FOR¨Operation is incomplete?¨ P001FOR *** Compile-time error - Link & run skipped --------e¨ ---- P001FOR Complete1¨Previous value of SYS$ERROR has been superseded>0¨---------- P001ALLOC PRAXIS (VAX --> VAX)¨ PASS....P001ALLOC e¨ ---- P001ALLOC Complete1¨Previous value of SYS$ERROR has been supersededA0¨---------- P002ALLOC PRAXIS (VAX --> VAX)I¨ 30 x2 : pstr initially allocate pstr( p : allocate ptr( [1]:3.5 ))rP¨ 31 x3 : static pstr initially allocate pstr( p : allocate ptr( [1]:3.5 ))¨ 32 enddeclare@¨Error Line <= 32: Compile-time heap allocation not implemented+¨Error Line <= 32: constant value requiredn¨ 2 errors in P002ALLOC0¨Operation is incomplete A¨ P002ALLOC *** Compile-time error - Link & run skipped --------r¨ ---- P002ALLOC Complete1¨Previous value of SYS$ERROR has been supersededS0¨---------- P003ALLOC PRAXIS (VAX --> VAX)2¨ 29 x1 : pstr initially allocate pstr( i:5 ):¨ 30 x4 = allocate pstr( p : allocate ptr( [1]:3.5 )) ¨ 31 x2 : pstr initially x4@¨Error Line <= 30: Compile-time heap allocation not implemented+¨Error Line <= 30: constant value requiredP¨ 32 x3 : static pstr initially allocate pstr( p : allocate ptr( [1]:3.5 ))'¨Error Line <= 31: expression requiredr¨ 33 enddeclare@¨Error Line <= 33: Compile-time heap allocation not implemented+¨Error Line <= 33: constant value required¨ 34 if x2@.p@[1] = 3.5 do-¨Error Line <= 33: "x4" is an undefined types¨ 6 errors in P003ALLOC ¨Operation is incompletetA¨ P003ALLOC *** Compile-time error - Link & run skipped --------e¨ ---- P003ALLOC Complete1¨Previous value of SYS$ERROR has been supersededr0¨---------- P004ALLOC PRAXIS (VAX --> VAX)¨ start the test heap ok q 10001 Now release the blocks 10002 p Try freeing a nil pointer W¨Access violation, reason mask=01, virtual address=FFFFFFFC, PC=00004147, PSL=03C00009r¨Symbolic stack dump followsfP¨module name routine name line rel PC abs PC O¨PRAXIS_LIBRARY $CODE1 000001A6 00004147eO¨ 00004261 00004261RO¨PRAXIS_LIBRARY $CODE1 000000B8 00004059eO¨ 0000423E 0000423EnA¨ P004ALLOC *** Run-time test error ----------------------------0¨ ---- P004ALLOC Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- P005ALLOC PRAXIS (VAX --> VAX)¨ start the test heap ok Pass heap_empty test 315314 315314 Now release the blocks 315315 blocks released  Now grab one back *Pass - heap ok- blocks freed correctly ¨ ---- P005ALLOC Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- P006ALLOC PRAXIS (VAX --> VAX)¨7PASS...P006alloc - heap allocate and initialization p¨ ---- P006ALLOC Complete1¨Previous value of SYS$ERROR has been supersededO0¨---------- P007ALLOC PRAXIS (VAX --> VAX)¨$ Test of large block allocates 7Pass...P007alloc heap_empty test9594 Blocks Grabbed 1! Now release the big blocks *Pass...P007alloc 9594 blocks released  Now grab one back 6Pass...P007alloc - heap ok- blocks freed correctly ¨ ---- P007ALLOC Complete1¨Previous value of SYS$ERROR has been supersededl0¨---------- P008ALLOC PRAXIS (VAX --> VAX)!¨ 24 b : ptr initially nile,¨ 25 c : ptr initially allocate ptr()A¨ 26 d : ptr initially allocate ptr( arr([10..200]:3.114))k@¨Error Line <= 25: Compile-time heap allocation not implemented+¨Error Line <= 25: constant value requireda¨ 27 e : integerk@¨Error Line <= 26: Compile-time heap allocation not implemented+¨Error Line <= 26: constant value requiredO¨ 4 errors in P008ALLOCo¨Operation is incompleteeA¨ P008ALLOC *** Compile-time error - Link & run skipped -------- ¨ ---- P008ALLOC Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- P006FLEX PRAXIS (VAX --> VAX).¨ PASS....P006FLEX ¨ ---- P006FLEX Completen1¨Previous value of SYS$ERROR has been supersedede/¨---------- P007FLEX PRAXIS (VAX --> VAX)e¨ 23 enddeclare=¨ 24 procedure zap( ar: inout val ptr, ar2: inout ref ptr)v@¨ 25 ar := allocate ptr(length:10,[1..length]: nil) ;// ok)¨Error Line <= 25: "length" is undefined ?¨Error Line <= 25: lower > upper bound in case, range, or typev1¨Error Line <= 25: array object or type required-L¨ 26 ar2 := allocate ptr( length: 33,[1..3]:nil,[4..length]:nil) ;//ok1¨Error Line <= 26: array object or type required )¨Error Line <= 26: "length" is undefinedX?¨Error Line <= 26: lower > upper bound in case, range, or type 1¨Error Line <= 26: array object or type required5¨ 7 errors in P007FLEX¨Operation is incomplete @¨ P007FLEX *** Compile-time error - Link & run skipped --------¨ ---- P007FLEX Completes1¨Previous value of SYS$ERROR has been supersededt/¨---------- P008FLEX PRAXIS (VAX --> VAX)r¨ PASS....P008FLEX ¨ ---- P008FLEX Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- P001FINI PRAXIS (VAX --> VAX)<¨ FAIL....p001FINI ¨ ---- P001FINI Completer1¨Previous value of SYS$ERROR has been superseded /¨---------- P002FINI PRAXIS (VAX --> VAX) ¨ PASS....p002FINI ¨ ---- P002FINI Completee1¨Previous value of SYS$ERROR has been supersededv/¨---------- P003FINI PRAXIS (VAX --> VAX)-¨ FAIL....p003FINI ¨ ---- P003FINI CompleteP1¨Previous value of SYS$ERROR has been supersededv/¨---------- P001VARI PRAXIS (VAX --> VAX)-¨ PASS...p001VARI X¨ ---- P001VARI Completep1¨Previous value of SYS$ERROR has been supersededv/¨---------- P002VARI PRAXIS (VAX --> VAX)-¨ PASS....p002VARI ¨ ---- P002VARI Completep1¨Previous value of SYS$ERROR has been supersededv/¨---------- X001FLEX PRAXIS (VAX --> VAX)-0¨ 46 vpn : pn initially allocate pn(nn:22);/¨ 47 vpo : po initially allocate po(oo:5);r2¨ 48 vpp0: pp initially allocate pp(ppp: 10);4¨Error Line <= 48: incorrect keyword parameter name:¨Error Line <= 48: compiler error (unimplemented feature)2¨ 49 vpp1: pp initially allocate pp(ppp:-10);4¨Error Line <= 49: incorrect keyword parameter name:¨Error Line <= 49: compiler error (unimplemented feature)2¨ 50 vpf : pf initially allocate pf( ff:100);1¨ 51 vpg : pg initially allocate pg( gg:-5);i4¨Error Line <= 51: incorrect keyword parameter name:¨Error Line <= 51: compiler error (unimplemented feature)3¨ 52 vph : ph initially allocate ph(hh :-200); 4¨Error Line <= 52: incorrect keyword parameter name:¨Error Line <= 52: compiler error (unimplemented feature)1¨ 53 vpi : pi initially allocate pi(ii :-3); 4¨Error Line <= 53: incorrect keyword parameter name:¨Error Line <= 53: compiler error (unimplemented feature)8¨ 54 vpj0: pj initially allocate pj(jj:-10,jjj:-5);4¨Error Line <= 54: incorrect keyword parameter name8¨ 55 vpj1: pj initially allocate pj(jj:-10,jjj:-5);4¨Error Line <= 55: incorrect keyword parameter name8¨ 56 vpj2: pj initially allocate pj(jj:0, jjj:100);4¨Error Line <= 56: incorrect keyword parameter name9¨ 57 vpj3: pj initially allocate pj(jj:102,jjj:200);)4¨Error Line <= 57: incorrect keyword parameter name¨ 69 endguard<¨ 70 endmoduleV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pg"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type ph"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pi"6¨Error Line <= 70: Incomplete object module generated¨ 24 errors in x001flex¨Operation is incompletee@¨ X001FLEX *** Compile-time error - Link & run skipped --------¨ ---- X001FLEX Completel1¨Previous value of SYS$ERROR has been supersededo/¨---------- X002FLEX PRAXIS (VAX --> VAX)i0¨ 46 vpn : pn initially allocate pn(nn:22);/¨ 47 vpo : po initially allocate po(oo:5); 2¨ 48 vpp0: pp initially allocate pp(ppp: 10);4¨Error Line <= 48: incorrect keyword parameter name:¨Error Line <= 48: compiler error (unimplemented feature)2¨ 49 vpp1: pp initially allocate pp(ppp:-10);4¨Error Line <= 49: incorrect keyword parameter name:¨Error Line <= 49: compiler error (unimplemented feature)2¨ 50 vpf : pf initially allocate pf( ff:100);1¨ 51 vpg : pg initially allocate pg( gg:-5);i4¨Error Line <= 51: incorrect keyword parameter name:¨Error Line <= 51: compiler error (unimplemented feature)3¨ 52 vph : ph initially allocate ph(hh :-200); 4¨Error Line <= 52: incorrect keyword parameter name:¨Error Line <= 52: compiler error (unimplemented feature)1¨ 53 vpi : pi initially allocate pi(ii :-3); 4¨Error Line <= 53: incorrect keyword parameter name:¨Error Line <= 53: compiler error (unimplemented feature)8¨ 54 vpj0: pj initially allocate pj(jj:-10,jjj:-5);4¨Error Line <= 54: incorrect keyword parameter name8¨ 55 vpj1: pj initially allocate pj(jj:-10,jjj:-5);4¨Error Line <= 55: incorrect keyword parameter name8¨ 56 vpj2: pj initially allocate pj(jj:0, jjj:100);4¨Error Line <= 56: incorrect keyword parameter name9¨ 57 vpj3: pj initially allocate pj(jj:102,jjj:200);)4¨Error Line <= 57: incorrect keyword parameter name¨ 69 endguard<¨ 70 endmoduleV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pg"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type ph"6¨Error Line <= 70: Incomplete object module generatedV¨Error Line <= 70: Need initial value on allocate of flexible "{allocate} of type pi"6¨Error Line <= 70: Incomplete object module generated¨ 24 errors in x002flex¨Operation is incompletee@¨ X002FLEX *** Compile-time error - Link & run skipped --------¨ ---- X002FLEX Completel1¨Previous value of SYS$ERROR has been supersededo/¨---------- X003FLEX PRAXIS (VAX --> VAX)i#¨ 75 vpn :=allocate pn(nn:22);""¨ 76 vpo :=allocate po(oo:5);&¨ 77 vpp0:= allocate pp(ppp: 10);4¨Error Line <= 77: incorrect keyword parameter name:¨Error Line <= 77: compiler error (unimplemented feature)&¨ 78 vpp1:= allocate pp(ppp:-10);4¨Error Line <= 78: incorrect keyword parameter name:¨Error Line <= 78: compiler error (unimplemented feature)%¨ 79 vpf :=allocate pf( ff:100);s%¨ 80 vpg := allocate pg( gg:-5);o4¨Error Line <= 80: incorrect keyword parameter name:¨Error Line <= 80: compiler error (unimplemented feature)'¨ 81 vph := allocate ph(hh :-200);p4¨Error Line <= 81: incorrect keyword parameter name:¨Error Line <= 81: compiler error (unimplemented feature)%¨ 82 vpi := allocate pi(ii :-3);p4¨Error Line <= 82: incorrect keyword parameter name:¨Error Line <= 82: compiler error (unimplemented feature),¨ 83 vpj0:= allocate pj(jj:-10,jjj:-5);4¨Error Line <= 83: incorrect keyword parameter name,¨ 84 vpj1:= allocate pj(jj:-10,jjj:-5);4¨Error Line <= 84: incorrect keyword parameter name,¨ 85 vpj2:= allocate pj(jj:0, jjj:100);4¨Error Line <= 85: incorrect keyword parameter name-¨ 86 vpj3:= allocate pj(jj:102,jjj:200);e4¨Error Line <= 86: incorrect keyword parameter name¨ 98 e¨ 99 endmodule { X003FLEX }eV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pg"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type ph"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pi"6¨Error Line <= 99: Incomplete object module generated¨ 24 errors in X003FLEX¨Operation is incompletee@¨ X003FLEX *** Compile-time error - Link & run skipped --------¨ ---- X003FLEX Completel1¨Previous value of SYS$ERROR has been supersededo/¨---------- X004FLEX PRAXIS (VAX --> VAX)i#¨ 75 vpn :=allocate pn(nn:22);""¨ 76 vpo :=allocate po(oo:5);&¨ 77 vpp0:= allocate pp(ppp: 10);4¨Error Line <= 77: incorrect keyword parameter name:¨Error Line <= 77: compiler error (unimplemented feature)&¨ 78 vpp1:= allocate pp(ppp:-10);4¨Error Line <= 78: incorrect keyword parameter name:¨Error Line <= 78: compiler error (unimplemented feature)%¨ 79 vpf :=allocate pf( ff:100);s%¨ 80 vpg := allocate pg( gg:-5);o4¨Error Line <= 80: incorrect keyword parameter name:¨Error Line <= 80: compiler error (unimplemented feature)'¨ 81 vph := allocate ph(hh :-200);p4¨Error Line <= 81: incorrect keyword parameter name:¨Error Line <= 81: compiler error (unimplemented feature)%¨ 82 vpi := allocate pi(ii :-3);p4¨Error Line <= 82: incorrect keyword parameter name:¨Error Line <= 82: compiler error (unimplemented feature),¨ 83 vpj0:= allocate pj(jj:-10,jjj:-5);4¨Error Line <= 83: incorrect keyword parameter name,¨ 84 vpj1:= allocate pj(jj:-10,jjj:-5);4¨Error Line <= 84: incorrect keyword parameter name,¨ 85 vpj2:= allocate pj(jj:0, jjj:100);4¨Error Line <= 85: incorrect keyword parameter name-¨ 86 vpj3:= allocate pj(jj:102,jjj:200);e4¨Error Line <= 86: incorrect keyword parameter name¨ 98 e¨ 99 endmodule { X004FLEX }eV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pp"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pg"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type ph"6¨Error Line <= 99: Incomplete object module generatedV¨Error Line <= 99: Need initial value on allocate of flexible "{allocate} of type pi"6¨Error Line <= 99: Incomplete object module generated¨ 24 errors in X004FLEX¨Operation is incompletee@¨ X004FLEX *** Compile-time error - Link & run skipped --------¨ ---- X004FLEX Completel1¨Previous value of SYS$ERROR has been supersededo/¨---------- X001SETS PRAXIS (VAX --> VAX)i¨ 43 endifl¨ 44 endmodule6¨Error Line <= 44: Incomplete object module generated¨1 error in x001setsd¨Operation is incompletei@¨ X001SETS *** Compile-time error - Link & run skipped --------¨ ---- X001SETS Completeo1¨Previous value of SYS$ERROR has been superseded/¨---------- X002SETS PRAXIS (VAX --> VAX)l¨ 12 enddeclare ¨ 13 counter:=0)¨ 14 a:=bset(0,2,4,6,8,10, 80 to 91)lj¨Error Line <= 14: type of "|bit_constant| 0" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 14: type of "|bit_constant| 2" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 14: type of "|bit_constant| 4" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 14: type of "|bit_constant| 6" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 14: type of "|bit_constant| 8" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 14: type of "|bit_constant| 10" incompatible with type of "{subrange} of type CARDINAL"\¨Error Line <= 14: type of " 91" incompatible with type of "{subrange} of type CARDINAL"¨ 15 b:=bset(1,3,5,7,9)j¨Error Line <= 15: type of "|bit_constant| 1" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 15: type of "|bit_constant| 3" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 15: type of "|bit_constant| 5" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 15: type of "|bit_constant| 7" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 15: type of "|bit_constant| 9" incompatible with type of "{subrange} of type CARDINAL"4¨ 16 c:=bset(0,1,9,3,4,5 to 7,8,2,10, 80 to 91)j¨Error Line <= 16: type of "|bit_constant| 0" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 16: type of "|bit_constant| 1" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 16: type of "|bit_constant| 9" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 16: type of "|bit_constant| 3" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 16: type of "|bit_constant| 4" incompatible with type of "{subrange} of type CARDINAL"\¨Error Line <= 16: type of " 7" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 16: type of "|bit_constant| 8" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 16: type of "|bit_constant| 2" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 16: type of "|bit_constant| 10" incompatible with type of "{subrange} of type CARDINAL"\¨Error Line <= 16: type of " 91" incompatible with type of "{subrange} of type CARDINAL"¨ 21 counter:=counter+1 ¨ 22 endif $¨ 23 if(a+bset(1,3,5,7,9)=c) doj¨Error Line <= 23: type of "|bit_constant| 1" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 23: type of "|bit_constant| 3" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 23: type of "|bit_constant| 5" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 23: type of "|bit_constant| 7" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 23: type of "|bit_constant| 9" incompatible with type of "{subrange} of type CARDINAL"¨ 30 counter:=counter+1i¨ 31 endif"1¨ 32 if(c-bset(0,2,80 to 91, 4,6,8,10)=b) doyj¨Error Line <= 32: type of "|bit_constant| 0" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 32: type of "|bit_constant| 2" incompatible with type of "{subrange} of type CARDINAL"\¨Error Line <= 32: type of " 91" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 32: type of "|bit_constant| 4" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 32: type of "|bit_constant| 6" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 32: type of "|bit_constant| 8" incompatible with type of "{subrange} of type CARDINAL"j¨Error Line <= 32: type of "|bit_constant| 10" incompatible with type of "{subrange} of type CARDINAL""¨Exception raised and not caught:¨x_failed_assertion/¨Breakpoint fault at PC=0003E053, PSL=03C00000o¨Symbolic stack dump followsaP¨module name routine name line rel PC abs PC O¨PRXRMS OBJ_PUT 0000055F 0003E053oO¨CGREG $CODE1 00000499 00038118}O¨CGACTION $CODE1 000010EE 0003A4AAlO¨CGMAIN $CODE1 00000409 0003AFD0O¨WALKSUB $CODE1 00000076 00021B6BcO¨WALKSUB $CODE1 00000142 00021C37 O¨OPTABLE $CODE1 0000016B 00022860 O¨WALKEXP $CODE1 000045A1 0002829C O¨WALKEXP $CODE1 00004847 00028542 O¨WALKEXP $CODE1 000021AC 00025EA7 O¨WALKEXP $CODE1 00002226 00025F21 O¨WALK $CODE1 00001E44 0002B428 O¨WALK $CODE1 0000063C 00029C20 O¨CG_CODE $CODE1 00000161 0002BECB O¨MMODULE $CODE1 000001E3 0003596E O¨ACTION $CODE1 0000016D 00037AEC O¨PARSER $CODE1 000004CE 0001D3BC O¨BEGIN $CODE1 00000464 0003B4FC O¨COL RULENO 00000080 0003E994 O¨PRXRMS OBJ_PUT 000003DC 0003DED0 O¨COL RULENO 0000005D 0003E971 @¨ X002SETS *** Compile-time error - Link & run skipped --------¨ ---- X002SETS Complete01¨Previous value of SYS$ERROR has been superseded /¨---------- X003SETS PRAXIS (VAX --> VAX) "¨Exception raised and not caught:¨x_failed_assertion/¨Breakpoint fault at PC=0003E053, PSL=03C00000 ¨Symbolic stack dump follows8P¨module name routine name line rel PC abs PC O¨PRXRMS OBJ_PUT 0000055F 0003E0535O¨CGREG $CODE1 00000499 00038118¨O¨CGACTION $CODE1 000010EE 0003A4AA-O¨CGMAIN $CODE1 00000409 0003AFD0O¨WALKSUB $CODE1 00000076 00021B6BcO¨WALKSUB $CODE1 00000142 00021C37 O¨OPTABLE $CODE1 0000016B 00022860 O¨WALKEXP $CODE1 000045A1 0002829C O¨WALKEXP $CODE1 00004847 00028542 O¨WALKEXP $CODE1 000021AC 00025EA7 O¨WALKEXP $CODE1 00002226 00025F21 O¨WALK $CODE1 00001E44 0002B428 O¨WALK $CODE1 0000063C 00029C20 O¨CG_CODE $CODE1 00000161 0002BECB O¨MMODULE $CODE1 000001E3 0003596E O¨ACTION $CODE1 0000016D 00037AEC O¨PARSER $CODE1 000004CE 0001D3BC O¨BEGIN $CODE1 00000464 0003B4FC O¨COL RULENO 00000080 0003E994 O¨PRXRMS OBJ_PUT 000003DC 0003DED0 O¨COL RULENO 0000005D 0003E971 @¨ X003SETS *** Compile-time error - Link & run skipped --------¨ ---- X003SETS Complete01¨Previous value of SYS$ERROR has been superseded /¨---------- X004SETS PRAXIS (VAX --> VAX) ¨ 23 counter:=counter+1 ¨ 24 endif0¨ 25 if(b<=a) doOA¨Error Line <= 25: improper operator between type of "b" and "A"0¨ 26 counter:=counter+1U¨ 27 endif ¨ 28 if(a>=b) do0A¨Error Line <= 28: improper operator between type of "A" and "b" ¨ 29 counter:=counter+1X¨ 30 endifl¨ 31 if(aset(0,1)<=a) doe^¨Error Line <= 31: improper operator between type of "{set_constructor} of type aset" and "A"¨ 32 counter:=counter+1X¨ 33 endif30¨ 34 if(aset(1,2,312,4,500,666,1000)>=b) do^¨Error Line <= 34: improper operator between type of "{set_constructor} of type aset" and "b"¨ 4 errors in x004sets¨Operation is incompletef@¨ X004SETS *** Compile-time error - Link & run skipped --------¨ ---- X004SETS Completec1¨Previous value of SYS$ERROR has been supersededa0¨---------- X001LOCKS PRAXIS (VAX --> VAX)¨+ PASS....x001locks.. Arrays done right a¨ ---- X001LOCKS Complete1¨Previous value of SYS$ERROR has been supersededa0¨---------- X002LOCKS PRAXIS (VAX --> VAX)¨ PASS....X002LOCKS e¨ ---- X002LOCKS Complete1¨Previous value of SYS$ERROR has been superseded0¨---------- X003LOCKS PRAXIS (VAX --> VAX)¨ PASS....X003LOCKS p¨ ---- X003LOCKS Complete1¨Previous value of SYS$ERROR has been supersededn0¨---------- X004LOCKS PRAXIS (VAX --> VAX)¨ PASS....X004LOCKS x¨ ---- X004LOCKS Complete1¨Previous value of SYS$ERROR has been supersededo0¨---------- X005LOCKS PRAXIS (VAX --> VAX)¨ PASS....X005LOCKS A¨ ---- X005LOCKS Complete1¨Previous value of SYS$ERROR has been supersededo0¨---------- X006LOCKS PRAXIS (VAX --> VAX)¨ Add_to_queue FAILure 4 FAIL....X006LOCKS ..locks in pointer structures ¨ ---- X006LOCKS Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- X007LOCKS PRAXIS (VAX --> VAX)¨ Add_to_queue FAILure 4 FAIL....X007LOCKS ..locks in pointer structures ¨ ---- X007LOCKS Complete1¨Previous value of SYS$ERROR has been superseded¨0¨---------- X008LOCKS PRAXIS (VAX --> VAX)¨ PASS....X008LOCKS ¨¨ ---- X008LOCKS Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- X001HIDN PRAXIS (VAX --> VAX)r¨ 21 module zap¨ 22 declares)¨ 23 hide : hidden integer initially 3¨2¨Error Line <= 23: Syntax error at token "hidden"¨syntax errorse¨1 error in X001HIDNX¨Operation is incomplete @¨ X001HIDN *** Compile-time error - Link & run skipped --------¨ ---- X001HIDN Complete1¨Previous value of SYS$ERROR has been superseded¨/¨---------- X002HIDN PRAXIS (VAX --> VAX)pJ¨ 31 default: writeln( " FAIL....X002HIDN ..default exception caught")¨ 32 endguard ¨ 33 endmodule { X002HIDN }z'¨Error Line <= 33: "hide" is undefinedh¨1 error in X002HIDN ¨Operation is incompletet@¨ X002HIDN *** Compile-time error - Link & run skipped --------¨ ---- X002HIDN Completet1¨Previous value of SYS$ERROR has been superseded /¨---------- X003HIDN PRAXIS (VAX --> VAX)r¨ 22 export visible ¨ 23 declare ¨ 24 visible : hidden real2¨Error Line <= 24: Syntax error at token "hidden"¨syntax errorse¨1 error in X003HIDN)¨Operation is incompletee@¨ X003HIDN *** Compile-time error - Link & run skipped --------¨ ---- X003HIDN Completep1¨Previous value of SYS$ERROR has been supersedede/¨---------- X004HIDN PRAXIS (VAX --> VAX)2¨ 22 export visibles¨ 23 declare ¨ 24 visible : hidden real2¨Error Line <= 24: Syntax error at token "hidden"¨syntax errors ¨1 error in X004HIDN ¨Operation is incompleter@¨ X004HIDN *** Compile-time error - Link & run skipped --------¨ ---- X004HIDN Completep1¨Previous value of SYS$ERROR has been supersedede/¨---------- X005HIDN PRAXIS (VAX --> VAX)3¨ 21 module inner%¨ 22 import count from x005hidne¨ 23 count := 114I,¨Error Line <= 22: "count" was not exported¨ 24 endmodule { inner }¨¨ 25 if count = 114 do L¨Error Line <= 24: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 24: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 24: Code or dynamic decl outside proc, funct, or main module¨ 4 errors in X005HIDN¨Operation is incomplete5@¨ X005HIDN *** Compile-time error - Link & run skipped --------¨ ---- X005HIDN Complete1¨Previous value of SYS$ERROR has been supersededt/¨---------- X006HIDN PRAXIS (VAX --> VAX))¨ 22 count := 114 ; // is this legal ¨ 23 endmodule { inner }i¨ 24 if count = 114 do L¨Error Line <= 23: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 23: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 23: Code or dynamic decl outside proc, funct, or main module¨ 3 errors in X006HIDN¨Operation is incomplete @¨ X006HIDN *** Compile-time error - Link & run skipped --------¨ ---- X006HIDN CompleteN1¨Previous value of SYS$ERROR has been superseded;/¨---------- X007HIDN PRAXIS (VAX --> VAX)7¨ 22 count := 114 ; // legal if dynamic variable?y¨ 23 endmodule { inner}¨ 24 if count = 114 do L¨Error Line <= 23: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 23: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 23: Code or dynamic decl outside proc, funct, or main module¨ 3 errors in X007HIDN¨Operation is incompletem@¨ X007HIDN *** Compile-time error - Link & run skipped --------¨ ---- X007HIDN Complete 1¨Previous value of SYS$ERROR has been supersededi0¨---------- X001READO PRAXIS (VAX --> VAX),¨ 24 reado := 100 ; // legal assignment¨ 25 endmodule,¨ 26 reado := 200 ; // illegal assignmentL¨Error Line <= 25: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 25: Code or dynamic decl outside proc, funct, or main moduleL¨Error Line <= 25: Code or dynamic decl outside proc, funct, or main module(¨Error Line <= 26: "reado" is undefined¨ 27 if reado = 100 do (¨Error Line <= 27: "reado" is undefined¨ 5 errors in X001READOD¨Operation is incompleteA¨ X001READO *** Compile-time error - Link & run skipped -------- ¨ ---- X001READO Complete1¨Previous value of SYS$ERROR has been supersedede/¨---------- R4P3P2D4 PRAXIS (VAX --> VAX)iF¨ 18 writeln(" QUALITY...6.4.3.2-4: -->INTEGER BOUNDS PERMITTED")¨ 19 endmodule>¨Error Line <= 19: Range check on assign of " 32797" to "all">¨Error Line <= 19: Range check on assign of " 0" to "all"¨ 2 errors in r4p3p2d4¨Operation is incompletei@¨ R4P3P2D4 *** Compile-time error - Link & run skipped --------¨ ---- R4P3P2D4 Completei1¨Previous value of SYS$ERROR has been supersededo/¨---------- R6P5P3D7 PRAXIS (VAX --> VAX)-¨# ERROR NOT DETECTED...6.6.5.3-7 i¨ ---- R6P5P3D7 CompleteT1¨Previous value of SYS$ERROR has been superseded9/¨---------- R6P5P3D8 PRAXIS (VAX --> VAX)s¨# ERROR NOT DETECTED...6.6.5.3-8 ¨ ---- R6P5P3D8 Completef1¨Previous value of SYS$ERROR has been supersededp/¨---------- R6P6P4D5 PRAXIS (VAX --> VAX)i¨) ERROR NOT DETECTED...6.6.6.4-5, PRED ¨ ---- R6P6P4D5 Completeo1¨Previous value of SYS$ERROR has been superseded-/¨---------- R6P6P4D7 PRAXIS (VAX --> VAX)E¨) ERROR NOT DETECTED...6.6.6.4-7, CHAR 3¨ ---- R6P6P4D7 Completel1¨Previous value of SYS$ERROR has been superseded /¨---------- R7P2P2D6 PRAXIS (VAX --> VAX)N¨# ERROR NOT DETECTED...6.7.2.2-6 3¨ ---- R7P2P2D6 Completel1¨Previous value of SYS$ERROR has been superseded /¨---------- R7P2P2D7 PRAXIS (VAX --> VAX)N¨# ERROR NOT DETECTED...6.7.2.2-7 ¨ ---- R7P2P2D7 Completeo1¨Previous value of SYS$ERROR has been superseded-0¨---------- R7P2P2D8A PRAXIS (VAX --> VAX)¨F¨Arithmetic trap, integer divide by zero at PC=00001E31, PSL=03C00002¨Symbolic stack dump followssP¨module name routine name line rel PC abs PC O¨R7P2P2D8A $CODE1 00000031 00001E31aO¨ 00003DAB 00003DABRO¨PRAXIS_LIBRARY $CODE1 000000B8 00003BA3$O¨ 00003D88 00003D88A¨ R7P2P2D8A *** Run-time test error ----------------------------0¨ ---- R7P2P2D8A Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- R8P3P9D16 PRAXIS (VAX --> VAX)¨ DEVIATES...R8p3p9d16, FOR ¨ ---- R8P3P9D16 Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- R8P3P9D19 PRAXIS (VAX --> VAX)¨ DEVIATES...6.8.3.9-19, FOR ¨ ---- R8P3P9D19 Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- R8P3P9D2 PRAXIS (VAX --> VAX)R¨ DEVIATES...6.8.3.9-2, FOR ¨ ---- R8P3P9D2 Complete21¨Previous value of SYS$ERROR has been supersededn/¨---------- R8P3P9D3 PRAXIS (VAX --> VAX)(¨ DEVIATES...6.8.3.9-3, FOR ¨ ---- R8P3P9D3 Complete91¨Previous value of SYS$ERROR has been supersededn.¨---------- FP1P7D7 PRAXIS (VAX --> VAX)¨ 16 enddeclare!¨ 17 string1:="FOUR" ; // ok¨'¨ 18 string2:=string1; // ????????eI¨Error Line <= 18: type of "string2" incompatible with type of "string1"-¨ 19 if string1=string2 do.I¨Error Line <= 19: type of "string1" incompatible with type of "string2"eI¨Error Line <= 19: improper operator between type of "{nil}" and "{nil}"V¨ 3 errors in P1p7d7¨Operation is incomplete?¨ FP1P7D7 *** Compile-time error - Link & run skipped -------- ¨ ---- FP1P7D7 Complete1¨Previous value of SYS$ERROR has been supersededR-¨---------- F1P2D1 PRAXIS (VAX --> VAX)?¨ 7 declare#¨ 8 i:static [tick,cross,nil]b¨ 9 enddeclarer,¨Error Line <= 9: "NIL" is multiply defined¨ 10 i:=nil-¨ 11 writeln(" DEVIATES...6.1.2-1, NIL")n?¨Error Line <= 10: type of "i" incompatible with type of "NIL"}¨ 2 errors in f1p2d1¨Operation is incomplete >¨ F1P2D1 *** Compile-time error - Link & run skipped --------¨ ---- F1P2D1 Complete 1¨Previous value of SYS$ERROR has been superseded -¨---------- F1P2D2 PRAXIS (VAX --> VAX) #¨ 5 Import Writeln from Pascalio ¨ 6 declare5¨ 7 thing:static [ref, val,false,true,unlocked]:.¨Error Line <= 7: Syntax error at token "ref"¨syntax errors ¨1 error in f1p2d2I¨Operation is incompletey>¨ F1P2D2 *** Compile-time error - Link & run skipped --------¨ ---- F1P2D2 Completem1¨Previous value of SYS$ERROR has been supersededu-¨---------- F1P3D1 PRAXIS (VAX --> VAX)¨#¨ 9 i20iiiiiiiiiiiiiiiii = 20s-¨ 10 i30iiiiiiiiiiiiiiiiiiiiiiiiiii = 30X7¨ 11 i40iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii = 40d_¨Error Line <= 10: "i40iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 characterstA¨ 12 i50iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii = 50s_¨Error Line <= 11: "i50iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 characterslK¨ 13 i60iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii = 601_¨Error Line <= 12: "i60iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 charactersiM¨ 14 i70iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiio_¨Error Line <= 13: "i70iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 characters20¨ 17 if i10iiiiiii + i20iiiiiiiiiiiiiiiii +-¨ 18 i30iiiiiiiiiiiiiiiiiiiiiiiiiii +i7¨ 19 i40iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii +r_¨Error Line <= 18: "i40iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 characters A¨ 20 i50iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii +1_¨Error Line <= 19: "i50iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 charactersrK¨ 21 i60iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii + _¨Error Line <= 20: "i60iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 charactersiM¨ 22 i70iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiio_¨Error Line <= 21: "i70iiiiiiiiiiiiiiiiiiiiiiiiiiii" truncated since longer than 31 characters0.¨ 25 otherwise writeln(" PASS...6.1.3-1")¨ 26 endifendmodule0¨Error Line <= 26: Syntax error on end of file ¨syntax errorsa¨ 9 errors in f1p3d1¨Operation is incompletei>¨ F1P3D1 *** Compile-time error - Link & run skipped --------¨ ---- F1P3D1 Completei1¨Previous value of SYS$ERROR has been superseded¨-¨---------- F1P5D3 PRAXIS (VAX --> VAX)i#¨ 10 Import Writeln from Pascalio ¨ 11 declare¨ 12 r = .123-¨Error Line <= 12: Syntax error at token "."t¨ 13 i : static realr¨ 14 enddeclare3¨ 15 i:=.123i-¨Error Line <= 15: Syntax error at token "." ¨syntax errorsy¨ 2 errors in f1p5d3¨Operation is incompletes>¨ F1P5D3 *** Compile-time error - Link & run skipped --------¨ ---- F1P5D3 Complete31¨Previous value of SYS$ERROR has been supersededn-¨---------- F1P5D4 PRAXIS (VAX --> VAX)V'¨ 11 i : static real initially 0.0P¨ 12 enddeclarec+¨ 13 i:=0123. ; // this should fail 2¨Error Line <= 13: Ill-formed real number literal-¨Error Line <= 13: Syntax error at token ";"r¨syntax errorsy¨ 2 errors in f1p5d4¨Operation is incompleter>¨ F1P5D4 *** Compile-time error - Link & run skipped --------¨ ---- F1P5D4 Complete 1¨Previous value of SYS$ERROR has been supersededo-¨---------- F1P5D5 PRAXIS (VAX --> VAX)-#¨ 7 Import Writeln from PascalioV¨ 8 declare¨ 9 one = 1 234 2¨Error Line <= 9: Syntax error on integer literal¨ 10 two = 0 .1234 3¨Error Line <= 10: Syntax error on integer literali¨ 11 three = 0. 1234o2¨Error Line <= 11: Ill-formed real number literal¨ 12 four = 1234 E2r¨ 13 five = 1234E 2e2¨Error Line <= 13: Ill-formed real number literal¨ 14 six = 1234E- 22¨Error Line <= 14: Ill-formed real number literal¨ 15 seven = 1234E+ 22¨Error Line <= 15: Ill-formed real number literal¨syntax errorsn¨ 6 errors in f1p5d5¨Operation is incompleteg>¨ F1P5D5 *** Compile-time error - Link & run skipped --------¨ ---- F1P5D5 Completea1¨Previous value of SYS$ERROR has been superseded -¨---------- F1P7D1 PRAXIS (VAX --> VAX) +¨ 13 twotoo : static char initially $0o¨ 14 enddeclareo-¨ 15 if (one <> two) and (two = "2" ) do4?¨Error Line <= 15: type of "two" incompatible with type of "2" I¨Error Line <= 15: improper operator between type of "{nil}" and "{nil}"y*¨ 16 twotoo:= "2" ; // should failB¨Error Line <= 16: type of "twotoo" incompatible with type of "2"¨ 3 errors in f1p7d1¨Operation is incompleteo>¨ F1P7D1 *** Compile-time error - Link & run skipped --------¨ ---- F1P7D1 Complete 1¨Previous value of SYS$ERROR has been superseded .¨---------- F1P7D10 PRAXIS (VAX --> VAX).¨ 9 string2 : static array[1..6] of char¨ 10 enddeclare 3¨ 11 string1:="AB"; // should allow thiseD¨Error Line <= 11: type of "string1" incompatible with type of "AB"¨ 12 writeln("CASE 1 : ")#¨ 13 Out_string( tty, string1) ¨ 14 out_record(tty) C¨Error Line <= 13: type of "s" incompatible with type of "string1"n¨ 15 string1:="ABCD"¨¨ 16 string2:="XXXXXX"vF¨Error Line <= 15: type of "string1" incompatible with type of "ABCD"6¨ 17 string2:=string1; // shouldn't allow thisH¨Error Line <= 16: type of "string2" incompatible with type of "XXXXXX"I¨Error Line <= 17: type of "string2" incompatible with type of "string1"o¨ 21 writeln("CASE 2 : ")"¨ 22 Out_string(tty, string2)¨ 23 Out_record(tty)oC¨Error Line <= 22: type of "s" incompatible with type of "string2" 5¨ 24 string1:="killer"; // shouldn't allow thisgH¨Error Line <= 24: type of "string1" incompatible with type of "killer"¨ 7 errors in f1p7d10g¨Operation is incomplete ?¨ F1P7D10 *** Compile-time error - Link & run skipped --------t¨ ---- F1P7D10 Complete1¨Previous value of SYS$ERROR has been supersededy-¨---------- F1P7D4 PRAXIS (VAX --> VAX))¨ 10 enddeclarei$¨ 11 string2 := "abcde" ; // ok,¨ 12 string2:=string1 ; // should failI¨Error Line <= 12: type of "string2" incompatible with type of "string1"a¨1 error in f1p7d4i¨Operation is incomplete >¨ F1P7D4 *** Compile-time error - Link & run skipped --------¨ ---- F1P7D4 Complete 1¨Previous value of SYS$ERROR has been supersededi-¨---------- F1P7D5 PRAXIS (VAX --> VAX)v¨ 13 enddeclareR"¨ 14 string1:="STR1" ; // ok,:¨ 15 string2:="STR2" ; // should fail at compile timeF¨Error Line <= 15: type of "string2" incompatible with type of "STR2"¨1 error in f1p7d5e¨Operation is incompleten>¨ F1P7D5 *** Compile-time error - Link & run skipped --------¨ ---- F1P7D5 CompleteF1¨Previous value of SYS$ERROR has been superseded--¨---------- F1P7D6 PRAXIS (VAX --> VAX)l¨ 13 enddeclare $¨ 14 string1:="STR1" ; // valid)¨ 15 string2:="STR2" ; //should failrF¨Error Line <= 15: type of "string2" incompatible with type of "STR2"*¨ 16 string3:="STR3" ; // should failF¨Error Line <= 16: type of "string3" incompatible with type of "STR3"¨ 2 errors in f1p7d6¨Operation is incompletel>¨ F1P7D6 *** Compile-time error - Link & run skipped --------¨ ---- F1P7D6 Complete 1¨Previous value of SYS$ERROR has been superseded6-¨---------- F1P7D8 PRAXIS (VAX --> VAX)¨ 15 enddeclare"!¨ 16 string1:="FOUR" ; // ok:+¨ 17 string2:="FOUR" ; // should fail? F¨Error Line <= 17: type of "string2" incompatible with type of "FOUR"¨1 error in f1p7d8l¨Operation is incompleteo>¨ F1P7D8 *** Compile-time error - Link & run skipped --------¨ ---- F1P7D8 Completec1¨Previous value of SYS$ERROR has been superseded -¨---------- F1P7D9 PRAXIS (VAX --> VAX)¨ 15 achar : static char ¨ 16 enddeclare¨(¨ 17 string1:=a ; // CASE 1C¨Error Line <= 17: type of "string1" incompatible with type of "A" '¨ 18 string1:=$A ; // CASE 2oY¨Error Line <= 18: type of "string1" incompatible with type of "{constant} of type char"p(¨ 19 string2:=a ; // CASE 3C¨Error Line <= 19: type of "string2" incompatible with type of "A"c'¨ 20 string2:=$A ;// CASE 4sY¨Error Line <= 20: type of "string2" incompatible with type of "{constant} of type char" (¨ 21 achar:=string2 ; // CASE 5G¨Error Line <= 21: type of "achar" incompatible with type of "string2"w¨ 22 string1:="A ";(¨ 23 achar:=string1 ; // CASE 6G¨Error Line <= 23: type of "achar" incompatible with type of "string1" ¨ 24 string1:=" A";(¨ 25 achar:=string1 ; // CASE 7G¨Error Line <= 25: type of "achar" incompatible with type of "string1" ¨ 7 errors in f1p7d9¨Operation is incomplete2>¨ F1P7D9 *** Compile-time error - Link & run skipped --------¨ ---- F1P7D9 Complete 1¨Previous value of SYS$ERROR has been supersededt-¨---------- F2P1D3 PRAXIS (VAX --> VAX):¨ 5 Main module f2p1d3 #¨ 6 Import Writeln from Pascalio3+¨ 7 A3: writeln(" DEVIATES...6.2.1-3")s2¨Error Line <= 7: Syntax error at token "Writeln"¨syntax errors/¨1 error in f2p1d3e¨Operation is incompleteo>¨ F2P1D3 *** Compile-time error - Link & run skipped --------¨ ---- F2P1D3 Complete¨1¨Previous value of SYS$ERROR has been superseded -¨---------- F2P1D4 PRAXIS (VAX --> VAX)v ¨ 8 writeln(" DEVIATES") ¨ 9 if true <> false do>¨ 10 A9: block writeln("...6.2.1-4") endblock { A9 },¨Error Line <= 10: "A9" is multiply defined¨1 error in f2p1d4"¨Operation is incompletea>¨ F2P1D4 *** Compile-time error - Link & run skipped --------¨ ---- F2P1D4 Completel1¨Previous value of SYS$ERROR has been superseded -¨---------- F2P2D9 PRAXIS (VAX --> VAX)r0¨ 13 function f2(i:integer) returns f2:integer¨ 14 f2:=i4%¨ 15 f1:=5 ; // should fail herew;¨Error Line <= 15: Attempt to modify read-only object "f1"0¨1 error in f2p2d9i¨Operation is incomplete >¨ F2P2D9 *** Compile-time error - Link & run skipped --------¨ ---- F2P2D9 Completes1¨Previous value of SYS$ERROR has been supersededn+¨---------- F3D2 PRAXIS (VAX --> VAX)l¨ 6 declare¨ 7 dot = $.*¨ 8 plusdot = + dot ; // should fail.¨Error Line <= 8: "dot" must be numeric value¨1 error in f3d2i¨Operation is incomplete¨<¨ F3D2 *** Compile-time error - Link & run skipped --------¨ ---- F3D2 Complete 1¨Previous value of SYS$ERROR has been supersededi+¨---------- F3D3 PRAXIS (VAX --> VAX)-¨ 6 declare¨ 7 stars = "****"<¨ 8 plusstars = + stars ; // should compile time error0¨Error Line <= 8: "stars" must be numeric value¨1 error in f3d3 ¨Operation is incompletel<¨ F3D3 *** Compile-time error - Link & run skipped --------¨ ---- F3D3 Completer1¨Previous value of SYS$ERROR has been superseded*+¨---------- F3D4 PRAXIS (VAX --> VAX)-¨ 6 declare¨ 7 truth = true<¨ 8 plustruth = + truth ; // should compile time error0¨Error Line <= 8: "truth" must be numeric value=¨ 9 minustruth = - truth ; // should compile time errorp0¨Error Line <= 9: "truth" must be numeric value¨ 2 errors in f3d4¨Operation is incompletei<¨ F3D4 *** Compile-time error - Link & run skipped --------¨ ---- F3D4 Complete31¨Previous value of SYS$ERROR has been supersededs+¨---------- F3D5 PRAXIS (VAX --> VAX)X¨ 7 dot = $.¨ 8 enddeclarer¨ 9 if +dot = $. dos.¨Error Line <= 9: "dot" must be numeric value¨1 error in f3d5"¨Operation is incompletee<¨ F3D5 *** Compile-time error - Link & run skipped --------¨ ---- F3D5 Complete"1¨Previous value of SYS$ERROR has been superseded4-¨---------- F4P1D2 PRAXIS (VAX --> VAX)l:¨ 10 endstructure ; // should give compile-time errorE¨ 11 y is array[0..1] of y ;// should give compile time error-¨ 12 enddeclare ; //5¨Error Line <= 12: Circular type definition with "x"95¨Error Line <= 12: Circular type definition with "y"m¨ 2 errors in f4p1d2¨Operation is incompletel>¨ F4P1D2 *** Compile-time error - Link & run skipped --------¨ ---- F4P1D2 Complete"1¨Previous value of SYS$ERROR has been superseded4-¨---------- F4P1D3 PRAXIS (VAX --> VAX)l¨ ---- F4P1D3 Complete;1¨Previous value of SYS$ERROR has been supersededs/¨---------- F4P2P4D2 PRAXIS (VAX --> VAX)r¨***** type number 98#¨ 7 Import Writeln from Pascalio ¨ 8 declare;¨ 9 wiregauge is 0.001..0.2 ; // compile-time error8¨Error Line <= 9: discrete type, object, value required¨1 error in f4p2p4d2e¨Operation is incomplete-@¨ F4P2P4D2 *** Compile-time error - Link & run skipped --------¨ ---- F4P2P4D2 Complete-1¨Previous value of SYS$ERROR has been superseded1/¨---------- F4P2P4D3 PRAXIS (VAX --> VAX)e¨ 9 declare¨ 10 mixedup is 100..0 ¨ 11 reverse is $Z..$An?¨Error Line <= 10: lower > upper bound in case, range, or type¨ 12 enddeclare ?¨Error Line <= 12: lower > upper bound in case, range, or typer¨ 2 errors in f4p2p4d3¨Operation is incompletee@¨ F4P2P4D3 *** Compile-time error - Link & run skipped --------¨ ---- F4P2P4D3 Complete-1¨Previous value of SYS$ERROR has been supersededY/¨---------- F4P3P1D1 PRAXIS (VAX --> VAX)4¨ 8 declare$¨ 9 switch is packed[on,off].¨ 10 state is packed[high,low,invalid]H¨Error Line <= 9: Only arrays or structures may be specified as packed.$¨ 11 decade is packed 0..10I¨Error Line <= 10: Only arrays or structures may be specified as packed.¨ 12 enddeclaremI¨Error Line <= 12: Only arrays or structures may be specified as packed.¨¨ 3 errors in f4p3p1d1¨Operation is incomplete @¨ F4P3P1D1 *** Compile-time error - Link & run skipped --------¨ ---- F4P3P1D1 Complete91¨Previous value of SYS$ERROR has been supersededs/¨---------- F4P3P2D2 PRAXIS (VAX --> VAX)l¨***** type number 98#¨ 6 Import Writeln from Pascalioe¨ 7 declare0¨ 8 reeltest is array[1.5..10.1] of real8¨Error Line <= 8: discrete type, object, value required¨1 error in f4p3p2d2a¨Operation is incompletes@¨ F4P3P2D2 *** Compile-time error - Link & run skipped --------¨ ---- F4P3P2D2 Complete 1¨Previous value of SYS$ERROR has been superseded¨/¨---------- F4P3P2D5 PRAXIS (VAX --> VAX)$,¨ 10 s:static packed array[cl1] of char¨ 11 enddeclareX#¨ 12 s:="ABC" ; // should fail?¨Error Line <= 12: type of "s" incompatible with type of "ABC"e¨1 error in f4p3p2d51¨Operation is incomplete<@¨ F4P3P2D5 *** Compile-time error - Link & run skipped --------¨ ---- F4P3P2D5 Completes1¨Previous value of SYS$ERROR has been supersededk/¨---------- F4P3P4D3 PRAXIS (VAX --> VAX)v¨***** type number 98.¨ 10 urray is array[1..4] of integer>¨ 11 setone is set of real // case 1>¨ 12 settwo is set of structure a : 0..3 endstructure9¨Error Line <= 11: discrete type, object, value requiredC¨***** type number 107;¨ 13 setthree = set of array[1..5] of real // case 3r9¨Error Line <= 12: discrete type, object, value requireds/¨Error Line <= 13: Syntax error at token "set"e;¨ 14 setfour = set of urray // case 4 /¨Error Line <= 14: Syntax error at token "set".¨syntax errors¨¨ 4 errors in f4p3p4d3¨Operation is incompletea@¨ F4P3P4D3 *** Compile-time error - Link & run skipped --------¨ ---- F4P3P4D3 Completec1¨Previous value of SYS$ERROR has been supersededm-¨---------- F4P4D2 PRAXIS (VAX --> VAX)5¨ 10 pointer1 : static t ¨ 11 pointer2 : static yc9¨ 12 enddeclare ; // missing type decl in decalre blocke1¨Error Line <= 12: "rekord" is an undefined type 5¨Error Line <= 12: Circular type definition with "y" "¨ 13 pointer1 := allocate t()¨ 14 pointer1:=nil¨3¨ 15 pointer2 := allocate y() ; // should faile&¨Error Line <= 15: type name required¨ 3 errors in f4p4d2¨Operation is incompleteO>¨ F4P4D2 *** Compile-time error - Link & run skipped --------¨ ---- F4P4D2 Complete11¨Previous value of SYS$ERROR has been superseded2-¨---------- F4P4D3 PRAXIS (VAX --> VAX)l¨ 11 enddeclare<¨ 12 x:=10 ¨ 13 p:=@x ; // fail here-¨Error Line <= 13: Syntax error at token "@" ¨syntax errors ¨1 error in f4p4d3 ¨Operation is incomplete >¨ F4P4D3 *** Compile-time error - Link & run skipped --------¨ ---- F4P4D3 Complete 1¨Previous value of SYS$ERROR has been supersededF.¨---------- F4P5D10 PRAXIS (VAX --> VAX)*¨ 11 colour : static [red,green,blue]¨ 12 enddeclareR¨ 13 if red < 0 doD¨Error Line <= 13: type of "red" incompatible with type of " 0"I¨Error Line <= 13: improper operator between type of "{nil}" and "{nil}"e¨ 2 errors in f4p5d10x¨Operation is incompleted?¨ F4P5D10 *** Compile-time error - Link & run skipped ---------¨ ---- F4P5D10 Complete1¨Previous value of SYS$ERROR has been supersededY.¨---------- F4P5D11 PRAXIS (VAX --> VAX)¨ 7 Main module f4p5d11 #¨ 8 Import Writeln from Pascalio]¨ 9 if "CAT" < "HOUND" dofB¨Error Line <= 9: type of "CAT" incompatible with type of "HOUND"H¨Error Line <= 9: improper operator between type of "{nil}" and "{nil}"¨ 2 errors in f4p5d11r¨Operation is incompleteo?¨ F4P5D11 *** Compile-time error - Link & run skipped --------s¨ ---- F4P5D11 Complete1¨Previous value of SYS$ERROR has been superseded -¨---------- F4P5D2 PRAXIS (VAX --> VAX)S¨ ---- F4P5D2 CompleteM1¨Previous value of SYS$ERROR has been supersededm-¨---------- F4P5D4 PRAXIS (VAX --> VAX)¨¨ 26 recordtwo.c:=0 ;¨ 27 recordtwo.d:=true ;O/¨ 28 test(recordtwo) ; // should fail herenG¨Error Line <= 28: type of "rec" incompatible with type of "recordtwo"i¨1 error in f4p5d41¨Operation is incompletei>¨ F4P5D4 *** Compile-time error - Link & run skipped --------¨ ---- F4P5D4 Completee1¨Previous value of SYS$ERROR has been supersededX-¨---------- F4P6D5 PRAXIS (VAX --> VAX)s¨ ---- F4P6D5 Completee1¨Previous value of SYS$ERROR has been supersededX-¨---------- F4P6D7 PRAXIS (VAX --> VAX) ¨ 17 enddeclare;#¨ 18 settwo:=sub2(pink,yellow)o6¨ 19 setone:=settwo ; // should be an errorG¨Error Line <= 19: type of "setone" incompatible with type of "settwo"c¨1 error in f4p6d7*¨Operation is incomplete >¨ F4P6D7 *** Compile-time error - Link & run skipped --------¨ ---- F4P6D7 Completes1¨Previous value of SYS$ERROR has been superseded>-¨---------- F4P6D8 PRAXIS (VAX --> VAX)l¨ 15 endprocedure {test}'¨ 16 setone:=sub1(red,pink,orange) ?¨ 17 test(setone) ; // should give compile-time error hereeB¨Error Line <= 17: type of "A" incompatible with type of "setone"¨1 error in f4p6d8o¨Operation is incompleteh>¨ F4P6D8 *** Compile-time error - Link & run skipped --------¨ ---- F4P6D8 Completel1¨Previous value of SYS$ERROR has been superseded -¨---------- F6P1D6 PRAXIS (VAX --> VAX) ;¨ 18 writeln(" DEVIATES...6.6.1-6, FORWARD PROCEDURE")>¨ 19 endmodule?¨Error Line <= 19: forward routine declaration is not resolved7"¨Exception raised and not caught:¨No_PSect_Set/¨Breakpoint fault at PC=0003E053, PSL=03C00000b¨Symbolic stack dump followsrP¨module name routine name line rel PC abs PC O¨PRXRMS OBJ_PUT 0000055F 0003E053 O¨OBJFIL3 $CODE1 00001246 0003DA4ArO¨OBJOUT $CODE1 000005D6 00016F2D¨ F6P1D6 *** Compile-time error - Link & run skipped --------¨ ---- F6P1D6 CompleteD1¨Previous value of SYS$ERROR has been superseded /¨---------- F6P3P1D4 PRAXIS (VAX --> VAX)I¨ 17 declare ¨ 18 x : integer¨ 19 enddeclare+¨Error Line <= 19: "x" is multiply defined ¨ 20 x:=2*x1¨ 21 writeln(" DEVIATES...6.6.3.1-4 : x=",x) ¨ 22 endprocedure {deviates}D¨Error Line <= 21: duplicate or extra argument in call to "Writeln"L¨Error Line <= 21: Statement skiped (halt) due to previously reported error¨ 24 declare-¨ 25 x : integer¨ 26 enddeclare+¨Error Line <= 26: "x" is multiply defined ¨ 28 x:=2*x1¨ 29 writeln(" DEVIATES...6.6.3.1-4 : x=",x)x¨ 30 endprocedure {deviates1}D¨Error Line <= 29: duplicate or extra argument in call to "Writeln"L¨Error Line <= 29: Statement skiped (halt) due to previously reported error¨ 6 errors in F6p3p1d4¨Operation is incomplete @¨ F6P3P1D4 *** Compile-time error - Link & run skipped --------¨ ---- F6P3P1D4 Complete¨1¨Previous value of SYS$ERROR has been superseded /¨---------- F6P3P4D2 PRAXIS (VAX --> VAX) ¨ 19 d:=2 ¨ 20 endfunction {d}/¨ 21 a(c); // this call should be illegalc:¨Error Line <= 21: Attempt to modify read-only object "c"¨1 error in F6p3p4d1t¨Operation is incompletet@¨ F6P3P4D2 *** Compile-time error - Link & run skipped --------¨ ---- F6P3P4D2 Completeo1¨Previous value of SYS$ERROR has been supersededr/¨---------- F6P3P5D2 PRAXIS (VAX --> VAX)C¨ 15 k:=formal(10)e¨ 16 endprocedure { p})¨ 17 p(actual); // this should fail G¨Error Line <= 17: type of "formal" incompatible with type of "actual")¨1 error in F6p3p5d2b¨Operation is incomplete @¨ F6P3P5D2 *** Compile-time error - Link & run skipped --------¨ ---- F6P3P5D2 Completet1¨Previous value of SYS$ERROR has been supersededk/¨---------- F6P3P6D1 PRAXIS (VAX --> VAX)v$¨source file specification in error¨RMS service error @¨ F6P3P6D1 *** Compile-time error - Link & run skipped --------D¨Error searching for _DUB0:[PRAXISDEV.PRODUCTS.SUITE]F6P3P6D1.OBJ;*¨File not found¨ ---- F6P3P6D1 Complete 1¨Previous value of SYS$ERROR has been supersededp/¨---------- F6P3P6D2 PRAXIS (VAX --> VAX)i¨ 15 formal( j, 10)e¨ 16 endprocedure {p}; 2-¨ 17 p(actual); // this should be illegaleG¨Error Line <= 17: type of "formal" incompatible with type of "actual"e¨1 error in F6p3p6d2e¨Operation is incomplete@¨ F6P3P6D2 *** Compile-time error - Link & run skipped --------¨ ---- F6P3P6D2 Complete:1¨Previous value of SYS$ERROR has been supersededt/¨---------- F6P3P6D3 PRAXIS (VAX --> VAX)l¨ 16 formal(k,l)n¨ 17 endprocedure {p}; $¨ 18 p(actual) ; // should failG¨Error Line <= 18: type of "formal" incompatible with type of "actual" ¨1 error in F6p3p6d3a¨Operation is incompletee@¨ F6P3P6D3 *** Compile-time error - Link & run skipped --------¨ ---- F6P3P6D3 Completem1¨Previous value of SYS$ERROR has been superseded /¨---------- F6P3P6D4 PRAXIS (VAX --> VAX)¨ 15 formal( j, 10)O¨ 16 endprocedure {p}; -.¨ 17 p(actual); // illegal, ref versus valG¨Error Line <= 17: type of "formal" incompatible with type of "actual"/¨1 error in f6p3p6d2i¨Operation is incompletei@¨ F6P3P6D4 *** Compile-time error - Link & run skipped --------¨ ---- F6P3P6D4 CompleteP1¨Previous value of SYS$ERROR has been superseded-/¨---------- F6P3P6D5 PRAXIS (VAX --> VAX)l¨ 15 formal( j, 10)p¨ 16 endprocedure {p}; 30¨ 17 p(actual); // illegal, out versus inoutG¨Error Line <= 17: type of "formal" incompatible with type of "actual" ¨1 error in F6p3p6d2e¨Operation is incompletec@¨ F6P3P6D5 *** Compile-time error - Link & run skipped --------¨ ---- F6P3P6D5 CompleteP1¨Previous value of SYS$ERROR has been superseded-/¨---------- F6P6P1D1 PRAXIS (VAX --> VAX)e)¨ 9 z : static integer initially -5-¨ 10 enddeclareA3¨ 11 z:=quidnunk(abs); // is this allowed? K¨Error Line <= 11: function, converter, or structure constructor incorrectr¨1 error in f6p6p1d1 ¨Operation is incompletet@¨ F6P6P1D1 *** Compile-time error - Link & run skipped --------¨ ---- F6P6P1D1 Complete-1¨Previous value of SYS$ERROR has been superseded6/¨---------- F6P6P3D3 PRAXIS (VAX --> VAX)a¨ ---- F6P6P3D3 Complete-1¨Previous value of SYS$ERROR has been superseded /¨---------- F6P6P3D4 PRAXIS (VAX --> VAX)r¨ 13 i:=1979=+¨ 14 k := integer(i) ; // this is ok '¨ 15 k := round(i+1); // illegaltN¨Error Line <= 15: Real value required for ROUND, FLOOR, CEILING, or TRUNCATE%¨ 16 k := floor(i) ; //illegalnN¨Error Line <= 16: Real value required for ROUND, FLOOR, CEILING, or TRUNCATE'¨ 17 k := ceiling(i) ; //illegal6N¨Error Line <= 17: Real value required for ROUND, FLOOR, CEILING, or TRUNCATE-¨ 18 k := floor( unlocked) ; //illegal N¨Error Line <= 18: Real value required for ROUND, FLOOR, CEILING, or TRUNCATE¨ 4 errors in f6p6p3d4¨Operation is incompletel@¨ F6P6P3D4 *** Compile-time error - Link & run skipped --------¨ ---- F6P6P3D4 Complete61¨Previous value of SYS$ERROR has been superseded6/¨---------- F6P6P4D4 PRAXIS (VAX --> VAX)o%¨ 11 ordinal : static enumerated ¨ 12 enddeclareo)¨ 13 ordinal:=succ(last); // illegal,K¨Error Line <= 13: Range check on assign of "|state_decl|last" to "{succ}"L¨Error Line <= 13: Statement skiped (halt) due to previously reported error¨ 2 errors in f6p6p4d4¨Operation is incompletel@¨ F6P6P4D4 *** Compile-time error - Link & run skipped --------¨ ---- F6P6P4D4 Complete61¨Previous value of SYS$ERROR has been superseded6/¨---------- F6P6P4D6 PRAXIS (VAX --> VAX)o¨***** type number 98¨ 9 enddeclare ¨ 10 x:=0.3+¨ 11 if (succ(x)>x) and (pred(x) VAX)V¨ 9 enddeclaren¨ 10 x:=1.0¨ 11 if odd(x) do=¨Error Line <= 11: type of "i" incompatible with type of "x"i¨1 error in f6p6p5d3,¨Operation is incomplete¨@¨ F6P6P5D3 *** Compile-time error - Link & run skipped --------¨ ---- F6P6P5D3 Completer1¨Previous value of SYS$ERROR has been supersededP/¨---------- F7P2P2D9 PRAXIS (VAX --> VAX) ¨ 10 d : char¨ 11 enddeclare¨!¨ 12 d := +capa ; // illegaln0¨Error Line <= 12: "capa" must be numeric value¨1 error in f7p2p2d9d¨Operation is incomplete@¨ F7P2P2D9 *** Compile-time error - Link & run skipped --------¨ ---- F7P2P2D9 Completer1¨Previous value of SYS$ERROR has been supersededP/¨---------- F7P2P3D4 PRAXIS (VAX --> VAX) ¨ 9 enddeclare6¨ 10 i:=1 ; j:=2; ¨ 11 i:=i and j; // illegalA¨Error Line <= 11: improper operator between type of "i" and "j"0 ¨ 12 i:=i and 1; // illegalF¨Error Line <= 12: improper operator between type of "i" and " 1" ¨ 13 i:= i or j; // illegalA¨Error Line <= 13: improper operator between type of "i" and "j"- ¨ 14 i:=i or j; // illegalA¨Error Line <= 14: improper operator between type of "i" and "j"r¨ 15 i:= not j; // illegalPC¨Error Line <= 15: type of "j" incompatible with type of "boolean"¨¨ 5 errors in f7p2p3d4¨Operation is incompleter@¨ F7P2P3D4 *** Compile-time error - Link & run skipped --------¨ ---- F7P2P3D4 Complete 1¨Previous value of SYS$ERROR has been superseded /¨---------- F7P2P4D1 PRAXIS (VAX --> VAX)e¨ ---- F7P2P4D1 Completee1¨Previous value of SYS$ERROR has been superseded//¨---------- F7P2P5D4 PRAXIS (VAX --> VAX)e¨ 12 y:=2¨ 13 z:=3!¨ 14 b:=(x VAX)¨ 13 for i:= 1 to 4 do¨ 14 r:=i ¨ 15 select r from=¨Error Line <= 14: type of "r" incompatible with type of "i" ¨***** type number 98)¨ 16 case 1.0: counter:=counter+1e9¨Error Line <= 16: discrete type, object, value requiredr¨***** type number 98)¨ 17 case 2.0: counter:=counter+1-9¨Error Line <= 17: discrete type, object, value requiredC¨***** type number 98)¨ 18 case 3.0: counter:=counter+1-9¨Error Line <= 18: discrete type, object, value required ¨***** type number 98)¨ 19 case 4e0: counter:=counter+1i9¨Error Line <= 19: discrete type, object, value required*¨ 20 endselect¨ 21 endfor3¨Error Line <= 21: range overlap on case "{range}"p3¨Error Line <= 21: range overlap on case "{range}"3¨Error Line <= 21: range overlap on case "{range}"i¨ 25 endife¨ 26 endmodule9¨Error Line <= 26: discrete type, object, value required.9¨Error Line <= 26: discrete type, object, value requiredo¨ 10 errors in f8p3p5d10*¨Operation is incomplete A¨ F8P3P5D10 *** Compile-time error - Link & run skipped --------p¨ ---- F8P3P5D10 Complete1¨Previous value of SYS$ERROR has been supersededi0¨---------- F8P3P5D11 PRAXIS (VAX --> VAX)'¨ 19 case 4: counter:=counter+1g¨ 20 endselect¨ 21 endforS¨Error Line <= 21: type of "r" incompatible with type of "{range} of type INTEGER"p¨1 error in f8p3p5d11¨Operation is incompletecA¨ F8P3P5D11 *** Compile-time error - Link & run skipped --------¨¨ ---- F8P3P5D11 Complete1¨Previous value of SYS$ERROR has been supersededp0¨---------- F8P3P5D13 PRAXIS (VAX --> VAX)&¨ 16 case b: t:=pred(thing)¨ 17 endselect;¨ 18 writeln(" DEVIATES...6.8.3.5-13, CASE CONSTANTS")oD¨Error Line <= 17: range overlap on case "{range}enum_type ¨"e¨1 error in f8p3p5d13¨Operation is incompleteIA¨ F8P3P5D13 *** Compile-time error - Link & run skipped --------P¨ ---- F8P3P5D13 Complete1¨Previous value of SYS$ERROR has been superseded /¨---------- F8P3P5D3 PRAXIS (VAX --> VAX)s¨***** type number 106¨ 15 case $b: i:=i+1¨ 16 case $c: i:=i+1*¨ 17 case "e": i:=i+1 ; // illegal9¨Error Line <= 17: discrete type, object, value required¨¨1 error in f8p3p5d3 ¨Operation is incompletem@¨ F8P3P5D3 *** Compile-time error - Link & run skipped --------¨ ---- F8P3P5D3 Completem1¨Previous value of SYS$ERROR has been superseded-/¨---------- F8P3P5D7 PRAXIS (VAX --> VAX)R¨***** type number 98¨ 11 select i from¨ 12 case 1,2: a:=1 =¨ 13 case 2.5: writeln(" DEVIATES...6.8.3.5-7. CASE")s9¨Error Line <= 13: discrete type, object, value required¨¨***** type number 98¨ 14 case 3: a:=2¨=¨ 15 case 4e0: writeln(" DEVIATES...6.8.3.5-7, CASE")D9¨Error Line <= 15: discrete type, object, value required-¨ 16 endselect¨ 17 endfor3¨Error Line <= 17: range overlap on case "{range}"5¨ 3 errors in f8p3p5d7¨Operation is incomplete@¨ F8P3P5D7 *** Compile-time error - Link & run skipped --------¨ ---- F8P3P5D7 CompleteV1¨Previous value of SYS$ERROR has been supersededc/¨---------- F8P3P5D9 PRAXIS (VAX --> VAX)n,¨ 21 case three: counter:=counter+1;+¨ 22 case four: counter:=counter+1;.¨ 23 endselect ;S¨Error Line <= 23: type of "i" incompatible with type of "{range} of type INTEGER"f¨1 error in f8p3p5d9 ¨Operation is incompleteg@¨ F8P3P5D9 *** Compile-time error - Link & run skipped --------¨ ---- F8P3P5D9 Completer1¨Previous value of SYS$ERROR has been supersededC0¨---------- F8P3P9D11 PRAXIS (VAX --> VAX)¨ 11 endstructure¨ 12 enddeclare ¨ 13 for rec.i:=0 to 10 dos-¨Error Line <= 13: Syntax error at token "." ¨ 14 rec.j := rec.i¨¨ 15 endfor2¨Error Line <= 15: Syntax error at token "endfor"¨syntax errorsg¨ 2 errors in f8p3p9d11o¨Operation is incomplete A¨ F8P3P9D11 *** Compile-time error - Link & run skipped --------p¨ ---- F8P3P9D11 Complete1¨Previous value of SYS$ERROR has been supersededn0¨---------- F8P3P9D12 PRAXIS (VAX --> VAX)¨ 13 j:=0¨ 14 ptr := allocate int()e ¨ 15 for ptr@ := 0 to 10 do-¨Error Line <= 15: Syntax error at token "@"e¨ 16 j:=j+1r¨ 17 endfor2¨Error Line <= 17: Syntax error at token "endfor"¨syntax errors¨¨ 2 errors in f8p3p9d12s¨Operation is incomplete A¨ F8P3P9D12 *** Compile-time error - Link & run skipped --------i¨ ---- F8P3P9D12 Complete1¨Previous value of SYS$ERROR has been supersedede0¨---------- F8P3P9D18 PRAXIS (VAX --> VAX)¨ 15 m:=m+13¨ 16 endfor ¨ 17 i := pink ; // illegal$¨Error Line <= 17: "i" is undefined¨ 18 if i= pink doo$¨Error Line <= 18: "i" is undefined¨ 2 errors in f8p3p9d187¨Operation is incompletedA¨ F8P3P9D18 *** Compile-time error - Link & run skipped --------s¨ ---- F8P3P9D18 Complete1¨Previous value of SYS$ERROR has been supersededi/¨---------- F8P3P9D5 PRAXIS (VAX --> VAX) ¨ 14 m:=m+1p¨ 15 endfor)¨ 16 i := 100; // illegal assignment¨$¨Error Line <= 16: "i" is undefined¨1 error in f8p3p9d5/¨Operation is incomplete7@¨ F8P3P9D5 *** Compile-time error - Link & run skipped --------¨ ---- F8P3P9D5 Completer1¨Previous value of SYS$ERROR has been supersededF/¨---------- F8P3P9D6 PRAXIS (VAX --> VAX)p¨ 14 m:=m+1 ¨ 15 endfor*¨ 16 i := 100 ; // illegal assignment$¨Error Line <= 16: "i" is undefined¨1 error in f8p3p9d6¨¨Operation is incomplete @¨ F8P3P9D6 *** Compile-time error - Link & run skipped --------¨ ---- F8P3P9D6 Complete¨1¨Previous value of SYS$ERROR has been superseded¨/¨---------- F8P3P9D8 PRAXIS (VAX --> VAX)p¨ 15 j:=j+1 ¨ 16 endfor { kl }v2¨ 17 j := i * 2 ; // illegal: i is undefined$¨Error Line <= 17: "i" is undefined¨1 error in f8p3p9d8+¨Operation is incomplete6@¨ F8P3P9D8 *** Compile-time error - Link & run skipped --------¨ ---- F8P3P9D8 Completep1¨Previous value of SYS$ERROR has been supersededo0¨---------- F001OPTNL PRAXIS (VAX --> VAX)¨ 37 "¨ 38 optio(y:flag) ; // no args"¨ 39 optio( y:false) ; // fail>¨Error Line <= 39: Attempt to modify read-only object "false"¨1 error in f001OPTNL¨Operation is incomplete;A¨ F001OPTNL *** Compile-time error - Link & run skipped --------¨ ---- F001OPTNL Complete1¨Previous value of SYS$ERROR has been supersedede0¨---------- F002OPTNL PRAXIS (VAX --> VAX)¨ 36 endprocedure { optio }o¨ 37 "¨ 38 optio( y:false) ; // fail>¨Error Line <= 38: Attempt to modify read-only object "false" ¨ 39 optio( x: 114) ; //fail?¨Error Line <= 39: Attempt to modify read-only object " 114"o&¨ 40 optio( 5,3.12,false) ; //fail?¨Error Line <= 40: Attempt to modify read-only object " 5"oS¨Error Line <= 40: Attempt to modify read-only object "{constant} of type boolean"$¨ 4 errors in F002OPTNL¨¨Operation is incompleteXA¨ F002OPTNL *** Compile-time error - Link & run skipped -------- ¨ ---- F002OPTNL Complete1¨Previous value of SYS$ERROR has been superseded 0¨---------- F005OPTNL PRAXIS (VAX --> VAX)¨ 19 param98¨ 20 p : optional procedure() initially 0 // illegal8¨ 21 z : optional integer initially 3.114 // illegalL¨Error Line <= 20: type of "{procedure}" incompatible with type of " 0"?¨ 22 r : optional inout cardinal initially 8#100 // illegal0^¨Error Line <= 21: type of "INTEGER" incompatible with type of "{real_constant} of type REAL"F¨ 23 h : optional inout ref interlock initially true // illegal]¨Error Line <= 22: type of "CARDINAL" incompatible with type of "{constant} of type LOGICAL" ¨ 24 endparamH¨Error Line <= 24: type of "interlock" incompatible with type of "true"¨ 4 errors in F005OPTNL0¨Operation is incompleteoA¨ F005OPTNL *** Compile-time error - Link & run skipped -------- ¨ ---- F005OPTNL Complete1¨Previous value of SYS$ERROR has been supersedede/¨---------- F001SIZE PRAXIS (VAX --> VAX) ¨ ---- F001SIZE Completee1¨Previous value of SYS$ERROR has been supersedede0¨---------- F001CONST PRAXIS (VAX --> VAX)¨ 32 endguard ¨ 33 endmodule { F001CONST }@¨Error Line <= 33: Range check on assign of "100000" to "count""¨Exception raised and not caught:¨No_PSect_Set/¨Breakpoint fault at PC=0003E053, PSL=03C00000r¨Symbolic stack dump follows-P¨module name routine name line rel PC abs PC O¨PRXRMS OBJ_PUT 0000055F 0003E053¨O¨OBJFIL3 $CODE1 00001246 0003DA4ASO¨OBJOUT $CODE1 000005D6 00016F2D VAX)¨ 18 declare -¨ 19 sf is array[stage,command,status]1¨ 20 mymy : sfU0¨Error Line <= 20: Syntax error at token "mymy"¨syntax errorsR¨1 error in F001DIAGN¨Operation is incomplete A¨ F001DIAGN *** Compile-time error - Link & run skipped -------- ¨ ---- F001DIAGN Complete1¨Previous value of SYS$ERROR has been supersededk0¨---------- F002DIAGN PRAXIS (VAX --> VAX)¨ 20 mymy : sf¨ 21 enddeclare-¨ 22 writeln( " Deviates....F002DIAGN ") 0¨Error Line <= 21: "lower" is an undefined type0¨Error Line <= 21: "green" is an undefined type.¨Error Line <= 21: "red" is an undefined type0¨Error Line <= 21: "stage" is an undefined type¨***** type number 09¨Error Line <= 21: discrete type, object, value required-¨***** type number 09¨Error Line <= 21: discrete type, object, value requirede¨***** type number 09¨Error Line <= 21: discrete type, object, value requiredn¨***** type number 09¨Error Line <= 21: discrete type, object, value required ¨ 8 errors in F002DIAGN ¨Operation is incompletenA¨ F002DIAGN *** Compile-time error - Link & run skipped --------o¨ ---- F002DIAGN Complete1¨Previous value of SYS$ERROR has been supersededi/¨---------- F001INIT PRAXIS (VAX --> VAX)¨ 21 s is structure/¨ 22 next : ptr initially allocate ptr()rM¨ 23 next2 : ptr initially allocate ptr(arr([1..545]:$A)) ; // illegalv@¨Error Line <= 22: Compile-time heap allocation not implemented+¨Error Line <= 22: constant value requiredr@¨Error Line <= 23: Compile-time heap allocation not implemented+¨Error Line <= 23: constant value required-¨ 4 errors in f002init¨Operation is incomplete$@¨ F001INIT *** Compile-time error - Link & run skipped --------¨ ---- F001INIT Completes1¨Previous value of SYS$ERROR has been superseded /¨---------- F001FLEX PRAXIS (VAX --> VAX)e ¨ 24 f[2] := char(I *100)/¨ 25 endfunction ; // error in returns speciK¨ 26 ar[23] := zap( count ) ;// bad news, err should appear before thiseV¨Error Line <= 26: type of "ar[]" incompatible with type of "{call}formal_array ¨"i¨1 error in F001FLEX ¨Operation is incompletec@¨ F001FLEX *** Compile-time error - Link & run skipped --------¨ ---- F001FLEX CompleteC1¨Previous value of SYS$ERROR has been supersededp/¨---------- F002FLEX PRAXIS (VAX --> VAX)- ¨ 24 f[2] := char(I *100)/¨ 25 endfunction ; // error in returns specrK¨ 26 ar[23] := zap( count ) ;// bad news, err should appear before thisoV¨Error Line <= 26: type of "ar[]" incompatible with type of "{call}formal_array ¨" ¨1 error in F002FLEXF¨Operation is incompletec@¨ F002FLEX *** Compile-time error - Link & run skipped --------¨ ---- F002FLEX CompleteC