diff options
| author | Kathy Gray | 2014-08-01 17:55:16 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-01 17:55:16 +0100 |
| commit | f90594fefd80854a0107cbb630a94cc3ab3f06b7 (patch) | |
| tree | 59078c69ed361c87022524065bfd1fc11c6196ce /src | |
| parent | d08142bfe05ec33f43e3d42a92a4c7f21e3be954 (diff) | |
Add some more types for power.sail generation.
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 27205c2e..cfc8d748 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -1013,6 +1013,8 @@ let initial_typ_env = {t= Tfn ({t=Ttup([bit_t;mk_range (mk_nv "n") (mk_nv "m")])}, mk_vector bit_t Oinc (Nconst zero) (Nadd({nexp=Nvar "n"},{nexp=Nvar "m"})),false, pure_e)}),External (Some "duplicate"),[],pure_e)); + ("<<",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e)); + (">>",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e)); ("<<<",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e)); ] |