diff options
| author | Alasdair Armstrong | 2017-12-13 20:38:24 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-13 21:07:18 +0000 |
| commit | e636947dd964eb849cfeff528fe43a85fee7583a (patch) | |
| tree | a5898231c62af9eaca02d7d6386feb6e48c7fe95 /src/parser2.mly | |
| parent | 2682a259a2a4a4ee34ddd6be6ea6f5dc3a3a15b7 (diff) | |
Cleanup code by fixing compiler warnings, and fix ocaml compilation
Add the ast.sed script we need to build sail. Currently we just need
this to fix up the locations in the AST but it will be removed once we
can share locations between ocaml and lem.
Diffstat (limited to 'src/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index 6021596f..140f1b86 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -75,7 +75,9 @@ let mk_kid str n m = Kid_aux (Var str, loc n m) let id_of_kid = function | Kid_aux (Var v, l) -> Id_aux (Id (String.sub v 1 (String.length v - 1)), l) -let deinfix (Id_aux (Id v, l)) = Id_aux (DeIid v, l) +let deinfix = function + | (Id_aux (Id v, l)) -> Id_aux (DeIid v, l) + | (Id_aux (DeIid v, l)) -> Id_aux (Id v, l) let mk_effect e n m = BE_aux (e, loc n m) let mk_typ t n m = ATyp_aux (t, loc n m) |