On 23/09/2014, at 8:23 AM, john skaller wrote:
> The new compiler organisation is based on early monomorphisation.
Always some fun problem.
To monomorphise stuff, for Felix things we just replace
the type variables with concrete types.
But what about a primitive, eg a function?
To monomorphis
///
// fred.cpp
#include
int main()
{
::std::cout << "Hello World of Fred" << ::std::endl;
return 0;
}
///
// tcxx.flx
include "src/tools/toolchain_clang_config";
include "src/tools/toolchain_interface";
var toolchain-maker =
Dynlink::load-pl
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
