[bitc-dev] C interfacing vs. portability

[Rick R]

Now that I think about it, if BitC disallows operations on mismatched
types, on x86 systems,  (+ x:int32 y:word) should fail on both 32 and
64 bit platforms, since a word is 16 bits.

I also find it entertaining that in C,  int and long are the same
size. Going down this train of thought I think that trying to
correctly manage C's types is hopeless.

I would be happy with BitC if it was simply internally correct. If I
dared venture down the path of associating with the unwashed masses of
C api's it would be my responsibility to ensure that all of the types
represented by that API are correctly aliased to BitC's for all
platforms I target.