From fffbab34e35568abfd59c698121d4b314fe610c2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 21 Jan 2019 10:59:11 +0100
Subject: [ssr] cleanup of some comments

---
 plugins/ssr/ssripats.mli  |  2 +-
 plugins/ssr/ssrparser.mlg | 11 -----------
 2 files changed, 1 insertion(+), 12 deletions(-)

(limited to 'plugins')

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] }
-- 
cgit v1.2.3