no.151.mils

一个内存数据库的源代码这是服务器端还有客户端

# >Number:         151
# >Category:       MIL
# >Synopsis:       type check problem when inserting bats
# >Confidential:   no
# >Severity:       critical
# >Priority:       high
# >Responsible:    boncz (Peter Boncz)
# >State:          open
# >Class:          sw-bug
# >Submitter-Id:   unknown
# >Arrival-Date:   Wed Apr 15 13:00:01 1998
# >Originator:     [e-mail]
# >Organization:
# DDi
# >Release:        980101
# >Environment:
# IRIX 5.3
# >Description:
# Following script gives an error
# a:= new(int,bat);
# b:= new(int,bat);
# a.insert(1,b);
# !ERROR: interpret: no matching MIL operator to 'insert(bat[int,bat], int, bat[int,bat])'.
# !MAYBE YOU MEAN:
# !       insert(BAT[any::1,any::2], BAT[any::1,any::2]) : BAT[any::1,any::2]

setoid(oid(20000000));
var a:= new(int,bat);
var b:= new(int,bat);
a.insert(1,b);
quit();