[bitc-dev] first try with bitc

Swaroop Sridhar swaroop.sridhar at gmail.com
Tue May 23 10:04:25 EDT 2006



Tom Bachmann wrote:
> (bitc-version "0.9+")
> (import stdio bitc.stdio)
> 
> (define (main argv:(vector string))
>   (let
>     ((print (lambda (s)
>               (stdio.write-string stdio.stdout s)
>               (stdio.write-char stdio.stdout #\linefeed)))
>      (vector-for-each (lambda (f v)
>                        (f "foo")))) ; dummy
>     (vector-for-each print argv))
>   (the int32 0))
> 
> bitcc fails with
> 
> echo2.bitc:11:5: _15vector-for-each -- Specialization of LOCAL
> definition. Use = (fn ((fn (string) ()) (vector string)) ()) Def = (fn
> ((fn (string) ()) ()) ())
> bitcc: Polyinst.cxx:733: bool polyinst(std::ostream&, UocInfo*, AST*,
> AST*, sherpa::CVector<AST*>&, AST*, size_t): Assertion `false' failed.

This is not your mistake, the compiler took an assertion fault here. 
This error message is not intended to be comprehensible, but to get as 
much information as possible to help debug the problem. Thanks for 
noting this problem, I will look into it and send another note.

Swaroop.


More information about the bitc-dev mailing list