1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 16 Jul 2017 08:34:20 +0000
Subject: Fix change of signature of Texp_function
---
browser/searchpos.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/browser/searchpos.ml b/browser/searchpos.ml
index 086c536..7722104 100644
--- a/browser/searchpos.ml
+++ b/browser/searchpos.ml
@@ -782,7 +782,7 @@ and search_pos_expr ~pos exp =
search_pos_expr exp' ~pos
end;
search_pos_expr exp ~pos
- | Texp_function (_, l, _) ->
+ | Texp_function {cases=l; _} ->
List.iter l ~f:(search_case ~pos)
| Texp_apply (exp, l) ->
List.iter l ~f:(fun (_, x) -> Misc.may (search_pos_expr ~pos) x);
|
