Zilin Chen
Zilin Chen
Oh btw, we still have functions like `u16_to_u32` etc...in ext2 and bilbyfs; should use `upcast` instead...
Ummm. `let a : U32 = 1` doesn't upcast.
interestingly if I put `0` to a `U32` field in a record, it seems ok
Ah, I might have misunderstood you. Should `let a : U32 = 1` typecheck?
I see. `upcast` is only for variables (and constants).
@ccapitalK Your implementation should fix this, right?
**Comment by [ahixon](https://github.csiro.au/ahixon)** _Fri May 15 15:32:19 2015_ ---- On Linux, note that whenever we modify the reservation windows, we lock the truncate mutex. We need to ensure same behaviour...
and also for abstract functions/constants: ``` const_1, const_2, const_3 : U16 ```
`type A, B, C = U16` looks ambiguous, so we might not implement this feature, unless there're some good suggestions.
should be, indeed.