On 30/10/2010, at 2:03 AM, john skaller wrote:
>
> In any case the problem is simple: the function has to use the unbound
> symbol table to print the entry_kind.
and if you look at some of the commented out debug lines:
print_endline ("SUCCESS: overload chooses " ^
full_string_of_e
On 30/10/2010, at 1:17 AM, john skaller wrote:
>
> No, I don't know which bit is failing yet, but it has narrowed it down to
> something
> trivial (TGFT!)
Well now .. I have found the bug. It is here:
let full_string_of_entry_kind bsym_table {base_sym=i; spec_vs=vs; sub_ts=ts} =
let bsym =
On 29/10/2010, at 6:56 PM, john skaller wrote:
[]
Well I said the error had to be in the actual error handling and
indeed that is the case, I finally pinpointed the bug:
| None ->
print_endline "Overload resolution failed ..";
try
clierr sra
(
"[lo
Well I have found the error:
> private fun getcwd: &char * size -> &char = "getcwd($1,$2)";
> fun getcwd():string = {
>var b: array[char,1024];
>var p = getcwd(C_hack::cast[&char] (&b),size 1024);
>return if C_hack::isNULL p then "" else string p endif;
> }
saying:
> SYSTEM FAIL
