📄 tst105.stable.out
字号:
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 foundcommand 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 >
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -