Bugs item #1919631, was opened at 2008-03-19 15:04
Message generated for change (Comment added) made by stmane
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1919631&group_id=56967
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Core
Group: MonetDB5 CVS Head
Status: Closed
Resolution: Invalid
Priority: 5
Private: No
Submitted By: Peter Boncz (boncz)
Assigned to: Martin Kersten (mlkersten)
Summary: MAL command resolution: BAT signatures with :any
Initial Comment:
not knowing about the MAL pattern
bbp.bind(:str) :bat[any::1,any::2]
I tried the MAL command
bat5.load(:str) :bat[any::1,any::2]
though the implementation and signature of that command appear to be fully
correct, bat5.load() always give a type mismatch error whatever you do.
So, the problem is not so much bat5.load(), but (I assume) the function
resolution of any MAL command that has :any::x or BAT[:any::x,:any::y] in its
signature.
----------------------------------------------------------------------
>Comment By: Stefan Manegold (stmane)
Date: 2008-03-20 06:54
Message:
Logged In: YES
user_id=572415
Originator: NO
To solve the riddle, I feel free to provide the example that IMHO explains
the situation:
========
>a:=bat5.load("abc");
!TypeException:user.main[1]:'bat5.load' undefined in: a:any :=
bat5.load(_2:str)
========
Obviously, the "TypeExeption" is/was the misleading suspect in this (and
possibly other) case(s).
A clearer error message stating that module "bat5" might (have) be(en)
helpful in this (and possibly other) case(s).
Using the existing "bat.load()" does indeed give a reasonable error
message:
========
>b:=bat.load("abc");
!MALException:bat.unload: file name missing
#function user.main():void;
# b := bat.load("abc");
#end main;
========
----------------------------------------------------------------------
Comment By: Peter Boncz (boncz)
Date: 2008-03-20 02:09
Message:
Logged In: YES
user_id=591107
Originator: YES
sorry guys
these are my first steps in Monet5, and since I did not see a module named
bat (in MonetDB5/src/*) but did see bat5 (and it contained functions
similar to M4's bat) so I just tried to use it..
I am starting to understand, that bat5.mx is called bat in MAL
the documentation on the core modules is quite slim; would be nice to have
for each module an machine-generated extract with exact module name and
command/pattern signatures -- just to avoid such confusions.
----------------------------------------------------------------------
Comment By: Martin Kersten (mlkersten)
Date: 2008-03-19 23:42
Message:
Logged In: YES
user_id=490798
Originator: NO
first, bat5.load() is not a function known to me.
We only have bat.load()
Another test has been added and shows
that basic type resolution should be more
restrictive, not allowing illegal type bindings.
We still need an example to illustrate the problem
----------------------------------------------------------------------
Comment By: Martin Kersten (mlkersten)
Date: 2008-03-19 17:32
Message:
Logged In: YES
user_id=490798
Originator: NO
suite_00/Tests/test_40.mal
The number of tests for the bat.load is quite minimal.
A small test example to would be helpful.
----------------------------------------------------------------------
Comment By: Fabian (mr-meltdown)
Date: 2008-03-19 17:17
Message:
Logged In: YES
user_id=963970
Originator: NO
can you give an example of what you're doing and what exact error messages
you get?
----------------------------------------------------------------------
Comment By: Peter Boncz (boncz)
Date: 2008-03-19 16:49
Message:
Logged In: YES
user_id=591107
Originator: YES
I was providing the correct types. Did you try it?
----------------------------------------------------------------------
Comment By: Martin Kersten (mlkersten)
Date: 2008-03-19 16:42
Message:
Logged In: YES
user_id=490798
Originator: NO
MAL requires that all arguments are strongly typed.
you have to type the result variable upfront, e.g.
b:bat[:oid,:str]:= bat.load("mybat");
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1919631&group_id=56967
-------------------------------------------------------------------------
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-bugs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
