Yes to all of what Philipp says, but also, if a C interface is
specified as taking "int" (e.g. anything that is specified as taking
an argument of enum type), it is not correct to specify that argument
as one of {int16, int32, int64}. Any of those answers might be correct
on a particular target, but none of those answers is correct on *all*
targets.For example, there are LOTS of procedures out there that accept or return an argument of type size_t, which is a platform-specific typedef. How should these be typed in BitC? shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
