On 22/03/2008, at 6:37 PM, Erick Tryzelaar wrote:
> I've decided to try out binding llvm to felix, and I'm getting some
> strange error messages:
>
> Other exn = Flx_exceptions.Free_fixpoint(_)
On library functions explicitly define the return type.
It may fail anyhow.
the problem is distinguishing an infinite recursion from
a recursive type.
> Warning: typeclass Builder entry create_at_end is not virtual
> Warning: typeclass Builder entry create_before is not virtual
Ah, that is a bug ..
> typeclass Builder[t] {
> // Create a builder.
> virtual gen create: unit -> t;
>
> // Create a builder and set it before the instruction.
> virtual gen create_before (bb:BasicBlock::t, i:Instruction::t) = {
generators can't be virtual .. it's purely a syntax problem (only one
of virtual and generator is recorded, the other attribute is
simply lost .. :)
-------------------------------------------------------------------------
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/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
