[bitc-dev] first try with bitc

[Swaroop Sridhar]

Tom Bachmann wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> The code:
> 
> (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.

I have fixed this problem, and your test case must work fine.

Thanks,
Swaroop.