tst106.mal

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

# check in-compatible polmorphic types

command f(a:any_1,b:any_2, c:any_1) :bat[:any_1, :any_2] 
address f;

b:= user.f(1,2,"help");
a:= user.f(1,2,1);