diff options
| author | Alasdair Armstrong | 2019-08-02 16:48:36 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-08-02 16:48:36 +0100 |
| commit | 8b1c4ce0c3659020e0f2a2e04d70798931dc9b63 (patch) | |
| tree | 635bf2f722f7cf5ecf6dd11b560ca1d96a32623b /src/initial_check.ml | |
| parent | 94e2f401263c7efc69f7d2b731827dc41bd8c1b8 (diff) | |
Fix all warnings (except for two lem warnings)
Remove P_record as it's never been implemented in
parser/typechecker/rewriter, and is not likely to be. This also means
we can get rid of some ugliness with the fpat and mfpat types. Stubs
for P_or and P_not are left as they still may get added to ASL and we
might want to support them, although there are good reasons to keep
our patterns simple.
The lem warning for while -> while0 for ocaml doesn't matter because
it's only used in lem, and the 32-bit number warning is just noise.
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index ec3e1f24..1aebdbc2 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -338,11 +338,6 @@ let rec to_ast_pat ctx (P.P_aux (pat, l)) = if List.length pats == 1 && string_of_parse_id id = "~" then P_not (to_ast_pat ctx (List.hd pats)) else P_app (to_ast_id id, List.map (to_ast_pat ctx) pats) - | P.P_record(fpats,_) -> - P_record(List.map - (fun (P.FP_aux(P.FP_Fpat(id,fp),l)) -> - FP_aux(FP_Fpat(to_ast_id id, to_ast_pat ctx fp),(l,()))) - fpats, false) | P.P_vector(pats) -> P_vector(List.map (to_ast_pat ctx) pats) | P.P_vector_concat(pats) -> P_vector_concat(List.map (to_ast_pat ctx) pats) | P.P_tup(pats) -> P_tup(List.map (to_ast_pat ctx) pats) @@ -691,11 +686,6 @@ let rec to_ast_mpat ctx (P.MP_aux(mpat,l)) = if mpats = [] then MP_id (to_ast_id id) else MP_app(to_ast_id id, List.map (to_ast_mpat ctx) mpats) - | P.MP_record(mfpats,_) -> - MP_record(List.map - (fun (P.MFP_aux(P.MFP_mpat(id,mfp),l)) -> - MFP_aux(MFP_mpat(to_ast_id id, to_ast_mpat ctx mfp),(l,()))) - mfpats, false) | P.MP_vector(mpats) -> MP_vector(List.map (to_ast_mpat ctx) mpats) | P.MP_vector_concat(mpats) -> MP_vector_concat(List.map (to_ast_mpat ctx) mpats) | P.MP_tup(mpats) -> MP_tup(List.map (to_ast_mpat ctx) mpats) |