From 080698729f8fbf59be14b2239eaf93e01e7fcc6c Mon Sep 17 00:00:00 2001
From: Rafal Gwozdzinski <rafal@gwozdzinski.com>
Date: Fri, 5 Jan 2024 10:30:21 +0100
Subject: [PATCH] More tests

---
 tests/test-dirs/signature-help.t | 154 ++++++++++++++++++++++++++++++-
 1 file changed, 152 insertions(+), 2 deletions(-)

diff --git a/tests/test-dirs/signature-help.t b/tests/test-dirs/signature-help.t
index c4bd0aa90..a8f02b6b2 100644
--- a/tests/test-dirs/signature-help.t
+++ b/tests/test-dirs/signature-help.t
@@ -1,6 +1,6 @@
-It can provide signature help after a function-type value
+It can provide signature help after a function-type value.
 
-  $ $MERLIN single signature-help -position 2:11 -filename=sig_help.ml <<EOF
+  $ $MERLIN single signature-help -position 2:11 <<EOF
   > let map = ListLabels.map
   > let _ = map
   > EOF
@@ -23,3 +23,153 @@ It can provide signature help after a function-type value
     },
     "notifications": []
   }
+
+It can provide signature help for an operator.
+
+  $ $MERLIN single signature-help -position 2:13 <<EOF
+  > let (+) = (+)
+  > let _ = 1 + 2
+  > EOF
+  {
+    "class": "return",
+    "value": {
+      "function_name": "(+)",
+      "signature": "int -> int -> int",
+      "parameters": [
+        {
+          "label_start": 6,
+          "label_end": 9
+        },
+        {
+          "label_start": 13,
+          "label_end": 16
+        }
+      ],
+      "active_param": 1
+    },
+    "notifications": []
+  }
+
+It can provide signature help for an anonymous function.
+
+  $ $MERLIN single signature-help -position 1:26 <<EOF
+  > let _ = (fun x -> x + 1)
+  > EOF
+  {
+    "class": "return",
+    "value": {
+      "function_name": "_",
+      "signature": "int -> int",
+      "parameters": [
+        {
+          "label_start": 4,
+          "label_end": 7
+        }
+      ],
+      "active_param": 0
+    },
+    "notifications": []
+  }
+
+It can make the non-labelled parameter active.
+
+  $ $MERLIN single signature-help -position 2:14 <<EOF
+  > let map = ListLabels.map
+  > let _ = map []
+  > EOF
+  {
+    "class": "return",
+    "value": {
+      "function_name": "map",
+      "signature": "f:('a -> 'b) -> 'a list -> 'b list",
+      "parameters": [
+        {
+          "label_start": 6,
+          "label_end": 18
+        },
+        {
+          "label_start": 22,
+          "label_end": 29
+        }
+      ],
+      "active_param": 1
+    },
+    "notifications": []
+  }
+
+It can make the labelled parameter active.
+  $ $MERLIN single signature-help -position 2:14 <<EOF
+  > let map = ListLabels.map
+  > let _ = map ~f:Int.abs
+  > EOF
+  {
+    "class": "return",
+    "value": {
+      "function_name": "map",
+      "signature": "f:(int -> int) -> int list -> int list",
+      "parameters": [
+        {
+          "label_start": 6,
+          "label_end": 20
+        },
+        {
+          "label_start": 24,
+          "label_end": 32
+        }
+      ],
+      "active_param": 0
+    },
+    "notifications": []
+  }
+
+It can make a labelled parameter active by prefix.
+
+  $ $MERLIN single signature-help -position 2:15 <<EOF
+  > let mem = ListLabels.mem
+  > let _ = mem ~se
+  > EOF
+  {
+    "class": "return",
+    "value": {
+      "function_name": "mem",
+      "signature": "'a -> set:'a list -> bool",
+      "parameters": [
+        {
+          "label_start": 6,
+          "label_end": 8
+        },
+        {
+          "label_start": 12,
+          "label_end": 23
+        }
+      ],
+      "active_param": 1
+    },
+    "notifications": []
+  }
+
+It can make an optional parameter active by prefix.
+
+  $ $MERLIN single signature-help -position 2:18 <<EOF
+  > let create = Hashtbl.create
+  > let _ = create ?ra
+  > EOF
+  {
+    "class": "return",
+    "value": {
+      "function_name": "create",
+      "signature": "?random:bool -> int -> ('a, 'b) Hashtbl.t",
+      "parameters": [
+        {
+          "label_start": 9,
+          "label_end": 21
+        },
+        {
+          "label_start": 25,
+          "label_end": 28
+        }
+      ],
+      "active_param": 0
+    },
+    "notifications": []
+  }