something I suppose had me confused about the whole interface/guarded interface topic is the relation (or non-relation as it may be) to type constructors,
from the bitc v0.10 spec "An interface compilation unit defines or declares types (and consequently the code of type constructors)", which IIRC means that the declaration of a type exports implicitly a constructor for that type. this, I believe differs from ML where you can export a type without exporting a constructor for it. the ability to export a type, while exporting its constructor through a guarded interface I find intriguing (albeit confusing as its not something i've thoroughly explored), though it doesn't seem possible with the v0.10 implicit constructor semantics, since one can matador the guarded interface, and go directly for the type constructor. it hasn't come up AFAICT, so i'm not sure if there is any intention on revisiting this. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
