diff options
| author | Enrico Tassi | 2019-01-21 10:59:11 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-01-21 14:51:08 +0100 |
| commit | fffbab34e35568abfd59c698121d4b314fe610c2 (patch) | |
| tree | dff3ea16a1c8e11e44307f117c6d2c5676e45aa4 /plugins | |
| parent | be7e584921ca1bed7e37c2d15ab2def0e8dfe484 (diff) | |
[ssr] cleanup of some comments
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/ssr/ssripats.mli | 2 | ||||
| -rw-r--r-- | plugins/ssr/ssrparser.mlg | 11 |
2 files changed, 1 insertions, 12 deletions
diff --git a/plugins/ssr/ssripats.mli b/plugins/ssr/ssripats.mli index a04c3f4c46..893061b154 100644 --- a/plugins/ssr/ssripats.mli +++ b/plugins/ssr/ssripats.mli @@ -22,7 +22,7 @@ open Ssrast (* Atomic operations for the IPat machine. Use this if you are "patching" an * ipat written by the user, since patching it at he AST level and then * compiling it may have tricky effects, eg adding a clear in front of a view - * also has the effect of disposing the view (the compilation phase takes case + * also has the effect of disposing the view (the compilation phase takes care * of this, by using the compiled ipats you can be more precise *) type ssriop = | IOpId of Names.Id.t diff --git a/plugins/ssr/ssrparser.mlg b/plugins/ssr/ssrparser.mlg index 58ae934ea3..3fb21e5ef6 100644 --- a/plugins/ssr/ssrparser.mlg +++ b/plugins/ssr/ssrparser.mlg @@ -752,17 +752,6 @@ ARGUMENT EXTEND ssripat TYPED AS ssripatrep list PRINTED BY { pr_ssripats } | [ "*" ] -> { [IPatAnon All] } | [ ">" ] -> { [IPatFastNondep] } | [ ident(id) ] -> { [IPatId id] } -(* - | [ ssrdocc(occ) ident(id) ] -> { match occ with - | Some [], None -> [IPatClear[SsrHyp(Some loc,id)];IPatId id] - | Some cl, None -> - check_hyps_uniq [] cl; - let cl = - if CList.mem_f Id.equal id (List.map hyp_id cl) - then cl else (SsrHyp(Some loc,id) :: cl) in - [IPatClear cl;IPatId id] - | _ -> CErrors.user_err ~loc (str"Only identifiers are allowed here") } -*) | [ "?" ] -> { [IPatAnon (One None)] } | [ "+" ] -> { [IPatAnon Temporary] } | [ "++" ] -> { [IPatAnon Temporary; IPatAnon Temporary] } |