diff options
| author | Gabriel Kerneis | 2014-03-20 12:31:07 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-03-20 12:31:07 +0000 |
| commit | 32790be4b54ee7cd6aa3ffa279900d4acaee96a6 (patch) | |
| tree | 6f6235d0c252055caf5f5676d170dd9150948f09 /language | |
| parent | 1a18428234dc9f3462593ea5cb8d96d8f924db90 (diff) | |
Remove work-around from interpreter, move it to power.sail
Two bugs are worked-around here:
- missing cast to nat when a vector is wrapped in exts
(exts is a no-op currently anyway, so we are discarding it)
- missing cast (due to limited type-inference) in one if branch:
type given explicitly.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions