[bitc-dev] BitC Records

[Jonathan S. Shapiro]

I do not understand the question. Can you give an example?


shap

On Thu, 2004-12-23 at 19:40 -0500, Swaroop Sridhar wrote:
> I have an important question. Because BitC is stateful, how do we want 
> to handle polymorphism over non-syntactic types in our language?
> 
> Do we want to impose the value-restriction as in SML? or do we want to 
> do monomorphism ('_a) and single instantiation as in OCaml?
> 
> I am very nervous about going down the second path, given that we do not 
> have any module-level scoping and we do not guarantee order of 
> compilation when we compile multiple files (i.e., we do not have any 
> "use ...").
> 
> Swaroop.
> _______________________________________________
> bitc-dev mailing list
> bitc-dev at coyotos.org
> http://www.coyotos.org/mailman/listinfo/bitc-dev
-- 
Jonathan S. Shapiro <shap at eros-os.org>