tst105.stable.out

来自「一个内存数据库的源代码这是服务器端还有客户端」· OUT 代码 · 共 43 行

stdout of test 'tst105` in directory 'src/mal` itself:


# 07:58:56 >  
# 07:58:56 >  Mtimeout -timeout 60 Mserver "--config=/ufs/mk/monet5/Linux/etc/MonetDB5.conf" --debug=10 --set "monet_mod_path=/ufs/mk/monet5/Linux/lib/MonetDB5:/ufs/mk/opensource/MonetDB/Linux/lib/MonetDB" --set "gdk_dbfarm=/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm" --set "sql_logdir=/ufs/mk/monet5/Linux/var/MonetDB5/log" --set mapi_port=42158 --set sql_port=55708 --set monet_prompt= --trace "--config=/ufs/mk/monet5/src/mal/Tests/All.conf" --dbname=mTests_src_mal  tst105.mal </dev/null
# 07:58:56 >  

# Monet Database Server V4.99.19
# Copyright (c) 1993-2004, CWI. All rights reserved.
# Compiled for i686-redhat-linux-gnu/32bit; dynamically linked.
# config:/ufs/mk/monet5/Linux/etc/MonetDB5.conf
# dbfarm:/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm
# dbname:mTests_src_mal
# Visit http://monetdb.cwi.nl/ for further information.
## check propagation of type variables over bats
## can be checked after bat module has been added
#
#module bat2;
#command new(h:any_1,t:any_2) :bat[:any_1, :any_2] 
!MALException:MAL.getAddress:address of 'bat2.GDKbatnew' not found
command bat2.new(h:any_1,t:any_2):bat[:any_1,:any_2] address GDKbatnew;	# 0  dynamic (new:bat[:any_1,:any_2])<-(h:any_1)(t:any_2)
#
#a:= bat2.new(:str,:int);
#b:= bat2.new(:str,:int);
#c:= new(:str,:int);
#
!TypeException:user.main[3]:'bat2.new' undefined in: a:bat[:str,:int] := bat2.new(_4:str, _5:int)

!TypeException:user.main[4]:'bat2.new' undefined in: b:bat[:str,:int] := bat2.new(_7:str, _5:int)

function user.main():void;	# 0  (main:void)
# check propagation of type variables over bats 	# 1  (_1:str)
# can be checked after bat module has been added 	# 2  (_2:str)
    a := bat2.new(:str,:int);	# 3  unknown (a:bat[:str,:int])<-(_4:str)(_5:int)
    b := bat2.new(:str,:int);	# 4  unknown (b:bat[:str,:int])<-(_7:str)(_5:int)
    c := bat.new(:str,:int);	# 5 CMDBATnew (c:bat[:str,:int])<-(_9:str)(_5:int)
end main;	# 6  

# 07:58:56 >  
# 07:58:56 >  Done.
# 07:58:56 >