[bitc-dev] first try with bitc

[Swaroop Sridhar]

Tom Bachmann wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> Hi,
> 
> it looks like the last update to bitcc broke some pieces (this is not
> related to your incompatible update to unions):

Yes, Thank you. I had removed some instances to the integral typeclass 
in the prelude due a debugging issue, but forgot to put them back after 
the problem was fixed. Your code should be OK now. Please note that 
bitfields will not work as of now.

Thanks,
Swaroop.

> 
> code 1:
> 
> (bitc-version "0.9+")
> (import stdio bitc.stdio)
> 
> (define (main argv:(vector string))
>   (do ((i:(mutable word) 0 (set! i (+ i 1))))
>      ((>= i (vector-length argv)) #t)
>     (stdio.write-string stdio.stdout (vector-nth argv i))
>     (stdio.write-char stdio.stdout #\linefeed))
>   (the int32 0))
> 
> bitcc output:
> 
> echo.bitc:4:1: No Instance found for (Integral (mutable word)) in (fn
> ((vector string)) int32)
> echo.bitc:4:1: No Instance found for (Integral word) in (fn ((vector
> string)) int32)
> Exiting due to errors during Type Checking
> 
> code 2:
> 
> (bitc-version "0.9+")
> (import stdio bitc.stdio)
> 
> (define (print s)
>   (stdio.write-string stdio.stdout s)
>   (stdio.write-char stdio.stdout #\linefeed))
> 
> (define (iter f v i)
>   (if (== i (vector-length v))
>     ()
>     (begin
>       (f (vector-nth v i))
>       (iter f v (+ i 1)))))
> 
> (define (vector-for-each f v)
>   (iter f v 0))
> 
> (define (main argv:(vector string))
>   (vector-for-each print argv)
>   (the int32 0))
> 
> bitcc output:
> 
> echo3.bitc:8:1: No Instance found for (Integral word) in (fn ((fn ('b)
> 'a) (vector 'b) word) ())
> echo3.bitc:15:1: No Instance found for (Integral word) in (fn ((fn ('b)
> 'a) (vector 'b)) ())
> Exiting due to errors during Type Checking
> 
> I am sure both of these compiled successfully before, but maybye my code
> was wrong in a way bitcc didn't detect.
> 
> Also, several of the unit tests (Array.bitc, BitField.bitc,
> builtin.bitc, Catch_Index_Error.bitc, Echo_Args.bitc, extend.bitc,
> initArray.bitc, int.bitc, lit.bitc, mut-vec.bitc, Struct-Arr.bitc,
> TagType.bitc, VecBoundsError.bitc, Vector.bitc) fail to compile with
> output that looks similar.
> - --
> - -ness-
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.2.2 (GNU/Linux)
> 
> iD8DBQFEeBRnvD/ijq9JWhsRAhFsAJ4sDYDzYnDDx7HxrFvfnX3hEtSbLACeIdHl
> PUkZ+53RPZK8Xxfbk0jRojg=
> =6MIV
> -----END PGP SIGNATURE-----
> _______________________________________________
> bitc-dev mailing list
> bitc-dev at coyotos.org
> http://www.coyotos.org/mailman/listinfo/bitc-dev