On 9/9/11 9:14 AM, Marijn Haverbeke wrote:
Update: The approach sketched earlier does not work out because it is possible for a function to take a parameterized type without the caller knowing that it does. (For example, a fn<T>(x: fn(T)), when given a function fn(int), will call it with the argument given by reference, since it sees it as type T, whereas the function will expect it by value.)
Oh, another thing: Monomorphizing fixes this problem, so it's worth keeping this idea in mind for the future, even if it can't be implemented in trans as it currently stands.
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
