Hi, I was trying out the new foreign function interface that was committed
today, and I find that if one tries to load a symbol that does not exist no
error message is returned. For example in
https://github.com/polyml/polyml/blob/598ff7841e5e155c1fff89bf75cd2a91ee7796e2/mlsource/extra/CInterface/Examples/NewForeignTest.sml
if I do

val sumTree2 = call1 ( getSymbol mylib "SumTreeDoesNotExist" ) cTree cInt;

then no error message is reported. Then upon the call to

sumTree aTree;

an error is encountered and the program just terminates.

Thanks
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to