From 80e7bb6165a5ad6517b35f301228f56b58eef39c Mon Sep 17 00:00:00 2001
From: FrigoEU <simon.van.casteren@gmail.com>
Date: Wed, 31 Jul 2019 15:13:18 +0200
Subject: first iteration of "typeOf" command

---
 src/search.sml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/search.sml')

diff --git a/src/search.sml b/src/search.sml
index 563496fe..5e4e135f 100644
--- a/src/search.sml
+++ b/src/search.sml
@@ -70,4 +70,12 @@ fun bindP (r, f) =
              ((x', pos), acc'))
       | Return x => Return x
 
+fun bindPWithPos (r, f) =
+    case r of
+        Continue ((x, pos), acc) =>
+        map (f (x, pos) acc,
+             fn (x', acc') =>
+                ((x', pos), acc'))
+      | Return x => Return x
+
 end
-- 
cgit v1.2.3