[bitc-dev] BitC Records

[Swaroop Sridhar]

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.