Update of /cvsroot/monetdb/MonetDB5/tests/BugsViaSourgeforce/Tests
In directory
sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv31571/tests/BugsViaSourgeforce/Tests
Modified Files:
ID.1023816.stable.out ID.1024615.stable.out
ID.605953.stable.out ID.642344.stable.out
ID.905495s.stable.out ID.914159.stable.out
Log Message:
The output of the instructions is cleaned up.
Amongst others, the properties of instructions are also displayed.
U = types not yet resolved
P = polymorphic instruction
G = subject to garbage control
R = subject to recycler control
J = jump towards other statement
A few tests are not handled yet.
Index: ID.1024615.stable.out
===================================================================
RCS file:
/cvsroot/monetdb/MonetDB5/tests/BugsViaSourgeforce/Tests/ID.1024615.stable.out,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -d -r1.27 -r1.28
--- ID.1024615.stable.out 2 Jan 2008 10:46:15 -0000 1.27
+++ ID.1024615.stable.out 15 Mar 2008 19:37:30 -0000 1.28
@@ -90,78 +90,77 @@
##Identifer 'seqbase' mapped to 'bat.setSequenceBase'
#
!TypeException:user.main[18]:'mil.take' undefined in: BAT_WRITE:any :=
mil.take(_21:str)
-
-function user.main():void; # 0 (main:void)
-# Monet Mil to Mal compiler # 1 (_1:str)
-# Copyright (c) 2001-2004, CWI. All rights reserved. # 2 (_2:str)
-#Predefined code segment # 3 (_3:str)
-#The compiler can not guarantee an accurate compilation, # 4 (_4:str)
-#because MIL unlike MAL is a dynamically typed language. # 5 (_5:str)
-#A few guidelines to maximize usefullness. # 6 (_6:str)
-#- make the type of variables explicit, in particular 'nil' # 7 (_7:str)
-#- upon advice of M2m to remap identifiers, change it in your program directly
# 8 (_8:str)
-#use the "mil_schema" for additional support routines # 9 (_9:str)
-# io.print("var b1 := bat(oid,str);"); # 10 (_10:str)
- b1 := bat.new(nil:oid,nil:str); # 11 CMDBATnew
(b1:bat[:oid,:str])<-(_12:oid)(_13:str)
-# io.print("b1.reverse().sort().reverse().print();"); # 12 (_14:str)
- aa_a := bat.reverse(b1); # 13 BKCreverse
(aa_a:bat[:str,:oid])<-(b1:bat[:oid,:str])
- ba_a := algebra.sort(aa_a); # 14 ALGhsort
(ba_a:bat[:str,:oid])<-(aa_a:bat[:str,:oid])
- ca_a := bat.reverse(ba_a); # 15 BKCreverse
(ca_a:bat[:oid,:str])<-(ba_a:bat[:str,:oid])
- da_a := io.print(ca_a); # 16 IOprint_val
(da_a:void)<-(ca_a:bat[:oid,:str])
-# io.print("b1.access(BAT_WRITE);"); # 17 (_19:str)
- BAT_WRITE := mil.take("BAT_WRITE"); # 18 unknown
(BAT_WRITE:any)<-(_21:str)
- ea_a := bat.setWriteMode(b1); # 19 BKCsetWriteMode
(ea_a:bat[:oid,:str])<-(b1:bat[:oid,:str])
-# io.print("b1.reverse().sort().reverse().print();"); # 20 (_14:str)
- fa_a := bat.reverse(b1); # 21 BKCreverse
(fa_a:bat[:str,:oid])<-(b1:bat[:oid,:str])
- ga_a := algebra.sort(fa_a); # 22 ALGhsort
(ga_a:bat[:str,:oid])<-(fa_a:bat[:str,:oid])
- ha_a := bat.reverse(ga_a); # 23 BKCreverse
(ha_a:bat[:oid,:str])<-(ga_a:bat[:str,:oid])
- ia_a := io.print(ha_a); # 24 IOprint_val
(ia_a:void)<-(ha_a:bat[:oid,:str])
-# io.print("var b2 := bat(void,str);"); # 25 (_27:str)
- b2 := bat.new(nil:oid,nil:str); # 26 CMDBATnew
(b2:bat[:oid,:str])<-(_12:oid)(_13:str)
-# io.print("b2.seqbase(oid(10));"); # 27 (_30:str)
- ja_a := calc.oid(10); # 28 CALCint2oid (ja_a:oid)<-(_32:int)
-# io.print("b2.reverse().sort().reverse().print();"); # 29 (_33:str)
- la_a := bat.reverse(b2); # 30 BKCreverse
(la_a:bat[:str,:oid])<-(b2:bat[:oid,:str])
- ma_a := algebra.sort(la_a); # 31 ALGhsort
(ma_a:bat[:str,:oid])<-(la_a:bat[:str,:oid])
- na_a := bat.reverse(ma_a); # 32 BKCreverse
(na_a:bat[:oid,:str])<-(ma_a:bat[:str,:oid])
- oa_a := io.print(na_a); # 33 IOprint_val
(oa_a:void)<-(na_a:bat[:oid,:str])
-# io.print("b2.access(BAT_WRITE);"); # 34 (_37:str)
- pa_a := bat.setWriteMode(b2); # 35 BKCsetWriteMode
(pa_a:bat[:oid,:str])<-(b2:bat[:oid,:str])
-# io.print("b2.reverse().sort().reverse().print();"); # 36 (_32:str)
- qa_a := bat.reverse(b2); # 37 BKCreverse
(qa_a:bat[:str,:oid])<-(b2:bat[:oid,:str])
- ra_a := algebra.sort(qa_a); # 38 ALGhsort
(ra_a:bat[:str,:oid])<-(qa_a:bat[:str,:oid])
- sa_a := bat.reverse(ra_a); # 39 BKCreverse
(sa_a:bat[:oid,:str])<-(ra_a:bat[:str,:oid])
- ta_a := io.print(sa_a); # 40 IOprint_val
(ta_a:void)<-(sa_a:bat[:oid,:str])
-# io.print("var b3 := mirror(b2);"); # 41 (_43:str)
- b3 := bat.mirror(b2); # 42 BKCmirror
(b3:bat[:oid,:oid])<-(b2:bat[:oid,:str])
-# io.print("b3.print();"); # 43 (_45:str)
- ua_a := io.print(b3); # 44 IOprint_val
(ua_a:void)<-(b3:bat[:oid,:oid])
-# io.print("var b4 := b3.reverse().join(b2);"); # 45 (_47:str)
- va_a := bat.reverse(b3); # 46 BKCreverse
(va_a:bat[:oid,:oid])<-(b3:bat[:oid,:oid])
- b4 := algebra.join(va_a,b2); # 47 ALGjoin
(b4:bat[:oid,:str])<-(va_a:bat[:oid,:oid])(b2:bat[:oid,:str])
-# io.print("b4.print();"); # 48 (_50:str)
- wa_a := io.print(b4); # 49 IOprint_val
(wa_a:void)<-(b4:bat[:oid,:str])
-# io.print("# next line produced an incorrect error \n"); # 50
(_52:str)
-# io.print("# ERROR: CMDsort: returned BAT has unexpected head.\n");
# 51 (_53:str)
- xa_a := bat.reverse(b4); # 52 BKCreverse
(xa_a:bat[:str,:oid])<-(b4:bat[:oid,:str])
- ya_a := algebra.sort(xa_a); # 53 ALGhsort
(ya_a:bat[:str,:oid])<-(xa_a:bat[:str,:oid])
- ab_a := bat.reverse(ya_a); # 54 BKCreverse
(ab_a:bat[:oid,:str])<-(ya_a:bat[:str,:oid])
- bb_a := io.print(ab_a); # 55 IOprint_val
(bb_a:void)<-(ab_a:bat[:oid,:str])
-# io.print("#mini mil example\n"); # 56 (_60:str)
-# io.print("var b2 := bat(void,str);"); # 57 (_61:str)
- b2 := bat.new(nil:oid,nil:str); # 58 CMDBATnew
(b2:bat[:oid,:str])<-(_62:oid)(_63:str)
-# io.print("b2.seqbase(oid(10));"); # 59 (_64:str)
-# io.print("var b3 := mirror(b2);"); # 60 (_65:str)
- b3 := bat.mirror(b2); # 61 BKCmirror
(b3:bat[:oid,:oid])<-(b2:bat[:oid,:str])
-# io.print("var b4 := b3.reverse().join(b2);"); # 62 (_47:str)
- eb_a := bat.reverse(b3); # 63 BKCreverse
(eb_a:bat[:oid,:oid])<-(b3:bat[:oid,:oid])
- b4 := algebra.join(eb_a,b2); # 64 ALGjoin
(b4:bat[:oid,:str])<-(eb_a:bat[:oid,:oid])(b2:bat[:oid,:str])
-# io.print("# next line produced an incorrect error \n"); # 65
(_52:str)
-# io.print("# ERROR: CMDsort: returned BAT has unexpected head.\n");
# 66 (_53:str)
- fb_a := bat.reverse(b4); # 67 BKCreverse
(fb_a:bat[:str,:oid])<-(b4:bat[:oid,:str])
- gb_a := algebra.sort(fb_a); # 68 ALGhsort
(gb_a:bat[:str,:oid])<-(fb_a:bat[:str,:oid])
- hb_a := bat.reverse(gb_a); # 69 BKCreverse
(hb_a:bat[:oid,:str])<-(gb_a:bat[:str,:oid])
- ib_a := io.print(hb_a); # 70 IOprint_val
(ib_a:void)<-(hb_a:bat[:oid,:str])
+function user.main():void; # 0 main:void {G}
+# Monet Mil to Mal compiler
+# Copyright (c) 2001-2004, CWI. All rights reserved.
+#Predefined code segment
+#The compiler can not guarantee an accurate compilation,
+#because MIL unlike MAL is a dynamically typed language.
+#A few guidelines to maximize usefullness.
+#- make the type of variables explicit, in particular 'nil'
+#- upon advice of M2m to remap identifiers, change it in your program directly
+#use the "mil_schema" for additional support routines
+# io.print("var b1 := bat(oid,str);");
+ b1 := bat.new(nil:oid,nil:str); # 11 b1:bat[:oid,:str] :=
CMDBATnew(_12:oid, _13:str) {G}
+# io.print("b1.reverse().sort().reverse().print();");
+ aa_a := bat.reverse(b1); # 13 aa_a:bat[:str,:oid] :=
BKCreverse(b1:bat[:oid,:str]) {G}
+ ba_a := algebra.sort(aa_a); # 14 ba_a:bat[:str,:oid] :=
ALGhsort(aa_a:bat[:str,:oid]) {G}
+ ca_a := bat.reverse(ba_a); # 15 ca_a:bat[:oid,:str] :=
BKCreverse(ba_a:bat[:str,:oid]) {G}
+ da_a := io.print(ca_a); # 16 da_a:void :=
IOprint_val(ca_a:bat[:oid,:str])
+# io.print("b1.access(BAT_WRITE);");
+ BAT_WRITE := mil.take("BAT_WRITE"); # 18 BAT_WRITE:any :=
mil.take(_21:str) {U}
+ ea_a := bat.setWriteMode(b1); # 19 ea_a:bat[:oid,:str] :=
BKCsetWriteMode(b1:bat[:oid,:str]) {G}
+# io.print("b1.reverse().sort().reverse().print();");
+ fa_a := bat.reverse(b1); # 21 fa_a:bat[:str,:oid] :=
BKCreverse(b1:bat[:oid,:str]) {G}
+ ga_a := algebra.sort(fa_a); # 22 ga_a:bat[:str,:oid] :=
ALGhsort(fa_a:bat[:str,:oid]) {G}
+ ha_a := bat.reverse(ga_a); # 23 ha_a:bat[:oid,:str] :=
BKCreverse(ga_a:bat[:str,:oid]) {G}
+ ia_a := io.print(ha_a); # 24 ia_a:void :=
IOprint_val(ha_a:bat[:oid,:str])
+# io.print("var b2 := bat(void,str);");
+ b2 := bat.new(nil:oid,nil:str); # 26 b2:bat[:oid,:str] :=
CMDBATnew(_12:oid, _13:str) {G}
+# io.print("b2.seqbase(oid(10));");
+ ja_a := calc.oid(10); # 28 ja_a:oid := CALCint2oid(_32:int)
+# io.print("b2.reverse().sort().reverse().print();");
+ la_a := bat.reverse(b2); # 30 la_a:bat[:str,:oid] :=
BKCreverse(b2:bat[:oid,:str]) {G}
+ ma_a := algebra.sort(la_a); # 31 ma_a:bat[:str,:oid] :=
ALGhsort(la_a:bat[:str,:oid]) {G}
+ na_a := bat.reverse(ma_a); # 32 na_a:bat[:oid,:str] :=
BKCreverse(ma_a:bat[:str,:oid]) {G}
+ oa_a := io.print(na_a); # 33 oa_a:void :=
IOprint_val(na_a:bat[:oid,:str])
+# io.print("b2.access(BAT_WRITE);");
+ pa_a := bat.setWriteMode(b2); # 35 pa_a:bat[:oid,:str] :=
BKCsetWriteMode(b2:bat[:oid,:str]) {G}
+# io.print("b2.reverse().sort().reverse().print();");
+ qa_a := bat.reverse(b2); # 37 qa_a:bat[:str,:oid] :=
BKCreverse(b2:bat[:oid,:str]) {G}
+ ra_a := algebra.sort(qa_a); # 38 ra_a:bat[:str,:oid] :=
ALGhsort(qa_a:bat[:str,:oid]) {G}
+ sa_a := bat.reverse(ra_a); # 39 sa_a:bat[:oid,:str] :=
BKCreverse(ra_a:bat[:str,:oid]) {G}
+ ta_a := io.print(sa_a); # 40 ta_a:void :=
IOprint_val(sa_a:bat[:oid,:str])
+# io.print("var b3 := mirror(b2);");
+ b3 := bat.mirror(b2); # 42 b3:bat[:oid,:oid] :=
BKCmirror(b2:bat[:oid,:str]) {G}
+# io.print("b3.print();");
+ ua_a := io.print(b3); # 44 ua_a:void :=
IOprint_val(b3:bat[:oid,:oid])
+# io.print("var b4 := b3.reverse().join(b2);");
+ va_a := bat.reverse(b3); # 46 va_a:bat[:oid,:oid] :=
BKCreverse(b3:bat[:oid,:oid]) {G}
+ b4 := algebra.join(va_a,b2); # 47 b4:bat[:oid,:str] :=
ALGjoin(va_a:bat[:oid,:oid], b2:bat[:oid,:str]) {G}
+# io.print("b4.print();");
+ wa_a := io.print(b4); # 49 wa_a:void :=
IOprint_val(b4:bat[:oid,:str])
+# io.print("# next line produced an incorrect error \n");
+# io.print("# ERROR: CMDsort: returned BAT has unexpected head.\n");
+ xa_a := bat.reverse(b4); # 52 xa_a:bat[:str,:oid] :=
BKCreverse(b4:bat[:oid,:str]) {G}
+ ya_a := algebra.sort(xa_a); # 53 ya_a:bat[:str,:oid] :=
ALGhsort(xa_a:bat[:str,:oid]) {G}
+ ab_a := bat.reverse(ya_a); # 54 ab_a:bat[:oid,:str] :=
BKCreverse(ya_a:bat[:str,:oid]) {G}
+ bb_a := io.print(ab_a); # 55 bb_a:void :=
IOprint_val(ab_a:bat[:oid,:str])
+# io.print("#mini mil example\n");
+# io.print("var b2 := bat(void,str);");
+ b2 := bat.new(nil:oid,nil:str); # 58 b2:bat[:oid,:str] :=
CMDBATnew(_62:oid, _63:str) {G}
+# io.print("b2.seqbase(oid(10));");
+# io.print("var b3 := mirror(b2);");
+ b3 := bat.mirror(b2); # 61 b3:bat[:oid,:oid] :=
BKCmirror(b2:bat[:oid,:str]) {G}
+# io.print("var b4 := b3.reverse().join(b2);");
+ eb_a := bat.reverse(b3); # 63 eb_a:bat[:oid,:oid] :=
BKCreverse(b3:bat[:oid,:oid]) {G}
+ b4 := algebra.join(eb_a,b2); # 64 b4:bat[:oid,:str] :=
ALGjoin(eb_a:bat[:oid,:oid], b2:bat[:oid,:str]) {G}
+# io.print("# next line produced an incorrect error \n");
+# io.print("# ERROR: CMDsort: returned BAT has unexpected head.\n");
+ fb_a := bat.reverse(b4); # 67 fb_a:bat[:str,:oid] :=
BKCreverse(b4:bat[:oid,:str]) {G}
+ gb_a := algebra.sort(fb_a); # 68 gb_a:bat[:str,:oid] :=
ALGhsort(fb_a:bat[:str,:oid]) {G}
+ hb_a := bat.reverse(gb_a); # 69 hb_a:bat[:oid,:str] :=
BKCreverse(gb_a:bat[:str,:oid]) {G}
+ ib_a := io.print(hb_a); # 70 ib_a:void :=
IOprint_val(hb_a:bat[:oid,:str])
end main; # 71
# 07:27:18 >
Index: ID.605953.stable.out
===================================================================
RCS file:
/cvsroot/monetdb/MonetDB5/tests/BugsViaSourgeforce/Tests/ID.605953.stable.out,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -d -r1.30 -r1.31
--- ID.605953.stable.out 19 Aug 2007 20:03:44 -0000 1.30
+++ ID.605953.stable.out 15 Mar 2008 19:37:30 -0000 1.31
@@ -67,55 +67,55 @@
# mb_a := io.print(lb_a);
##Identifer 'seqbase' mapped to 'bat.setSequenceBase'
#
-function user.main():void; # 0 (main:void)
-# Monet Mil to Mal compiler # 1 (_1:str)
-# Copyright (c) 2001-2004, CWI. All rights reserved. # 2 (_2:str)
-#Predefined code segment # 3 (_3:str)
-#The compiler can not guarantee an accurate compilation, # 4 (_4:str)
-#because MIL unlike MAL is a dynamically typed language. # 5 (_5:str)
-#A few guidelines to maximize usefullness. # 6 (_6:str)
-#- make the type of variables explicit, in particular 'nil' # 7 (_7:str)
-#- upon advice of M2m to remap identifiers, change it in your program directly
# 8 (_8:str)
-#use the "mil_schema" for additional support routines # 9 (_9:str)
- t := bat.new(nil:oid,nil:str); # 10 CMDBATnew
(t:bat[:oid,:str])<-(_11:oid)(_12:str)
- aa_a := calc.oid(0); # 11 CALCint2oid (aa_a:oid)<-(_14:int)
- ba_a := bat.insert(t,aa_a,"a"); # 12 BKCinsert_bun
(ba_a:void)<-(t:bat[:oid,:str])(aa_a:oid)(_16:str)
- ca_a := calc.oid(1); # 13 CALCint2oid (ca_a:oid)<-(_18:int)
- da_a := bat.insert(t,ca_a,"b"); # 14 BKCinsert_bun
(da_a:void)<-(t:bat[:oid,:str])(ca_a:oid)(_20:str)
- ea_a := calc.oid(2); # 15 CALCint2oid (ea_a:oid)<-(_22:int)
- fa_a := bat.insert(t,ea_a,"c"); # 16 BKCinsert_bun
(fa_a:void)<-(t:bat[:oid,:str])(ea_a:oid)(_24:str)
- ga_a := calc.oid(3); # 17 CALCint2oid (ga_a:oid)<-(_26:int)
- ha_a := bat.insert(t,ga_a,"d"); # 18 BKCinsert_bun
(ha_a:void)<-(t:bat[:oid,:str])(ga_a:oid)(_28:str)
- ia_a := calc.oid(4); # 19 CALCint2oid (ia_a:oid)<-(_30:int)
- ja_a := bat.insert(t,ia_a,"e"); # 20 BKCinsert_bun
(ja_a:void)<-(t:bat[:oid,:str])(ia_a:oid)(_32:str)
- ka_a := calc.oid(5); # 21 CALCint2oid (ka_a:oid)<-(_34:int)
- la_a := bat.insert(t,ka_a,"f"); # 22 BKCinsert_bun
(la_a:void)<-(t:bat[:oid,:str])(ka_a:oid)(_36:str)
- ma_a := calc.oid(6); # 23 CALCint2oid (ma_a:oid)<-(_38:int)
- na_a := bat.insert(t,ma_a,"g"); # 24 BKCinsert_bun
(na_a:void)<-(t:bat[:oid,:str])(ma_a:oid)(_40:str)
- oa_a := calc.oid(7); # 25 CALCint2oid (oa_a:oid)<-(_42:int)
- pa_a := bat.insert(t,oa_a,"h"); # 26 BKCinsert_bun
(pa_a:void)<-(t:bat[:oid,:str])(oa_a:oid)(_44:str)
- qa_a := algebra.markT(t,nil:oid); # 27 ALGtmark
(qa_a:bat[:oid,:oid])<-(t:bat[:oid,:str])(_46:oid)
- ra_a := io.print(t); # 28 IOprint_val (ra_a:void)<-(t:bat[:oid,:str])
- t2 := bat.new(nil:void,nil:str); # 29 CMDBATnew
(t2:bat[:void,:str])<-(_49:void)(_50:str)
- ua_a := nil:void; # 30 (ua_a:void)<-(_49:void)
- va_a := bat.insert(t2,ua_a,"a"); # 31 BKCinsert_bun
(va_a:void)<-(t2:bat[:void,:str])(ua_a:void)(_53:str)
- wa_a := nil:void; # 32 (wa_a:void)<-(_49:void)
- xa_a := bat.insert(t2,wa_a,"b"); # 33 BKCinsert_bun
(xa_a:void)<-(t2:bat[:void,:str])(wa_a:void)(_56:str)
- ya_a := nil:void; # 34 (ya_a:void)<-(_49:void)
- ab_a := bat.insert(t2,ya_a,"c"); # 35 BKCinsert_bun
(ab_a:void)<-(t2:bat[:void,:str])(ya_a:void)(_59:str)
- bb_a := nil:void; # 36 (bb_a:void)<-(_49:void)
- cb_a := bat.insert(t2,bb_a,"d"); # 37 BKCinsert_bun
(cb_a:void)<-(t2:bat[:void,:str])(bb_a:void)(_62:str)
- db_a := nil:void; # 38 (db_a:void)<-(_49:void)
- eb_a := bat.insert(t2,db_a,"e"); # 39 BKCinsert_bun
(eb_a:void)<-(t2:bat[:void,:str])(db_a:void)(_65:str)
- fb_a := nil:void; # 40 (fb_a:void)<-(_49:void)
- gb_a := bat.insert(t2,fb_a,"f"); # 41 BKCinsert_bun
(gb_a:void)<-(t2:bat[:void,:str])(fb_a:void)(_36:str)
- hb_a := nil:void; # 42 (hb_a:void)<-(_49:void)
- ib_a := bat.insert(t2,hb_a,"g"); # 43 BKCinsert_bun
(ib_a:void)<-(t2:bat[:void,:str])(hb_a:void)(_40:str)
- jb_a := nil:void; # 44 (jb_a:void)<-(_49:void)
- kb_a := bat.insert(t2,jb_a,"h"); # 45 BKCinsert_bun
(kb_a:void)<-(t2:bat[:void,:str])(jb_a:void)(_44:str)
- lb_a := algebra.markT(t2,nil:oid); # 46 ALGtmark
(lb_a:bat[:void,:oid])<-(t2:bat[:void,:str])(_46:oid)
- mb_a := io.print(lb_a); # 47 IOprint_val
(mb_a:void)<-(lb_a:bat[:void,:oid])
-#Identifer 'seqbase' mapped to 'bat.setSequenceBase' # 48 (_69:str)
+function user.main():void; # 0 main:void {G}
+# Monet Mil to Mal compiler
+# Copyright (c) 2001-2004, CWI. All rights reserved.
+#Predefined code segment
+#The compiler can not guarantee an accurate compilation,
+#because MIL unlike MAL is a dynamically typed language.
+#A few guidelines to maximize usefullness.
+#- make the type of variables explicit, in particular 'nil'
+#- upon advice of M2m to remap identifiers, change it in your program directly
+#use the "mil_schema" for additional support routines
+ t := bat.new(nil:oid,nil:str); # 10 t:bat[:oid,:str] :=
CMDBATnew(_11:oid, _12:str) {G}
+ aa_a := calc.oid(0); # 11 aa_a:oid := CALCint2oid(_14:int)
+ ba_a := bat.insert(t,aa_a,"a"); # 12 ba_a:void :=
BKCinsert_bun(t:bat[:oid,:str], aa_a:oid, _16:str)
+ ca_a := calc.oid(1); # 13 ca_a:oid := CALCint2oid(_18:int)
+ da_a := bat.insert(t,ca_a,"b"); # 14 da_a:void :=
BKCinsert_bun(t:bat[:oid,:str], ca_a:oid, _20:str)
+ ea_a := calc.oid(2); # 15 ea_a:oid := CALCint2oid(_22:int)
+ fa_a := bat.insert(t,ea_a,"c"); # 16 fa_a:void :=
BKCinsert_bun(t:bat[:oid,:str], ea_a:oid, _24:str)
+ ga_a := calc.oid(3); # 17 ga_a:oid := CALCint2oid(_26:int)
+ ha_a := bat.insert(t,ga_a,"d"); # 18 ha_a:void :=
BKCinsert_bun(t:bat[:oid,:str], ga_a:oid, _28:str)
+ ia_a := calc.oid(4); # 19 ia_a:oid := CALCint2oid(_30:int)
+ ja_a := bat.insert(t,ia_a,"e"); # 20 ja_a:void :=
BKCinsert_bun(t:bat[:oid,:str], ia_a:oid, _32:str)
+ ka_a := calc.oid(5); # 21 ka_a:oid := CALCint2oid(_34:int)
+ la_a := bat.insert(t,ka_a,"f"); # 22 la_a:void :=
BKCinsert_bun(t:bat[:oid,:str], ka_a:oid, _36:str)
+ ma_a := calc.oid(6); # 23 ma_a:oid := CALCint2oid(_38:int)
+ na_a := bat.insert(t,ma_a,"g"); # 24 na_a:void :=
BKCinsert_bun(t:bat[:oid,:str], ma_a:oid, _40:str)
+ oa_a := calc.oid(7); # 25 oa_a:oid := CALCint2oid(_42:int)
+ pa_a := bat.insert(t,oa_a,"h"); # 26 pa_a:void :=
BKCinsert_bun(t:bat[:oid,:str], oa_a:oid, _44:str)
+ qa_a := algebra.markT(t,nil:oid); # 27 qa_a:bat[:oid,:oid] :=
ALGtmark(t:bat[:oid,:str], _46:oid) {G}
+ ra_a := io.print(t); # 28 ra_a:void :=
IOprint_val(t:bat[:oid,:str])
+ t2 := bat.new(nil:void,nil:str); # 29 t2:bat[:void,:str] :=
CMDBATnew(_49:void, _50:str) {G}
+ ua_a := nil:void; # 30 ua_a:void := _49:void {G}
+ va_a := bat.insert(t2,ua_a,"a"); # 31 va_a:void :=
BKCinsert_bun(t2:bat[:void,:str], ua_a:void, _53:str)
+ wa_a := nil:void; # 32 wa_a:void := _49:void {G}
+ xa_a := bat.insert(t2,wa_a,"b"); # 33 xa_a:void :=
BKCinsert_bun(t2:bat[:void,:str], wa_a:void, _56:str)
+ ya_a := nil:void; # 34 ya_a:void := _49:void {G}
+ ab_a := bat.insert(t2,ya_a,"c"); # 35 ab_a:void :=
BKCinsert_bun(t2:bat[:void,:str], ya_a:void, _59:str)
+ bb_a := nil:void; # 36 bb_a:void := _49:void {G}
+ cb_a := bat.insert(t2,bb_a,"d"); # 37 cb_a:void :=
BKCinsert_bun(t2:bat[:void,:str], bb_a:void, _62:str)
+ db_a := nil:void; # 38 db_a:void := _49:void {G}
+ eb_a := bat.insert(t2,db_a,"e"); # 39 eb_a:void :=
BKCinsert_bun(t2:bat[:void,:str], db_a:void, _65:str)
+ fb_a := nil:void; # 40 fb_a:void := _49:void {G}
+ gb_a := bat.insert(t2,fb_a,"f"); # 41 gb_a:void :=
BKCinsert_bun(t2:bat[:void,:str], fb_a:void, _36:str)
+ hb_a := nil:void; # 42 hb_a:void := _49:void {G}
+ ib_a := bat.insert(t2,hb_a,"g"); # 43 ib_a:void :=
BKCinsert_bun(t2:bat[:void,:str], hb_a:void, _40:str)
+ jb_a := nil:void; # 44 jb_a:void := _49:void {G}
+ kb_a := bat.insert(t2,jb_a,"h"); # 45 kb_a:void :=
BKCinsert_bun(t2:bat[:void,:str], jb_a:void, _44:str)
+ lb_a := algebra.markT(t2,nil:oid); # 46 lb_a:bat[:void,:oid] :=
ALGtmark(t2:bat[:void,:str], _46:oid) {G}
+ mb_a := io.print(lb_a); # 47 mb_a:void :=
IOprint_val(lb_a:bat[:void,:oid])
+#Identifer 'seqbase' mapped to 'bat.setSequenceBase'
end main; # 49
#-----------------#
# h t # name
Index: ID.642344.stable.out
===================================================================
RCS file:
/cvsroot/monetdb/MonetDB5/tests/BugsViaSourgeforce/Tests/ID.642344.stable.out,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -d -r1.20 -r1.21
--- ID.642344.stable.out 15 Dec 2006 09:08:24 -0000 1.20
+++ ID.642344.stable.out 15 Mar 2008 19:37:30 -0000 1.21
@@ -43,34 +43,34 @@
# ba_a := io.print(aa_a);
#
!TypeException:user.main[26]:'user.varval' undefined in: aa_a:any :=
user.varval(_28:str)
-function user.main():void; # 0 (main:void)
-# Monet Mil to Mal compiler # 1 (_1:str)
-# Copyright (c) 2001-2004, CWI. All rights reserved. # 2 (_2:str)
-#Predefined code segment # 3 (_3:str)
-#The compiler can not guarantee an accurate compilation, # 4 (_4:str)
-#because MIL unlike MAL is a dynamically typed language. # 5 (_5:str)
-#A few guidelines to maximize usefullness. # 6 (_6:str)
-#- make the type of variables explicit, in particular 'nil' # 7 (_7:str)
-#- upon advice of M2m to remap identifiers, change it in your program directly
# 8 (_8:str)
-#use the "mil_schema" for additional support routines # 9 (_9:str)
-# io.print("# Date:\t\t2002-11-22 16:58\n"); # 10 (_10:str)
-# io.print("# Category: \tNone\n"); # 11 (_11:str)
-# io.print("# Group: \tNone\n"); # 12 (_12:str)
-# io.print("# Status: \tOpen\n"); # 13 (_13:str)
-# io.print("# Resolution: \tNone\n"); # 14 (_14:str)
-# io.print("# Priority: \t5\n"); # 15 (_15:str)
-# io.print("# Submitted By: Maurice van Keulen (mvankeulen)\n"); # 16
(_16:str)
-# io.print("# Assigned to: \tNobody/Anonymous (nobody)\n"); # 17
(_17:str)
-# io.print("# Summary: \tRefcount warnings in \"varval\"\n"); # 18
(_18:str)
-# io.print("#\n"); # 19 (_19:str)
-# io.print("# Initial Comment:\n"); # 20 (_20:str)
-# io.print("# The \"varval\"-function apparently contains a bug\n");
# 21 (_21:str)
-# io.print("# regarding reference counting. See example below:\n");
# 22 (_22:str)
-# io.print(""); # 23 (_23:str)
- bar := bat.new(nil:int,nil:int); # 24 CMDBATnew
(bar:bat[:int,:int])<-(_25:int)(_25:int)
-# io.print("var bar:=new(int,int);"); # 25 (_26:str)
- aa_a := user.varval("bar"); # 26 unknown (aa_a:any)<-(_28:str)
- ba_a := io.print(aa_a); # 27 IOprint_val (ba_a:void)<-(aa_a:any)
+function user.main():void; # 0 main:void {G}
+# Monet Mil to Mal compiler
+# Copyright (c) 2001-2004, CWI. All rights reserved.
+#Predefined code segment
+#The compiler can not guarantee an accurate compilation,
+#because MIL unlike MAL is a dynamically typed language.
+#A few guidelines to maximize usefullness.
+#- make the type of variables explicit, in particular 'nil'
+#- upon advice of M2m to remap identifiers, change it in your program directly
+#use the "mil_schema" for additional support routines
+# io.print("# Date:\t\t2002-11-22 16:58\n");
+# io.print("# Category: \tNone\n");
+# io.print("# Group: \tNone\n");
+# io.print("# Status: \tOpen\n");
+# io.print("# Resolution: \tNone\n");
+# io.print("# Priority: \t5\n");
+# io.print("# Submitted By: Maurice van Keulen (mvankeulen)\n");
+# io.print("# Assigned to: \tNobody/Anonymous (nobody)\n");
+# io.print("# Summary: \tRefcount warnings in \"varval\"\n");
+# io.print("#\n");
+# io.print("# Initial Comment:\n");
+# io.print("# The \"varval\"-function apparently contains a bug\n");
+# io.print("# regarding reference counting. See example below:\n");
+# io.print("");
+ bar := bat.new(nil:int,nil:int); # 24 bar:bat[:int,:int] :=
CMDBATnew(_25:int, _25:int) {G}
+# io.print("var bar:=new(int,int);");
+ aa_a := user.varval("bar"); # 26 aa_a:any := user.varval(_28:str)
{U}
+ ba_a := io.print(aa_a); # 27 ba_a:void :=
IOprint_val(aa_a:any)
end main; # 28
# 07:27:17 >
Index: ID.905495s.stable.out
===================================================================
RCS file:
/cvsroot/monetdb/MonetDB5/tests/BugsViaSourgeforce/Tests/ID.905495s.stable.out,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -d -r1.14 -r1.15
--- ID.905495s.stable.out 3 Dec 2006 22:41:21 -0000 1.14
+++ ID.905495s.stable.out 15 Mar 2008 19:37:30 -0000 1.15
@@ -30,17 +30,17 @@
##print("hello");
# aa_a := io.print("hello");
#
-function user.main():void; # 0 (main:void)
-# Monet Mil to Mal compiler # 1 (_1:str)
-# Copyright (c) 2001-2004, CWI. All rights reserved. # 2 (_2:str)
-# Predefined code segment # 3 (_3:str)
-#The compiler can not guarantee an accurate compilation, # 4 (_4:str)
-#because MIL unlike MAL is a dynamically typed language. # 5 (_5:str)
-#A few guidelines to maximize usefullness. # 6 (_6:str)
-#- make the type of variables explicit, in particular 'nil' # 7 (_7:str)
-#- upon advice of M2m to remap identifiers, change it in your program directly
# 8 (_8:str)
-#print("hello"); # 9 (_9:str)
- aa_a := io.print("hello"); # 10 IOprint_val (aa_a:void)<-(_11:str)
+function user.main():void; # 0 main:void
+# Monet Mil to Mal compiler
+# Copyright (c) 2001-2004, CWI. All rights reserved.
+# Predefined code segment
+#The compiler can not guarantee an accurate compilation,
+#because MIL unlike MAL is a dynamically typed language.
+#A few guidelines to maximize usefullness.
+#- make the type of variables explicit, in particular 'nil'
+#- upon advice of M2m to remap identifiers, change it in your program directly
+#print("hello");
+ aa_a := io.print("hello"); # 10 aa_a:void := IOprint_val(_11:str)
end main; # 11
[ "hello" ]
Index: ID.1023816.stable.out
===================================================================
RCS file:
/cvsroot/monetdb/MonetDB5/tests/BugsViaSourgeforce/Tests/ID.1023816.stable.out,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -d -r1.25 -r1.26
--- ID.1023816.stable.out 28 Dec 2006 22:16:22 -0000 1.25
+++ ID.1023816.stable.out 15 Mar 2008 19:37:29 -0000 1.26
@@ -38,30 +38,30 @@
## mil.line("table(x,x,x,x,x,x,x,x,x,x,x,x,x,x,x,x);");
# ga_a := io.table(x,x,x,x,x,x,x,x,x,x,x,x,x,x,x,x);
#
-function user.main():void; # 0 (main:void)
-# Monet Mil to Mal compiler # 1 (_1:str)
-# Copyright (c) 2001-2004, CWI. All rights reserved. # 2 (_2:str)
-#Predefined code segment # 3 (_3:str)
-#The compiler can not guarantee an accurate compilation, # 4 (_4:str)
-#because MIL unlike MAL is a dynamically typed language. # 5 (_5:str)
-#A few guidelines to maximize usefullness. # 6 (_6:str)
-#- make the type of variables explicit, in particular 'nil' # 7 (_7:str)
-#- upon advice of M2m to remap identifiers, change it in your program directly
# 8 (_8:str)
-#use the "mil_schema" for additional support routines # 9 (_9:str)
-# io.print("var x:=new(void,int);"); # 10 (_10:str)
- x := bat.new(:oid,:int); # 11 CMDBATnew
(x:bat[:oid,:int])<-(_12:oid)(_13:int)
-# io.print("x.insert(void(nil),2);"); # 12 (_14:str)
- aa_a := calc.oid(nil:void); # 13 CALCnil2oid (aa_a:oid)<-(_16:void)
- ba_a := bat.insert(x,aa_a,2); # 14 BKCinsert_bun
(ba_a:void)<-(x:bat[:oid,:int])(aa_a:oid)(_18:int)
-# io.print("x.insert(void(nil),4);"); # 15 (_19:str)
- ca_a := calc.oid(nil:void); # 16 CALCnil2oid (ca_a:oid)<-(_16:void)
- da_a := bat.insert(x,ca_a,4); # 17 BKCinsert_bun
(da_a:void)<-(x:bat[:oid,:int])(ca_a:oid)(_22:int)
-# io.print("x:=x.reverse().mark([EMAIL PROTECTED]).reverse();"); # 18
(_23:str)
- ea_a := bat.reverse(x); # 19 BKCreverse
(ea_a:bat[:int,:oid])<-(x:bat[:oid,:int])
- fa_a := algebra.markT(ea_a,[EMAIL PROTECTED]); # 20 ALGtmark
(fa_a:bat[:int,:oid])<-(ea_a:bat[:int,:oid])(_26:oid)
- x := bat.reverse(fa_a); # 21 BKCreverse
(x:bat[:oid,:int])<-(fa_a:bat[:int,:oid])
-# io.print("table(x,x,x,x,x,x,x,x,x,x,x,x,x,x,x,x);"); # 22 (_27:str)
- ga_a := io.table(x,x,x,x,x,x,x,x,x,x,x,x,x,x,x,x); # 23 IOttable
(ga_a:void)<-(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])(x:bat[:oid,:int])
+function user.main():void; # 0 main:void {G}
+# Monet Mil to Mal compiler
+# Copyright (c) 2001-2004, CWI. All rights reserved.
+#Predefined code segment
+#The compiler can not guarantee an accurate compilation,
+#because MIL unlike MAL is a dynamically typed language.
+#A few guidelines to maximize usefullness.
+#- make the type of variables explicit, in particular 'nil'
+#- upon advice of M2m to remap identifiers, change it in your program directly
+#use the "mil_schema" for additional support routines
+# io.print("var x:=new(void,int);");
+ x := bat.new(:oid,:int); # 11 x:bat[:oid,:int] :=
CMDBATnew(_12:oid, _13:int) {G}
+# io.print("x.insert(void(nil),2);");
+ aa_a := calc.oid(nil:void); # 13 aa_a:oid := CALCnil2oid(_16:void)
+ ba_a := bat.insert(x,aa_a,2); # 14 ba_a:void :=
BKCinsert_bun(x:bat[:oid,:int], aa_a:oid, _18:int)
+# io.print("x.insert(void(nil),4);");
+ ca_a := calc.oid(nil:void); # 16 ca_a:oid := CALCnil2oid(_16:void)
+ da_a := bat.insert(x,ca_a,4); # 17 da_a:void :=
BKCinsert_bun(x:bat[:oid,:int], ca_a:oid, _22:int)
+# io.print("x:=x.reverse().mark([EMAIL PROTECTED]).reverse();");
+ ea_a := bat.reverse(x); # 19 ea_a:bat[:int,:oid] :=
BKCreverse(x:bat[:oid,:int]) {G}
+ fa_a := algebra.markT(ea_a,[EMAIL PROTECTED]); # 20 fa_a:bat[:int,:oid]
:= ALGtmark(ea_a:bat[:int,:oid], _26:oid) {G}
+ x := bat.reverse(fa_a); # 21 x:bat[:oid,:int] :=
BKCreverse(fa_a:bat[:int,:oid]) {G}
+# io.print("table(x,x,x,x,x,x,x,x,x,x,x,x,x,x,x,x);");
+ ga_a := io.table(x,x,x,x,x,x,x,x,x,x,x,x,x,x,x,x);# 23 ga_a:void :=
IOttable(x:bat[:oid,:int], x:bat[:oid,:int], x:bat[:oid,:int],
x:bat[:oid,:int], x:bat[:oid,:int], x:bat[:oid,:int], x:bat[:oid,:int],
x:bat[:oid,:int], x:bat[:oid,:int], x:bat[:oid,:int], x:bat[:oid,:int],
x:bat[:oid,:int], x:bat[:oid,:int], x:bat[:oid,:int], x:bat[:oid,:int],
x:bat[:oid,:int])
end main; # 24
#---------------------------------------------------------------------------------------------------------------------------------#
# h h h h h h h h h h
h h h h h h # name
Index: ID.914159.stable.out
===================================================================
RCS file:
/cvsroot/monetdb/MonetDB5/tests/BugsViaSourgeforce/Tests/ID.914159.stable.out,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -d -r1.20 -r1.21
--- ID.914159.stable.out 16 Dec 2006 22:19:11 -0000 1.20
+++ ID.914159.stable.out 15 Mar 2008 19:37:30 -0000 1.21
@@ -31,27 +31,27 @@
# aa_a := io.print(unknown);
#end crash;
!TypeException:user.crash[2]:'mil.take' undefined in: unknown:any :=
mil.take(_3:str)
-function user.crash():void; # 0 (crash:void)
-# mil.line("\tprint($t);\n"); # 1 (_1:str)
- unknown := mil.take("unknown"); # 2 unknown (unknown:any)<-(_3:str)
- aa_a := io.print(unknown); # 3 IOprint_val (aa_a:void)<-(unknown:any)
+function user.crash():void; # 0 crash:void
+# io.print("\tprint($t);\n");
+ unknown := mil.take("unknown"); # 2 unknown:any := mil.take(_3:str)
{U}
+ aa_a := io.print(unknown); # 3 aa_a:void :=
IOprint_val(unknown:any)
end crash; # 4
## io.print("crash();");
# ba_a := user.crash();
#
-function user.main():void; # 0 (main:void)
-# Monet Mil to Mal compiler # 1 (_1:str)
-# Copyright (c) 2001-2004, CWI. All rights reserved. # 2 (_2:str)
-#Predefined code segment # 3 (_3:str)
-#The compiler can not guarantee an accurate compilation, # 4 (_4:str)
-#because MIL unlike MAL is a dynamically typed language. # 5 (_5:str)
-#A few guidelines to maximize usefullness. # 6 (_6:str)
-#- make the type of variables explicit, in particular 'nil' # 7 (_7:str)
-#- upon advice of M2m to remap identifiers, change it in your program directly
# 8 (_8:str)
-#use the "mil_schema" for additional support routines # 9 (_9:str)
-# io.print("PROC crash() : void"); # 10 (_10:str)
-# io.print("crash();"); # 11 (_11:str)
- ba_a := user.crash(); # 12 (ba_a:void)
+function user.main():void; # 0 main:void
+# Monet Mil to Mal compiler
+# Copyright (c) 2001-2004, CWI. All rights reserved.
+#Predefined code segment
+#The compiler can not guarantee an accurate compilation,
+#because MIL unlike MAL is a dynamically typed language.
+#A few guidelines to maximize usefullness.
+#- make the type of variables explicit, in particular 'nil'
+#- upon advice of M2m to remap identifiers, change it in your program directly
+#use the "mil_schema" for additional support routines
+# io.print("PROC crash() : void");
+# io.print("crash();");
+ ba_a := user.crash(); # 12 ba_a:void
end main; # 13
!MALException:user.crash[0]:Syntax error in script
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Monetdb-checkins mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-checkins
