diff options
| author | Kathy Gray | 2014-06-04 18:17:32 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-04 18:17:32 +0100 |
| commit | 68ea054c0a26fd8da8198a449fc248ed621311c5 (patch) | |
| tree | 2d404f4a8f5a13ea06d7f04b3a873a170b3d5ec9 /src/ast.ml | |
| parent | 978f5bc208248afe284bb9488c4e892e9315c8a2 (diff) | |
Fixup type coercions and overloading
Reduce the number of implicit coercions we're doing, expanding overloading and fixing up types of functions.
Warning: test_power does not run as not all overloaded funcitons are implemented
Warning: vector concatenation does not pretty print to sail source yet
Diffstat (limited to 'src/ast.ml')
0 files changed, 0 insertions, 0 deletions