[bitc-dev] first try with bitc

[Tom Bachmann]

-----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):

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-----