[Mono-list] One Bug, Many questions

[Dietmar Maurer]

On Tue, 2002-08-27 at 14:09, tom berger wrote:
> 
> Hi,
> 
> I am working on a free scheme system (compiler + repl) for .Net/Mono.
> Work is progressing well, and although the system is still far from
> being complete (broken number system, some missing functions and syntax,
> primitive lisp-like macro system) or efficient (the compiler reads
> s-expressions and emits code in a single pass without any analysis, all
> values are boxed), it already works nice on windows.
> 
> The cool thing about my compiler (modelled after kawa) is that it can be
> invoked in runtime, so evaluating expressions from the console simply
> compiles them and the runs the resulting code.
> 
> I. mcs compiles the system without a problem, but i still don't manage
> to run it on mono (it works fine on windows). During compilation, when
> calling (recursively) a code generation function, mono dies with the
> following error :
> 
> ** ERROR **: file jit.c: line 489 (mono_store_tree): assertion failed:
> (s->svt != VAL_UNKNOWN)
> 
> Any ideas what could that be? I'm rather anxious to see the compiler
> working on mono and I would like to provide as much assistance as
> possible in eliminating these bugs but I don't really know how, so if
> anyone has any ideas what is this thing (a 'not yet implemented', simply
> a bug, my own bug - being ignored by the microsoft runtime) or how I can
> help with debugging it please tell.

This is maybe a jit bug. Maybe you can extract a small test case to
reproduce that bug. The IL code for the function which produces the bug
would help.

- Dietmar